"P(GA201/05/0124), Z(MSM0021620839)" . . "11320" . "4" . "D\u016Fsledky dokazatelnosti, \u017Ee NP je podmno\u017Einou P/poly"@cs . "Consequences of the Provability of NP c P/poly"@en . "Consequences of the Provability of NP c P/poly" . "0022-4812" . . "RIV/00216208:11320/07:00004310" . . "Journal of Symbolic Logic" . "D\u016Fsledky dokazatelnosti, \u017Ee NP je podmno\u017Einou P/poly"@cs . "Consequences; Provability; P/poly"@en . . . . "Kraj\u00ED\u010Dek, Jan" . "D\u016Fsledky dokazatelnosti, \u017Ee NP je podmno\u017Einou P/poly"@cs . "Consequences of the Provability of NP c P/poly" . . . "1"^^ . "Consequences of the Provability of NP c P/poly" . "19"^^ . "Consequences of the Provability of NP c P/poly"@en . "RIV/00216208:11320/07:00004310!RIV08-MSM-11320___" . "414818" . "72" . "Consequences of the Provability of NP c P/poly"@en . "1"^^ . . . . . . "1353;1371" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . . . . "[C7ECB3A34241]" . .