{
  "http://dbpedia.org/resource/Automatic_test_pattern_generation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] } ,
  "http://dbpedia.org/resource/And-inverter_graph" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Uri_Zwick" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Jean_Gallier" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Symbolic_artificial_intelligence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Boolean_Pythagorean_triples_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Marijn_Heule" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Boolean_satisfiability" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability_problem" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability_problem" } ] } ,
  "http://dbpedia.org/resource/Stefan_Szeider" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability" } ] }
}