<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/2000/01/rdf-schema#label>	"Type theory"@en .
<http://dbpedia.org/resource/Category:Type_theory>	<http://dbpedia.org/ontology/wikiPageID>	"1028819"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2004/02/skos/core#Concept> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Commons_category> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Type_theory?oldid=952536801&ns=14> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Type theory"@en .
<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Programming_language_theory> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"952536801"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Mathematical_logic> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Mathematical_structures> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Cat_main> .
<http://dbpedia.org/resource/Category:Type_theory>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:CatAutoTOC> .