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
→
implements
→
"Calculus of Inductive Constructions"
ⓘ
↳ resolves to Calculus of Inductive Constructions
Calculus of Constructions
→
influenced
→
"Calculus of Inductive Constructions"
ⓘ
↳ resolves to Calculus of Inductive Constructions
linked to:
calculus of constructions