{
  "http://en.wikipedia.org/wiki/Post's_theorem" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Turing_jump" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Arithmetical_hierarchy" : { "http://www.w3.org/2000/01/rdf-schema#seeAlso" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Kleene's_T_predicate" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/List_of_theorems" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Tarski's_undefinability_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Kripke_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Post's_theorem" : { "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ { "type" : "uri", "value" : "http://www.w3.org/2002/07/owl#Thing" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#seeAlso" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Arithmetical_hierarchy" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/\u0422\u0435\u043E\u0440\u0435\u043C\u0430_\u041F\u043E\u0441\u0442\u0430" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Post" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q3007384" } ,
      { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/\u30DD\u30B9\u30C8\u306E\u5B9A\u7406" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/2nWjw" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/Teorema_de_Post" } ,
      { "type" : "uri", "value" : "http://cs.dbpedia.org/resource/Postova_v\u011Bta" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.039h_b" } ,
      { "type" : "uri", "value" : "http://fa.dbpedia.org/resource/\u0642\u0636\u06CC\u0647_\u067E\u0633\u062A" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Post's_theorem" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Post's theorem" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Teorema de Post" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "Th\u00E9or\u00E8me de Post" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Postova v\u011Bta" , "lang" : "cs" } ,
      { "type" : "literal", "value" : "\u0422\u0435\u043E\u0440\u0435\u043C\u0430 \u041F\u043E\u0441\u0442\u0430" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "\u30DD\u30B9\u30C8\u306E\u5B9A\u7406" , "lang" : "ja" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Computability_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Mathematical_logic_hierarchies" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Post's_theorem?oldid=1304511914&ns=0" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Post's_theorem" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Many-one_reduction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Mathematical_logic_hierarchies" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/First-order_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/First-order_arithmetic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Transition_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Prenex_normal_form" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Quantifier-free_formula" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Turing_machine" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Universal_quantifier" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formula_(mathematical_logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Emil_Post" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Turing_jump" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Bounded_quantifier" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Turing_reduction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Structure_(mathematical_logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Least_significant_bit" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Arity" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Oracle_machine" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Indicator_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursion_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Oracle_Turing_machine" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Turing_degree" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Prefix_code" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Computability_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Halting_problem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Arithmetical_hierarchy" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Turing_degrees" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "Theorem in computability theory" , "lang" : "en" } ,
      { "type" : "literal", "value" : "mathematischer Satz" , "lang" : "de" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:See_also" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Isbn" } ] } ,
  "http://dbpedia.org/resource/Reverse_mathematics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Computability_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/List_of_mathematical_logic_topics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/List_of_pioneers_in_computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Turing_degree" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Recursively_enumerable_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Emil_Leon_Post" : { "http://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] ,
    "http://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Outline_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Reduction_(computability_theory)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Computation_in_the_limit" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/True_arithmetic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Post's_Theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] } ,
  "http://dbpedia.org/resource/Post_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Post's_theorem" } ] }
}