@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Proof_procedure	foaf:primaryTopic	dbr:Proof_procedure .
@prefix dbo:	<http://dbpedia.org/ontology/> .
<http://dbpedia.org/resource/Proof_(truth)>	dbo:wikiPageWikiLink	dbr:Proof_procedure .
dbr:Method_of_analytic_tableaux	dbo:wikiPageWikiLink	dbr:Proof_procedure .
dbr:Model_elimination	dbo:wikiPageWikiLink	dbr:Proof_procedure .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Proof_procedure	owl:sameAs	<https://global.dbpedia.org/id/4tnGa> ,
		<http://rdf.freebase.com/ns/m.05fcc4> ,
		dbr:Proof_procedure .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Proof_procedure	owl:sameAs	wikidata:Q7250017 .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Proof_procedure	rdfs:label	"Proof procedure"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Proof_procedure	dct:subject	dbc:Proof_theory .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Proof_procedure	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Proof_procedure?oldid=1231533198&ns=0> .
@prefix gold:	<http://purl.org/linguistics/gold/> .
dbr:Proof_procedure	gold:hypernym	dbr:Method ;
	foaf:isPrimaryTopicOf	wikipedia-en:Proof_procedure ;
	dbo:wikiPageWikiLink	dbr:Semantic_tableau ,
		dbr:Automated_theorem_proving ,
		dbr:Recursively_enumerable ,
		dbr:Sequent_calculus ,
		dbc:Proof_theory ,
		dbr:Gentzen ,
		dbr:Logical_system ,
		dbr:Proof_complexity ,
		dbr:Hilbert_system ,
		dbr:Proof_theory ,
		<http://dbpedia.org/resource/Proof_(truth)> ,
		dbr:Proof_calculus ,
		dbr:Semidecidable ,
		dbr:Natural_deduction ,
		dbr:Proof_tableaux ,
		dbr:Logic ,
		dbr:Deductive_system ;
	dbo:description	"systematic method for producing proofs in a mathematical proof calculus"@en .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Proof_procedure	dbp:wikiPageUsesTemplate	dbt:Short_description .
dbr:Recursion	dbo:wikiPageWikiLink	dbr:Proof_procedure .
dbr:Argument	dbo:wikiPageWikiLink	dbr:Proof_procedure .
dbr:Proof	dbo:wikiPageWikiLink	dbr:Proof_procedure ;
	dbo:wikiPageDisambiguates	dbr:Proof_procedure .