"809572443"^^ . "Polynomial-time uniform"@en . . . . "55758648"^^ . "43"^^ .