. "1"^^ . "0"^^ . . . "RIV/67985840:_____/00:05030177" . . . . "In this paper I show, using an example, how one can think of lower bounds on the lengths of proofs in terms of a two-player game." . "RIV/67985840:_____/00:05030177!RIV/2004/MSM/A05004/N" . "1"^^ . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . . . "game; lengths of proofs; resolution"@en . . . . "107" . . "Proofs as games." . "541;550" . "723758" . . "0002-9890" . "[E5FE1A1B7283]" . . "Proofs as games."@en . "American Mathematical Monthly" . "Pudl\u00E1k, Pavel" . "In this paper I show, using an example, how one can think of lower bounds on the lengths of proofs in terms of a two-player game."@en . "P(IAA1019901), P(ME 103), Z(AV0Z1019905)" . "Proofs as games."@en . "10"^^ . . "Proofs as games." . . . . "0"^^ . "5" .