"06647614-n"^^ . "106237662"@en-us . "a formal series of statements showing that if one thing is true something else necessarily follows from it"@en-us . . . "106647614"^^ . . . . . . . . . . . "proof"@en-us . "proof"^^ . . "0.25"^^ . . . . . . . . . . "a formal series of statements showing that if one thing is true something else necessarily follows from it"@en-us . . . . "0"^^ . .