{
  "http://dbpedia.org/resource/Isabelle_(proof_assistant)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Automated_theorem_prover" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_proving" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Harald_Ganzinger" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Cantor's_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/CARINE" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Edmund_M._Clarke" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Programming_language_specification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Zipper_(data_structure)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Proof-carrying_code" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Peter_B._Andrews" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Coq" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Computer_algebra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Ontology" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Fifth_Generation_Computer_Systems" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Verification_condition_generator" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Common_Lisp" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Outline_of_artificial_intelligence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Verve_(operating_system)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Skolem_normal_form" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Glossary_of_artificial_intelligence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/KeY" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Formal_methods" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/ESC/Java" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Common_sense" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Well-formed_formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Computer-assisted_proof" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/SPASS" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/SNARK_(theorem_prover)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Domain-specific_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Reification_(linguistics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Philosophy_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Ontological_argument" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Formal_proof" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Specification_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Provenance_Markup_Language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/ACL2" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Models_And_Counter-Examples" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Logic_for_Computable_Functions" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Artificial_intelligence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Alphabet_of_human_thought" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Backward_chaining" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Superposition_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/QED_manifesto" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Rippling" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Beki\u0107's_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Compiler_correctness" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Leo_II" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Concolic_testing" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Theorem_prover" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] } ,
  "http://dbpedia.org/resource/Term_indexing" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ] }
}