{
  "http://dbpedia.org/resource/Sequent_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_deduction" } ] } ,
  "http://dbpedia.org/resource/Automated_deduction" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_deduction" } ] ,
    "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/International_Joint_Conference_on_Automated_Reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_deduction" } ] } ,
  "http://dbpedia.org/resource/Automated_reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_deduction" } ] } ,
  "http://dbpedia.org/resource/Larry_Wos" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_deduction" } ] } ,
  "http://dbpedia.org/resource/Melvin_Fitting" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_deduction" } ] } ,
  "http://dbpedia.org/resource/Sergei_N._Artemov" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_deduction" } ] }
}