Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
908 3 |
Ultima descărcare din IBN: 2024-01-21 17:50 |
SM ISO690:2012 FIALA, NickC.. A still shorter axiom for trimedial quasigroups. In: Quasigroups and Related Systems, 2013, vol. 21, nr. 2(30), pp. 203-206. ISSN 1561-2848. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Quasigroups and Related Systems | ||||||
Volumul 21, Numărul 2(30) / 2013 / ISSN 1561-2848 | ||||||
|
||||||
Pag. 203-206 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
In this brief note, we exhibit an identity in product only that characterizes the variety of trimedial quasigroups that is shorter than the shortest one currently known. Our identity was found with the aid of the automated theorem-prover Prover9. |
||||||
Cuvinte-cheie quasigroup, trimedial quasigroup, automated reasoning |
||||||
|