Identities and generalized derivatives of quasigroups (Q6179308)

In 1967, \textit{V. D. Belousov} [Foundations of the theory of quasigroups and loops (Russian). Moscow: Nauka (1967; Zbl 0163.01801)] stated Problem 18 where he asked how to recognize identities which make a quasigroup to be a loop. This paper gives a partial solution to this problem. The authors present the list of 648 quasigroups satisfying some additional conditions. They indicate which of them have left, right or middle unit element. This result was obtained with help of automated provers Prover9 and Mace4.