<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Logical_calculi> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://www.w3.org/2000/01/rdf-schema#label>	"Combinatory logic"@en .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Combinatory logic"@en .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Combinatory_logic?oldid=876207949&ns=14> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://dbpedia.org/ontology/wikiPageID>	"11504496"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Cat_main> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"876207949"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<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:Combinatory_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Functional_programming> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Models_of_computation> .
<http://dbpedia.org/resource/Category:Combinatory_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Computability_theory> .