Disambiguation evidence for Calculus of Inductive Constructions via surface form
"calculus of inductive constructions"
Triples (2)
Triples where some other subject referred to this entity
as "calculus of inductive constructions".
Coq
→
basedOn
→
"calculus of inductive constructions"
ⓘ
↳ resolves to Calculus of Inductive Constructions
linked to:
Paulin-Mohring
Inria–Université Paris-Sud–CNRS research community around Coq
→
basedOn
→
"calculus of inductive constructions"
ⓘ
↳ resolves to Calculus of Inductive Constructions