{
  "http://en.wikipedia.org/wiki/\u039C_operator" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Function_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Computable_function" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Constructive_set_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/General_recursive_function" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Church\u2013Turing_thesis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Algorithm_characterizations" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Undefined_value" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Random-access_machine" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/\u039C_operator" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/\u039C\u7B97\u5B50" } ,
      { "type" : "uri", "value" : "http://uk.dbpedia.org/resource/\u041E\u043F\u0435\u0440\u0430\u0446\u0456\u044F_\u043C\u0456\u043D\u0456\u043C\u0456\u0437\u0430\u0446\u0456\u0457" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/2r8HA" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.0339j3" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/Operador_\u00B5" } ,
      { "type" : "uri", "value" : "http://it.dbpedia.org/resource/Minimalizzazione" } ,
      { "type" : "uri", "value" : "http://eo.dbpedia.org/resource/\u039C-operatoro" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q307772" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "\u039C\u7B97\u5B50" , "lang" : "zh" } ,
      { "type" : "literal", "value" : "Operador \u00B5" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "\u041E\u043F\u0435\u0440\u0430\u0446\u0456\u044F \u043C\u0456\u043D\u0456\u043C\u0456\u0437\u0430\u0446\u0456\u0457" , "lang" : "uk" } ,
      { "type" : "literal", "value" : "\u039C-operatoro" , "lang" : "eo" } ,
      { "type" : "literal", "value" : "\u039C operator" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Minimalizzazione" , "lang" : "it" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Computability_theory" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/\u039C_operator?oldid=1264000951&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Reverse_mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Truncated_subtraction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Computable_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mu-recursive_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mu_recursive_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/McCarthy_Formalism" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Partial_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Partial_recursive_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Representing_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mathematical_induction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Primitive_recursive_functions" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Peano_Axioms" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_numbers" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Markov's_principle" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Counter_machine" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Predicate_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Primitive_recursive_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Computability_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Stephen_Kleene" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Register_machine" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Total_recursive_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_number" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Total_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Constructive_mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Recursion_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cambridge_University_Press" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://www.google.com/books/edition/Computability_and_Logic/0LpsXQV2kXAC%3Fhl=en&pg=PA70" } ,
      { "type" : "uri", "value" : "https://www2.mathematik.tu-darmstadt.de/~kohlenbach/" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "concept in computability theory" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Harvtxt" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Lowercase" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:CNone" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation_needed" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Loop_variant" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Counter_machine" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Lambda-mu_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Minimisation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Mu-operator" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Mu_operator" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/M_operator" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Unbounded_search" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] } ,
  "http://dbpedia.org/resource/Unbounded_search_operator" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/\u039C_operator" } ] }
}