{
  "http://en.wikipedia.org/wiki/Proof_procedure" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] } ,
  "http://dbpedia.org/resource/Proof_(truth)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] } ,
  "http://dbpedia.org/resource/Recursion" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] } ,
  "http://dbpedia.org/resource/Model_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] } ,
  "http://dbpedia.org/resource/Proof_procedure" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q7250017" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4tnGa" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.05fcc4" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Proof procedure" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Proof_theory" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Proof_procedure?oldid=1231533198&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Semidecidable" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logical_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_deduction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_complexity" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Proof_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_tableaux" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Gentzen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_(truth)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Deductive_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_proving" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Hilbert_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Semantic_tableau" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "systematic method for producing proofs in a mathematical proof calculus" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ] ,
    "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/Proof_procedure" } ] } ,
  "http://dbpedia.org/resource/Method_of_analytic_tableaux" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] } ,
  "http://dbpedia.org/resource/Argument" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] } ,
  "http://dbpedia.org/resource/Proof" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_procedure" } ] }
}