Disambiguation evidence for Coq via surface form
"Coq type class system"
Triples (1)
Triples where some other subject referred to this entity
as "Coq type class system".
Disambiguation evidence for Coq via surface form
Triples where some other subject referred to this entity
as "Coq type class system".