{
  "http://en.wikipedia.org/wiki/Frege_system" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] } ,
  "http://dbpedia.org/resource/Frege_system" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "https://global.dbpedia.org/id/4jpx3" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q5501318" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.0cc5yt0" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Frege system" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Propositional_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_in_computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Gottlob_Frege" } ] ,
    "http://xmlns.com/foaf/0.1/depiction" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Proofstrength.png" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Frege_system?oldid=1292404312&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Frege_system" } ] ,
    "http://dbpedia.org/ontology/thumbnail" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Proofstrength.png?width=300" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bounded_arithmetic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_formula" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Hilbert_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Substitution_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege's_propositional_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Resolution_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_complexity" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_deduction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Propositional_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_proof_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Clause_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Gottlob_Frege" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Pigeonhole_principle" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_circuit" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_in_computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Inference_rules" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Soundness" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequence" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Functional_completeness" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "propositional proof system" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation_needed" } ] } ,
  "http://dbpedia.org/resource/Haj\u00F3s_construction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] } ,
  "http://dbpedia.org/resource/Bounded_arithmetic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] } ,
  "http://dbpedia.org/resource/Proof_complexity" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] } ,
  "http://dbpedia.org/resource/Toniann_Pitassi" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] } ,
  "http://dbpedia.org/resource/Gottlob_Frege" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] } ,
  "http://dbpedia.org/resource/Propositional_proof_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] } ,
  "http://dbpedia.org/resource/Frege_proof_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Frege_system" } ] }
}