PSPACE-complete problem
7
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Polynomial_space | Generalized geography |
| gptkb:Polynomial_space | Quantified Boolean formula |
| gptkb:Polynomial_space | gptkb:TQBF |
| gptkb:Polynomial_space | Games with perfect information |
| gptkb:Polynomial_space | gptkb:QBF |
| gptkb:Polynomial_space | Word problem for linear bounded automata |
| gptkb:Polynomial_space | Model checking |