Disambiguation evidence for Calculus of Inductive Constructions via surface form
"Predicative Calculus of Inductive Constructions"
Triples (1)
Triples where some other subject referred to this entity
as "Predicative Calculus of Inductive Constructions".
Coq
→
implements
→
"Predicative Calculus of Inductive Constructions"
ⓘ
↳ resolves to Calculus of Inductive Constructions