68
правок
Изменения
Нет описания правки
|about=2
|statement=<tex> \forall L \in PS \Rightarrow L \leq_p TQBF</tex>
|proof=Рассмотрим какой-то язык <tex>L \in PSPACE</tex>. Построим такую функцию <tex>f : \forall x \in L \Leftrightarrow f(x) \in TQBF</tex>
}}
