{
  "http://dbpedia.org/resource/Propositional_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SMT_solver" } ] } ,
  "http://dbpedia.org/resource/Dictatorship_mechanism" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SMT_solver" } ] } ,
  "http://dbpedia.org/resource/Unification_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SMT_solver" } ] } ,
  "http://dbpedia.org/resource/Proof_compression" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SMT_solver" } ] } ,
  "http://dbpedia.org/resource/Verification_condition_generator" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SMT_solver" } ] } ,
  "http://dbpedia.org/resource/SMT_solver" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SMT_solver" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Satisfiability_modulo_theories" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Satisfiability_modulo_theories" } ] }
}