{
  "http://dbpedia.org/resource/Mathematical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Index_of_computing_articles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Louise_Hay_(mathematician)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Undecidable_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Countable_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Kleene's_O" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Ordinal_notation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Turing_degree" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Provable" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Complexity_class" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/PR_(complexity)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/RE_(complexity)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Enumeration_reducibility" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Diophantine_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Stanley_Jaki" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Mandelbrot_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Decision_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Computability_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Hilbert's_tenth_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/List_of_mathematical_logic_topics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Richard_M._Friedberg" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Turing_reduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Decidability_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Computability_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Recursively_enumerable_set" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.01x0mg" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Recursively_enumerable_set" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/6GHd3" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computably_enumerable_set" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computably_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Diophantine_equation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Generic_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/List_of_types_of_sets" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Numbering_(computability_theory)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Nakamura_number" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Algorithm" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Craig's_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Emil_Leon_Post" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Disjunction_and_existence_properties" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/True_arithmetic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Outline_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Peano_axioms" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Formal_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/G\u00F6del's_incompleteness_theorems" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Primitive_recursive_function" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Where_Mathematics_Comes_From" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Equiconsistency" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Turing_machine" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Turing_completeness" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Arithmetical_hierarchy" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Arithmetical_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Creative_and_productive_sets" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Rice's_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Maximal_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Friedberg_numbering" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] } ,
  "http://dbpedia.org/resource/Recursively_enumerable_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursively_enumerable_set" } ] }
}