@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Proof_method	owl:sameAs	dbr:Proof_method .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Proof_method	dbo:wikiPageWikiLink	dbr:Mathematical_proof ;
	dbo:wikiPageRedirects	dbr:Mathematical_proof .
dbr:Structural_induction	dbo:wikiPageWikiLink	dbr:Proof_method .
dbr:Logical_relations	dbo:wikiPageWikiLink	dbr:Proof_method .