"2"^^ . . . "P(GP201/08/P056), Z(MSM0021620839)" . . "248170" . . "Automated Theorem Proving in Quasigroup and Loop Theory"@en . "1"^^ . "[0462E717EB40]" . . . "We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers."@en . "Automated Theorem Proving in Quasigroup and Loop Theory" . . "000275821600011" . . . "Automated Theorem Proving in Quasigroup and Loop Theory" . "11320" . . . . "NL - Nizozemsko" . . "RIV/00216208:11320/10:10050432" . "23" . "17"^^ . . . "Automated Theorem Proving in Quasigroup and Loop Theory"@en . . "0921-7126" . . . "RIV/00216208:11320/10:10050432!RIV11-GA0-11320___" . . "2-3" . "We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers." . "AI Communications" . "Theory; Loop; and; Quasigroup; Proving; Theorem; Automated"@en . . "Stanovsk\u00FD, David" . "Phillips, J. D." . .