{
  "http://dbpedia.org/resource/Automated_theorem_proving" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] } ,
  "http://dbpedia.org/resource/Experimental_mathematics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] } ,
  "http://dbpedia.org/resource/Group_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] } ,
  "http://dbpedia.org/resource/Collatz_conjecture" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] } ,
  "http://dbpedia.org/resource/An_Introduction_to_the_Philosophy_of_Mathematics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] } ,
  "http://dbpedia.org/resource/Hilbert's_eighteenth_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] } ,
  "http://dbpedia.org/resource/SNARK_(theorem_prover)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] } ,
  "http://dbpedia.org/resource/Computer-aided_proof" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-aided_proof" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-assisted_proof" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer-assisted_proof" } ] }
}