{
  "http://en.wikipedia.org/wiki/Condensed_detachment" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] } ,
  "http://dbpedia.org/resource/Resolution_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] } ,
  "http://dbpedia.org/resource/Carew_Arthur_Meredith" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] ,
    "http://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] ,
    "http://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] } ,
  "http://dbpedia.org/resource/Condensed_detachment" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4iBHj" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q5159183" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.07scl4" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Condensed detachment" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Condensed_detachment?oldid=1289253794&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Method" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Condensed_detachment" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/William_McCune" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mathematical_proof" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Substitution_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Notre_Dame_Journal_of_Formal_Logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Larry_Wos" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Carew_Meredith" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Resolution_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Prefix_notation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Modus_ponens" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_\u0141ukasiewicz" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_proving" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Substitution_instance" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logician" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Free_variable" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Unification_(computer_science)" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_book" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093634655" } ,
      { "type" : "uri", "value" : "http://ftp.mcs.anl.gov/pub/tech_reports/reports/P237.pdf" } ] } ,
  "http://dbpedia.org/resource/Index_of_philosophy_articles_(A\u2013C)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] } ,
  "http://dbpedia.org/resource/Index_of_logic_articles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] } ,
  "http://dbpedia.org/resource/Condensed_Detachment" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Condensed_detachment" } ] }
}