{
  "http://dbpedia.org/resource/Model_checking" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Propositional_satisfiability" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_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/Complexity_of_constraint_satisfaction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Automated_planning_and_scheduling" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Fran\u00E7ois_Fages" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Toby_Walsh" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Local_search_(constraint_satisfaction)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Constraint_learning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] } ,
  "http://dbpedia.org/resource/Stefan_Szeider" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_satisfiability" } ] }
}