@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Hilbert\u0027s_eighteenth_problem>	dbo:wikiPageWikiLink	dbr:Computer-aided_proof .
<http://dbpedia.org/resource/Group_(mathematics)>	dbo:wikiPageWikiLink	dbr:Computer-aided_proof .
<http://dbpedia.org/resource/SNARK_(theorem_prover)>	dbo:wikiPageWikiLink	dbr:Computer-aided_proof .
dbr:Automated_theorem_proving	dbo:wikiPageWikiLink	dbr:Computer-aided_proof .
dbr:Collatz_conjecture	dbo:wikiPageWikiLink	dbr:Computer-aided_proof .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Computer-aided_proof	owl:sameAs	dbr:Computer-aided_proof ;
	dbo:wikiPageWikiLink	dbr:Computer-assisted_proof ;
	dbo:wikiPageRedirects	dbr:Computer-assisted_proof .
dbr:Experimental_mathematics	dbo:wikiPageWikiLink	dbr:Computer-aided_proof .
dbr:An_Introduction_to_the_Philosophy_of_Mathematics	dbo:wikiPageWikiLink	dbr:Computer-aided_proof .