Complexity of the problem of \(\forall \)-representation for sentences. (English. Russian original) Zbl 07906271
Algebra Logic 62, No. 4, 372-375 (2023); translation from Algebra Logika 62, No. 4, 552-557 (2023).