@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Inference_procedure	owl:sameAs	dbr:Inference_procedure .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Inference_procedure	dbo:wikiPageWikiLink	dbr:Inference ;
	dbo:wikiPageRedirects	dbr:Inference .
dbr:Index_of_logic_articles	dbo:wikiPageWikiLink	dbr:Inference_procedure .
dbr:Outline_of_logic	dbo:wikiPageWikiLink	dbr:Inference_procedure .