{
  "http://dbpedia.org/resource/Type_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Second-order_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Automated_proof_checking" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "https://global.dbpedia.org/id/4UGKK" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.027b81f" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q4826475" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Automated_proof_checking" } ,
      { "type" : "uri", "value" : "http://fa.dbpedia.org/resource/\u0628\u0631\u0631\u0633\u06CC_\u0628\u0631\u0647\u0627\u0646_\u062E\u0648\u062F\u06A9\u0627\u0631" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Process" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_assistant" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_assistant" } ] } ,
  "http://dbpedia.org/resource/Edward_Nelson" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Language-based_security" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Sphere_packing" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Prover9" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/QED_manifesto" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Don_Syme" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Kepler_conjecture" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Wiles's_proof_of_Fermat's_Last_Theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Mizar_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Automated_reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Metamath" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] } ,
  "http://dbpedia.org/resource/Non-surveyable_proof" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_proof_checking" } ] }
}