About: Computably enumerable set

Property	Value
dbo:description	termine (it) terme (fr) Begriff aus der Berechenbarkeitstheorie (de) множество, которое может быть выведено (перечислено) алгоритмом (математическая логика, теория вычислимости) (ru) a set that can be output (enumerated) by an algorithm (mathematical logic, computability theory) (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Recursive_enumeration...halting_Turing_machines.gif?width=300
dbo:wikiPageWikiLink	dbr:Yuri_Matiyasevich dbr:Primitive_recursive_function dbc:Computability_theory dbr:Complement_(set_theory) dbr:Lattice_(order) dbr:Hilbert's_tenth_problem dbr:Recursively_enumerable_language dbr:Creative_set dbr:Productive_set dbr:Simple_set dbr:Computable_set dbr:MIT_Press dbr:Computable_function dbr:Church–Turing_thesis dbr:Domain_of_a_function dbr:Formal_language dbr:Halting_problem dbr:Arithmetical_hierarchy dbr:Computability_theory dbr:Algorithm dbr:Computational_complexity_theory dbr:Complexity_class dbr:RE_(complexity) dbr:Dovetailing_(computer_science) dbc:Theory_of_computation dbr:Gödel_numbering dbr:Preimage dbr:Turing_machine dbr:Alpha_recursion_theory dbr:Springer-Verlag dbr:Enumeration_algorithm dbr:Matiyasevich's_theorem dbr:Diophantine_set dbr:Effectively_separable dbr:File:Recursive_enumeration_of_all_halting_Turing_machines.gif dbr:Natural_numbers dbr:Cantor_pairing_function dbr:Injective
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Redirect dbt:Mathematical_logic dbt:Isbn dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Theory_of_computation
rdfs:label	Computably enumerable set (en) مجموعة مرقمة بشكل تراجعي (ar) Rekursiv aufzählbare Menge (de) Conjunto recursivamente enumerable (es) Récursivement énumérable (fr) Insieme ricorsivamente enumerabile (it) 帰納的可算集合 (ja) 재귀 열거 집합 (ko) Conjuntos recursivamente enumeráveis (pt) Перечислимое множество (ru) 递归可枚举集合 (zh)
owl:sameAs	wikidata:Computably enumerable set dbpedia-it:Computably enumerable set dbpedia-de:Computably enumerable set dbpedia-fr:Computably enumerable set dbpedia-zh:Computably enumerable set dbpedia-ja:Computably enumerable set dbpedia-pt:Computably enumerable set dbpedia-he:Computably enumerable set dbpedia-es:Computably enumerable set dbpedia-ru:Computably enumerable set dbpedia-ko:Computably enumerable set dbpedia-ar:Computably enumerable set dbpedia-cv:Computably enumerable set dbpedia-global:Computably enumerable set dbr:Computably enumerable set
prov:wasDerivedFrom	wikipedia-en:Computably_enumerable_set?oldid=1290102661&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Recursive_enumeration_of_all_halting_Turing_machines.gif
foaf:isPrimaryTopicOf	wikipedia-en:Computably_enumerable_set
is dbo:wikiPageRedirects of	dbr:Recursively_enumerable dbr:Computably_enumerable dbr:Effective_enumeration dbr:Recursively_enumerable_set dbr:Recursive_enumeration dbr:Recursively_Enumerable_Set dbr:Enumerability dbr:Enumerable_set dbr:Co-r.e. dbr:Co-recursively_enumerable dbr:Co-recursively_enumerable_set dbr:Partially_decidable dbr:Listable_set
is dbo:wikiPageWikiLink of	dbr:Chaitin's_constant dbr:Enumeration dbr:Recursively_enumerable_language dbr:Computability_theory dbr:Formula_for_primes dbr:Recursively_enumerable dbr:Cantor's_isomorphism_theorem dbr:Computably_enumerable dbr:Effective_enumeration dbr:Recursively_enumerable_set dbr:Recursive_enumeration dbr:Recursively_Enumerable_Set dbr:Enumerability dbr:Enumerable_set dbr:Co-r.e. dbr:Co-recursively_enumerable dbr:Co-recursively_enumerable_set dbr:Partially_decidable dbr:Listable_set
is foaf:primaryTopic of	wikipedia-en:Computably_enumerable_set