Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Complete_numbering> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Complete_numbering abstract "In computability theory complete numberings are generalizations of Gödel numbering first introduced by A.I. Mal'tsev in 1963. They are studied because several important results like the Kleene's recursion theorem and Rice's theorem, which were originally proven for the Gödel-numbered set of computable functions, still hold for arbitrary sets with complete numberings.".
- Complete_numbering wikiPageID "2606126".
- Complete_numbering wikiPageLength "1418".
- Complete_numbering wikiPageOutDegree "14".
- Complete_numbering wikiPageRevisionID "526065169".
- Complete_numbering wikiPageWikiLink Algebra_i_Logika.
- Complete_numbering wikiPageWikiLink Anatoly_Maltsev.
- Complete_numbering wikiPageWikiLink Category:Computability_theory.
- Complete_numbering wikiPageWikiLink Computability_theory.
- Complete_numbering wikiPageWikiLink Computable_function.
- Complete_numbering wikiPageWikiLink Identity_function.
- Complete_numbering wikiPageWikiLink Kleenes_recursion_theorem.
- Complete_numbering wikiPageWikiLink Numbering_(computability_theory).
- Complete_numbering wikiPageWikiLink Rices_theorem.
- Complete_numbering wikiPageWikiLink Singleton_(mathematics).
- Complete_numbering wikiPageWikiLinkText "Complete numbering".
- Complete_numbering wikiPageWikiLinkText "complete numbering".
- Complete_numbering subject Category:Computability_theory.
- Complete_numbering comment "In computability theory complete numberings are generalizations of Gödel numbering first introduced by A.I. Mal'tsev in 1963. They are studied because several important results like the Kleene's recursion theorem and Rice's theorem, which were originally proven for the Gödel-numbered set of computable functions, still hold for arbitrary sets with complete numberings.".
- Complete_numbering label "Complete numbering".
- Complete_numbering sameAs Q5156509.
- Complete_numbering sameAs コンプリート・ナンバリング.
- Complete_numbering sameAs m.07r831.
- Complete_numbering sameAs Q5156509.
- Complete_numbering wasDerivedFrom Complete_numbering?oldid=526065169.
- Complete_numbering isPrimaryTopicOf Complete_numbering.