Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Todas_theorem> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Todas_theorem abstract "Toda's theorem is a result in computational complexity theory that was proven by Seinosuke Toda in his paper "PP is as Hard as the Polynomial-Time Hierarchy" (1991) and was given the 1998 Gödel Prize.".
- Todas_theorem wikiPageID "18125091".
- Todas_theorem wikiPageLength "2931".
- Todas_theorem wikiPageOutDegree "17".
- Todas_theorem wikiPageRevisionID "645189480".
- Todas_theorem wikiPageWikiLink Blum–Shub–Smale_machine.
- Todas_theorem wikiPageWikiLink Category:Structural_complexity_theory.
- Todas_theorem wikiPageWikiLink Category:Theorems_in_computational_complexity_theory.
- Todas_theorem wikiPageWikiLink Computational_complexity_theory.
- Todas_theorem wikiPageWikiLink Counting_problem_(complexity).
- Todas_theorem wikiPageWikiLink Gödel_Prize.
- Todas_theorem wikiPageWikiLink NP_(complexity).
- Todas_theorem wikiPageWikiLink Oracle_machine.
- Todas_theorem wikiPageWikiLink PH_(complexity).
- Todas_theorem wikiPageWikiLink PP_(complexity).
- Todas_theorem wikiPageWikiLink Polynomial-time_Turing_reduction.
- Todas_theorem wikiPageWikiLink Polynomial-time_reduction.
- Todas_theorem wikiPageWikiLink Saugata_Basu.
- Todas_theorem wikiPageWikiLink Seinosuke_Toda.
- Todas_theorem wikiPageWikiLink Sharp-P.
- Todas_theorem wikiPageWikiLink Thierry_Zell.
- Todas_theorem wikiPageWikiLink Valiant-Vazirani_theorem.
- Todas_theorem wikiPageWikiLink Valiant–Vazirani_theorem.
- Todas_theorem wikiPageWikiLinkText "Toda's theorem".
- Todas_theorem hasPhotoCollection Todas_theorem.
- Todas_theorem wikiPageUsesTemplate Template:Comp-sci-theory-stub.
- Todas_theorem wikiPageUsesTemplate Template:Reflist.
- Todas_theorem subject Category:Structural_complexity_theory.
- Todas_theorem subject Category:Theorems_in_computational_complexity_theory.
- Todas_theorem hypernym Result.
- Todas_theorem comment "Toda's theorem is a result in computational complexity theory that was proven by Seinosuke Toda in his paper "PP is as Hard as the Polynomial-Time Hierarchy" (1991) and was given the 1998 Gödel Prize.".
- Todas_theorem label "Toda's theorem".
- Todas_theorem sameAs Teorema_de_Toda.
- Todas_theorem sameAs m.04cqrx8.
- Todas_theorem sameAs Q719966.
- Todas_theorem sameAs Q719966.
- Todas_theorem sameAs 戶田定理.
- Todas_theorem wasDerivedFrom Todas_theoremoldid=645189480.
- Todas_theorem isPrimaryTopicOf Todas_theorem.