<http://dbpedia.org/resource/Category:Proof_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Syntax_(logic)> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Cat_main> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Metalogic> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Proof theory"@en .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Theories> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Portal> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Mathematical_proofs> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://dbpedia.org/ontology/wikiPageID>	"693693"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Category:Proof_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:Proof_theory>	<http://www.w3.org/2000/01/rdf-schema#label>	"Proof theory"@en .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Contrast> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Proof_theory?oldid=953110220&ns=14> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Mathematical_logic> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Commons_category> .
<http://dbpedia.org/resource/Category:Proof_theory>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"953110220"^^<http://www.w3.org/2001/XMLSchema#integer> .