. . "logically deductive; \"formal proof\""@en-us . "0.375"^^ . . . "formal"^^ . "301430628"@en-us . "301430628"^^ . "formal"@en-us . . . "0"^^ . "01430628-a"^^ . "301373704"@en-us . "301381605"@en-us .