@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Dependent_type	dbo:wikiPageWikiLink	dbr:Calculus_of_inductive_constructions .
dbr:CIC	dbo:wikiPageWikiLink	dbr:Calculus_of_inductive_constructions ;
	dbo:wikiPageDisambiguates	dbr:Calculus_of_inductive_constructions .
dbr:Coq	dbo:wikiPageWikiLink	dbr:Calculus_of_inductive_constructions .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Calculus_of_inductive_constructions	owl:sameAs	dbr:Calculus_of_inductive_constructions ;
	dbo:wikiPageWikiLink	dbr:Calculus_of_constructions ;
	dbo:wikiPageRedirects	dbr:Calculus_of_constructions .