@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Sequent_calculus	dbo:wikiPageWikiLink	dbr:Automated_deduction .
dbr:International_Joint_Conference_on_Automated_Reasoning	dbo:wikiPageWikiLink	dbr:Automated_deduction .
dbr:Melvin_Fitting	dbo:wikiPageWikiLink	dbr:Automated_deduction .
<http://dbpedia.org/resource/Sergei_N._Artemov>	dbo:wikiPageWikiLink	dbr:Automated_deduction .
dbr:Automated_reasoning	dbo:wikiPageWikiLink	dbr:Automated_deduction .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Automated_deduction	owl:sameAs	dbr:Automated_deduction ;
	dbo:wikiPageWikiLink	dbr:Automated_theorem_proving ;
	dbo:wikiPageRedirects	dbr:Automated_theorem_proving .
dbr:Larry_Wos	dbo:wikiPageWikiLink	dbr:Automated_deduction .