Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Calculus_of_Inductive_Constructions> }
Showing triples 1 to 4 of
4
with 100 triples per page.
- Coq wikiPageWikiLink Calculus_of_Inductive_Constructions.
- Generalized_algebraic_data_type wikiPageWikiLink Calculus_of_Inductive_Constructions.
- Univalent_foundations wikiPageWikiLink Calculus_of_Inductive_Constructions.
- Calculus_of_Inductive_Constructions primaryTopic Calculus_of_Inductive_Constructions.