Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Posts_theorem> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- Posts_theorem abstract "In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.".
- Posts_theorem wikiPageID "764468".
- Posts_theorem wikiPageLength "6151".
- Posts_theorem wikiPageOutDegree "22".
- Posts_theorem wikiPageRevisionID "569002495".
- Posts_theorem wikiPageWikiLink Arithmetical_hierarchy.
- Posts_theorem wikiPageWikiLink Bounded_quantifier.
- Posts_theorem wikiPageWikiLink Category:Computability_theory.
- Posts_theorem wikiPageWikiLink Category:Mathematical_logic_hierarchies.
- Posts_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Posts_theorem wikiPageWikiLink Computability_theory.
- Posts_theorem wikiPageWikiLink Definable.
- Posts_theorem wikiPageWikiLink Emil_Leon_Post.
- Posts_theorem wikiPageWikiLink Halting_problem.
- Posts_theorem wikiPageWikiLink Indicator_function.
- Posts_theorem wikiPageWikiLink Many-one_reduction.
- Posts_theorem wikiPageWikiLink Oracle_machine.
- Posts_theorem wikiPageWikiLink Peano_axioms.
- Posts_theorem wikiPageWikiLink Prenex_normal_form.
- Posts_theorem wikiPageWikiLink Recursively_enumerable_set.
- Posts_theorem wikiPageWikiLink Turing_degree.
- Posts_theorem wikiPageWikiLink Turing_jump.
- Posts_theorem wikiPageWikiLink Turing_reduction.
- Posts_theorem wikiPageWikiLink Well-formed_formula.
- Posts_theorem wikiPageWikiLinkText "Post's theorem".
- Posts_theorem wikiPageUsesTemplate Template:Dn.
- Posts_theorem subject Category:Computability_theory.
- Posts_theorem subject Category:Mathematical_logic_hierarchies.
- Posts_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Posts_theorem type Redirect.
- Posts_theorem type Theorem.
- Posts_theorem comment "In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.".
- Posts_theorem label "Post's theorem".
- Posts_theorem sameAs Q3007384.
- Posts_theorem sameAs Postova_věta.
- Posts_theorem sameAs قضیه_پست.
- Posts_theorem sameAs Théorème_de_Post.
- Posts_theorem sameAs ポストの定理.
- Posts_theorem sameAs Teorema_de_Post.
- Posts_theorem sameAs m.039h_b.
- Posts_theorem sameAs Теорема_Поста.
- Posts_theorem sameAs Q3007384.
- Posts_theorem wasDerivedFrom Posts_theorem?oldid=569002495.
- Posts_theorem isPrimaryTopicOf Posts_theorem.