. . "Sipser-Ga\u0107s-Lautemann theorem"@en . . "3179355"^^ . "256612547"^^ . "38"^^ . .