About: List of PSPACE-complete problems

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive.

Property	Value
dbo:abstract	Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive. (en)
dbo:wikiPageExternalLink	https://arxiv.org/abs/math/9409225 http://www.ics.uci.edu/~eppstein/cgt/hard.html
dbo:wikiPageID	9202993 (xsd:integer)
dbo:wikiPageLength	18821 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1116531072 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Lists_of_problems dbr:Modal_logic dbr:Nash_equilibrium dbr:Nondeterministic_finite_automaton dbr:M,n,k-game dbr:Regular_expression dbr:Reversi dbr:Decision_problem dbr:Instant_Insanity dbr:Integer_circuit dbr:Intersection_non-emptiness_problem dbr:Intuitionistic_logic dbr:PSPACE-complete dbr:Generalized_game dbr:Generalized_geography dbr:Equality_(mathematics) dbr:Go_(game) dbr:Graph_coloring_game dbr:Context-sensitive_language dbr:Equivalence_problem dbr:Ladder_(Go) dbr:Lemke–Howson_algorithm dbr:Lemmings_(video_game) dbr:Lexicographic_order dbr:Stack_automaton dbr:Emptiness_problem dbr:Linear_grammar dbr:Linear_temporal_logic dbr:First-order_logic dbr:First-order_theory dbr:Normal-form_game dbr:Checkers dbr:Kayles dbr:List_of_NP-complete_problems dbr:Regular_language dbc:PSPACE-complete_problems dbr:Pebble_game dbr:Binary_decision_diagram dbr:Super_Mario_Bros. dbr:Hex_(board_game) dbr:Automated_planning_and_scheduling dbr:Boolean_algebra_(structure) dbr:Border_Gateway_Protocol dbr:Sokoban dbr:Integer dbr:Konane dbr:Natural_number dbr:Canadian_traveller_problem dbc:Mathematics-related_lists dbr:Mahjong_solitaire dbr:Wang_tile dbr:Nondeterministic_finite_automata dbr:Regular_grammar dbr:Ko_rule dbr:Rush_Hour_(board_game) dbr:Well-ordered_set dbr:Langton's_Ant dbr:Poset_Game dbr:Linear_bounded_automata dbr:Quantified_boolean_formula dbr:Acyclic_directed_graph dbr:Amazons_(game) dbr:Atomix_(computer_game) dbr:Binary_string dbr:Type_inhabitation_problem dbr:River_Crossing dbr:Constraint_logic dbr:Dyson_Telescope_Game dbr:ET0L dbr:Node_Kayles dbr:Quasi-realtime_automata dbr:TipOver dbr:Tree_transducer_language dbr:Two-way_finite_state_automaton
dbp:cs1Dates	ly (en)
dbp:date	September 2022 (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Div_col dbt:Div_col_end dbt:Dynamic_list dbt:Sfnp dbt:Short_description dbt:Use_mdy_dates
dcterms:subject	dbc:Lists_of_problems dbc:PSPACE-complete_problems dbc:Mathematics-related_lists
gold:hypernym	dbr:PSPACE-complete
rdfs:comment	Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive. (en)
rdfs:label	List of PSPACE-complete problems (en)
owl:sameAs	wikidata:List of PSPACE-complete problems https://global.dbpedia.org/id/4qHAL
prov:wasDerivedFrom	wikipedia-en:List_of_PSPACE-complete_problems?oldid=1116531072&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:List_of_PSPACE-complete_problems
is dbo:wikiPageWikiLink of	dbr:Intersection_non-emptiness_problem dbr:Computational_hardness_assumption dbr:Game_complexity dbr:List_of_NP-complete_problems dbr:Lists_of_problems
is foaf:primaryTopic of	wikipedia-en:List_of_PSPACE-complete_problems