About: Time hierarchy theorem

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

Theorem

Property	Value
dbo:description	theorem (en) مبرهنة (ar)
dbo:wikiPageExternalLink	https://archive.org/details/introductiontoth00sips
dbo:wikiPageWikiLink	dbc:Articles_containing_proofs dbr:Stephen_Cook dbc:Structural_complexity_theory dbr:NEXPTIME dbr:Cantor's_diagonal_argument dbr:Function_(mathematics) dbr:NP_(complexity) dbr:PSPACE dbr:EXPTIME dbr:Universal_Turing_machine dbr:Big_O_notation dbr:Nondeterministic_Turing_machine dbr:Albert_R._Meyer dbc:Theorems_in_computational_complexity_theory dbr:Cobham's_thesis dbr:Juris_Hartmanis dbr:Richard_E._Stearns dbr:Computational_complexity_theory dbr:Polynomial dbr:Simulation dbr:Complexity_class dbr:NTIME dbr:Space_hierarchy_theorem dbr:P_(complexity) dbr:Advice_(complexity) dbr:Turing_machine dbr:Michael_J._Fischer dbr:Exponential_hierarchy dbr:Decision_problem dbr:Constructible_function dbr:P_=_NP_problem dbr:2-EXP dbr:Little_O_notation
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Use_dmy_dates dbt:Short_description
dct:subject	dbc:Articles_containing_proofs dbc:Structural_complexity_theory dbc:Theorems_in_computational_complexity_theory
rdfs:label	Time hierarchy theorem (en) Teorema de la jerarquía temporal (es) Teorema de hierarquia de tempo (pt) 時間階層定理 (zh)
owl:sameAs	freebase:Time hierarchy theorem yago-res:Time hierarchy theorem wikidata:Time hierarchy theorem dbpedia-zh:Time hierarchy theorem dbpedia-pt:Time hierarchy theorem dbpedia-es:Time hierarchy theorem dbpedia-vi:Time hierarchy theorem dbpedia-global:Time hierarchy theorem dbr:Time hierarchy theorem
prov:wasDerivedFrom	wikipedia-en:Time_hierarchy_theorem?oldid=1294083850&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Time_hierarchy_theorem
is dbo:wikiPageRedirects of	dbr:Time_hierarchy dbr:Time_hierarchy_theorems dbr:Nondeterministic_time_hierarchy dbr:Nondeterministic_time_hierarchy_theorem
is dbo:wikiPageWikiLink of	dbr:Oracle_machine dbr:List_of_computability_and_complexity_topics dbr:P_versus_NP_problem dbr:NEXPTIME dbr:NP_(complexity) dbr:EXPTIME dbr:Counter-machine_model dbr:DTIME dbr:Exponential_time_hypothesis dbr:Gap_theorem dbr:Cobham's_thesis dbr:Juris_Hartmanis dbr:Richard_E._Stearns dbr:Computational_complexity_theory dbr:ZPP_(complexity) dbr:Complexity_class dbr:NTIME dbr:Space_hierarchy_theorem dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:Structural_complexity_theory dbr:List_of_theorems dbr:ACC0 dbr:Constructible_function dbr:Counter_machine dbr:Time_hierarchy dbr:Time_hierarchy_theorems dbr:Nondeterministic_time_hierarchy dbr:Nondeterministic_time_hierarchy_theorem
is foaf:primaryTopic of	wikipedia-en:Time_hierarchy_theorem