About: Μ operator

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Concept in computability theory

Property	Value
dbo:description	concept in computability theory (en)
dbo:wikiPageExternalLink	https://www.google.com/books/edition/Computability_and_Logic/0LpsXQV2kXAC%3Fhl=en&pg=PA70 https://www2.mathematik.tu-darmstadt.de/~kohlenbach/
dbo:wikiPageWikiLink	dbr:Primitive_recursive_function dbc:Computability_theory dbr:Markov's_principle dbr:Cambridge_University_Press dbr:Computable_function dbr:Partial_function dbr:McCarthy_Formalism dbr:Mathematical_induction dbr:Reverse_mathematics dbr:Register_machine dbr:Natural_number dbr:Constructive_mathematics dbr:Stephen_Kleene dbr:Recursion_theory dbr:Counter_machine dbr:Total_function dbr:Mu-recursive_function dbr:Mu_recursive_function dbr:Predicate_(mathematics) dbr:Primitive_recursive_functions dbr:Natural_numbers dbr:Partial_recursive_function dbr:Peano_Axioms dbr:Representing_function dbr:Truncated_subtraction dbr:Total_recursive_function
dbp:wikiPageUsesTemplate	dbt:Lowercase dbt:Reflist dbt:Citation dbt:Citation_needed dbt:Harvtxt dbt:CNone dbt:Short_description
dct:subject	dbc:Computability_theory
rdfs:label	Μ operator (en) Μ-operatoro (eo) Minimalizzazione (it) Operador µ (pt) Операція мінімізації (uk) Μ算子 (zh)
owl:sameAs	freebase:Μ operator wikidata:Μ operator dbpedia-it:Μ operator dbpedia-zh:Μ operator dbpedia-pt:Μ operator dbpedia-eo:Μ operator dbpedia-uk:Μ operator dbpedia-global:Μ operator dbr:Μ operator
prov:wasDerivedFrom	wikipedia-en:Μ_operator?oldid=1264000951&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Μ_operator
is dbo:wikiPageRedirects of	dbr:Mu-operator dbr:Mu_operator dbr:Unbounded_search dbr:Unbounded_search_operator dbr:M_operator
is dbo:wikiPageWikiLink of	dbr:Undefined_value dbr:Random-access_machine dbr:Function_(mathematics) dbr:Computable_function dbr:Church–Turing_thesis dbr:Lambda-mu_calculus dbr:Loop_variant dbr:General_recursive_function dbr:Minimisation dbr:Algorithm_characterizations dbr:Constructive_set_theory dbr:Counter_machine dbr:Mu-operator dbr:Mu_operator dbr:Unbounded_search dbr:Unbounded_search_operator dbr:M_operator
is foaf:primaryTopic of	wikipedia-en:Μ_operator