Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
927 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 |
||||||
|
DataCite XML Export
<?xml version='1.0' encoding='utf-8'?> <resource xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xmlns='http://datacite.org/schema/kernel-3' xsi:schemaLocation='http://datacite.org/schema/kernel-3 http://schema.datacite.org/meta/kernel-3/metadata.xsd'> <creators> <creator> <creatorName>Fiala, N.</creatorName> <affiliation>St. Cloud State University, Statele Unite ale Americii</affiliation> </creator> </creators> <titles> <title xml:lang='en'>A still shorter axiom for trimedial quasigroups</title> </titles> <publisher>Instrumentul Bibliometric National</publisher> <publicationYear>2013</publicationYear> <relatedIdentifier relatedIdentifierType='ISSN' relationType='IsPartOf'>1561-2848</relatedIdentifier> <subjects> <subject>quasigroup</subject> <subject>trimedial quasigroup</subject> <subject>automated reasoning</subject> </subjects> <dates> <date dateType='Issued'>2013-05-01</date> </dates> <resourceType resourceTypeGeneral='Text'>Journal article</resourceType> <descriptions> <description xml:lang='en' descriptionType='Abstract'>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.</description> </descriptions> <formats> <format>application/pdf</format> </formats> </resource>