@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Second-order_logic	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Type_theory	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Edward_Nelson	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Kepler_conjecture	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Language-based_security	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Automated_reasoning	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Mizar_system	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
<http://dbpedia.org/resource/Wiles\u0027s_proof_of_Fermat\u0027s_Last_Theorem>	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:QED_manifesto	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Prover9	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Metamath	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Automated_proof_checking	owl:sameAs	dbr:Automated_proof_checking .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Automated_proof_checking	owl:sameAs	wikidata:Q4826475 ,
		<https://global.dbpedia.org/id/4UGKK> ,
		<http://fa.dbpedia.org/resource/\u0628\u0631\u0631\u0633\u06CC_\u0628\u0631\u0647\u0627\u0646_\u062E\u0648\u062F\u06A9\u0627\u0631> ,
		<http://rdf.freebase.com/ns/m.027b81f> .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Automated_proof_checking	owl:sameAs	yago-res:Automated_proof_checking .
@prefix gold:	<http://purl.org/linguistics/gold/> .
dbr:Automated_proof_checking	gold:hypernym	dbr:Process ;
	dbo:wikiPageWikiLink	dbr:Proof_assistant ;
	dbo:wikiPageRedirects	dbr:Proof_assistant .
dbr:Sphere_packing	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Don_Syme	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .
dbr:Non-surveyable_proof	dbo:wikiPageWikiLink	dbr:Automated_proof_checking .