{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,8]],"date-time":"2023-10-08T14:43:41Z","timestamp":1696776221993},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T00:00:00Z","timestamp":1600041600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T00:00:00Z","timestamp":1600041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Semigroup Forum"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s00233-020-10124-3","type":"journal-article","created":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T22:02:42Z","timestamp":1600120962000},"page":"779-785","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Basis reduction for cryptogroups and orthogroups"],"prefix":"10.1007","volume":"101","author":[{"given":"Ana","family":"Casimiro","sequence":"first","affiliation":[]},{"given":"Eduardo","family":"Skapinakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,14]]},"reference":[{"key":"10124_CR1","doi-asserted-by":"publisher","first-page":"243","DOI":"10.4171\/PM\/2005","volume":"74","author":"F Ara\u00fajo","year":"2017","unstructured":"Ara\u00fajo, F., Kinyon, M.: Commutativity theorems for groups and semigroups. Port. Math. 74, 243\u2013255 (2017)","journal-title":"Port. Math."},{"key":"10124_CR2","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00233-010-9280-8","volume":"82","author":"J Ara\u00fajo","year":"2011","unstructured":"Ara\u00fajo, J., Kinyon, M.: An elegant 3-basis for inverse semigroups. Semigroup Forum 82, 319\u2013323 (2011)","journal-title":"Semigroup Forum"},{"key":"10124_CR3","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1007\/s10587-011-0062-6","volume":"61","author":"J Ara\u00fajo","year":"2011","unstructured":"Ara\u00fajo, J., Kinyon, M.: Independent axiom systems for nearlattices. Czechoslov. Math. J. 61, 975\u2013992 (2011)","journal-title":"Czechoslov. Math. J."},{"key":"10124_CR4","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1080\/00927872.2010.536604","volume":"40","author":"J Ara\u00fajo","year":"2012","unstructured":"Ara\u00fajo, J., Kinyon, M.: Axioms for unary semigroups via division operations. Commun. Algebra 40, 719\u2013737 (2012)","journal-title":"Commun. Algebra"},{"key":"10124_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.4171\/PM\/2033","volume":"76","author":"J Ara\u00fajo","year":"2019","unstructured":"Ara\u00fajo, J., Kinyon, M., Robert, Y.: Varieties of regular semigroups with uniquely defined inversion. Port. Math. 76, 205\u2013228 (2019)","journal-title":"Port. Math."},{"key":"10124_CR6","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1080\/00927870902911797","volume":"38","author":"J Ara\u00fajo","year":"2010","unstructured":"Ara\u00fajo, J., McCune, W.: Computer solutions of problems in inverse semigroups. Commun. Algebra 38, 1104\u20131121 (2010)","journal-title":"Commun. Algebra"},{"key":"10124_CR7","unstructured":"Ara\u00fajo, J., Robert, Y., Veroff, R.: ProverX. (2019). http:\/\/www.proverx.com"},{"key":"10124_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s00233-014-9644-6","volume":"91","author":"JP Ara\u00fajo","year":"2015","unstructured":"Ara\u00fajo, J.P., Kinyon, M.: A natural characterization of semilattices of rectangular bands and groups of exponent two. Semigroup Forum 91, 295\u2013298 (2015)","journal-title":"Semigroup Forum"},{"key":"10124_CR9","first-page":"778","volume":"237","author":"R Croisot","year":"1953","unstructured":"Croisot, R.: Demi-groupes et axiomatique des groupes. C. R. Acad. Sci. Paris 237, 778\u2013780 (1953)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"10124_CR10","doi-asserted-by":"crossref","first-page":"215","DOI":"10.5486\/PMD.1952.2.3-4.10","volume":"2","author":"G Higman","year":"1952","unstructured":"Higman, G., Neumann, B.H.: Groups as groupoids with one law. Publ. Math. Debr. 2, 215\u2013221 (1952)","journal-title":"Publ. Math. Debr."},{"key":"10124_CR11","first-page":"274","volume":"35","author":"EV Huntington","year":"1933","unstructured":"Huntington, E.V.: New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell\u2019s Principia Mathematica. Trans. Am. Math. Soc. 35, 274\u2013304 (1933)","journal-title":"Trans. Am. Math. Soc."},{"key":"10124_CR12","first-page":"557","volume":"35","author":"EV Huntington","year":"1933","unstructured":"Huntington, E.V.: Boolean algebra. A correction to: \u201cNew sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell\u2019s Principia mathematica\u201d. Trans. Am. Math. Soc. 35, 557\u2013558 (1933)","journal-title":"Trans. Am. Math. Soc."},{"key":"10124_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BF00245293","volume":"9","author":"K Kunen","year":"1992","unstructured":"Kunen, K.: Single axioms for groups. J. Autom. Reason. 9, 291\u2013308 (1992)","journal-title":"J. Autom. Reason."},{"key":"10124_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00881862","volume":"10","author":"W McCune","year":"1993","unstructured":"McCune, W.: Single axioms for groups and Abelian groups with various operations. J. Autom. Reason. 10, 1\u201313 (1993)","journal-title":"J. Autom. Reason."},{"key":"10124_CR15","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1305\/ndjfl\/1093634569","volume":"34","author":"W McCune","year":"1993","unstructured":"McCune, W.: Single axioms for the left group and right group calculi. Notre Dame J. Form. Log. 34, 132\u2013139 (1993)","journal-title":"Notre Dame J. Form. Log."},{"key":"10124_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1023\/A:1005843212881","volume":"19","author":"W McCune","year":"1997","unstructured":"McCune, W.: Solution of the Robbins problem. J. Autom. Reason. 19, 263\u2013276 (1997)","journal-title":"J. Autom. Reason."},{"key":"10124_CR17","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1080\/00029890.1996.12004833","volume":"103","author":"W McCune","year":"1996","unstructured":"McCune, W., Sands, A.D.: Computer and human reasoning: single implicative axioms for groups and for Abelian groups. Am. Math. Mon. 103, 888\u2013892 (1996)","journal-title":"Am. Math. Mon."},{"key":"10124_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1020542009983","volume":"29","author":"W McCune","year":"2002","unstructured":"McCune, W., Veroff, R., Fitelson, B., Harris, K., Feist, A., Wos, L.: Short single axioms for Boolean algebra. J. Autom. Reason. 29, 1\u201316 (2002)","journal-title":"J. Autom. Reason."},{"key":"10124_CR19","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1305\/ndjfl\/1093893713","volume":"10","author":"C Meredith","year":"1969","unstructured":"Meredith, C.: Equational postulates for the Sheffer stroke. Notre Dame J. Form. Log. 10, 266\u2013270 (1969)","journal-title":"Notre Dame J. Form. Log."},{"key":"10124_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0004972700006912","volume":"23","author":"BH Neumann","year":"1981","unstructured":"Neumann, B.H.: Another single law for groups. Bull. Aust. Math. Soc. 23, 81\u2013102 (1981)","journal-title":"Bull. Aust. Math. Soc."},{"key":"10124_CR21","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1215\/ijm\/1256044638","volume":"30","author":"BH Neumann","year":"1986","unstructured":"Neumann, B.H.: Yet another single law for groups. Ill. J. Math. 30, 295\u2013300 (1986)","journal-title":"Ill. J. Math."},{"key":"10124_CR22","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1017\/S0004972700036406","volume":"60","author":"PM Neumann","year":"1999","unstructured":"Neumann, P.M.: What groups were: a study of the development of the axiomatics of group theory. Bull. Aust. Math. Soc. 60, 285\u2013301 (1999)","journal-title":"Bull. Aust. Math. Soc."},{"key":"10124_CR23","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1017\/S144678870000570X","volume":"9","author":"R Padmanabhan","year":"1969","unstructured":"Padmanabhan, R.: On single equational-axiom systems for Abelian groups. J. Aust. Math. Soc. 9, 143\u2013152 (1969)","journal-title":"J. Aust. Math. Soc."},{"key":"10124_CR24","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0898-1221(94)00213-5","volume":"29","author":"R Padmanabhan","year":"1995","unstructured":"Padmanabhan, R., McCune, W.: Single identities for ternary Boolean algebras. Comput. Math. Appl. 29, 13\u201316 (1995)","journal-title":"Comput. Math. Appl."},{"key":"10124_CR25","volume-title":"Completely Regular Semigroups","author":"M Petrich","year":"1999","unstructured":"Petrich, M., Reilly, N.R.: Completely Regular Semigroups. Wiley, New York (1999)"},{"key":"10124_CR26","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1090\/S0002-9947-1913-1500960-1","volume":"14","author":"HM Sheffer","year":"1913","unstructured":"Sheffer, H.M.: A set of five independent postulates for Boolean algebras. Trans. Am. Math. Soc. 14, 481\u2013488 (1913)","journal-title":"Trans. Am. Math. Soc."},{"key":"10124_CR27","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/00029890.1959.11989250","volume":"66","author":"M Sholander","year":"1959","unstructured":"Sholander, M.: Postulates for commutative groups. Am. Math. Mon. 66, 93\u201395 (1959)","journal-title":"Am. Math. Mon."},{"key":"10124_CR28","volume-title":"\u00dcber Axiomensysteme, die eine abstrakte Gruppe bestimmen (Thesis), University of Uppsala","author":"B Stolt","year":"1953","unstructured":"Stolt, B.: \u00dcber Axiomensysteme, die eine abstrakte Gruppe bestimmen (Thesis), University of Uppsala. Almqvist & Wiksell, Uppsala (1953)"},{"key":"10124_CR29","unstructured":"Tamura, T.: Algebraic systems associated with involuted regular semigroups. Semigroups (Szeged, 1981), 471\u2013488, Colloq. Math. Soc. J\u00e1nos Bolyai, 39, North\u2013Holland, Amsterdam (1985)"},{"key":"10124_CR30","doi-asserted-by":"publisher","first-page":"253","DOI":"10.4064\/fm-30-1-253-256","volume":"30","author":"A Tarski","year":"1938","unstructured":"Tarski, A.: Ein Beitrag zur Axiomatik der Abelschen Gruppen. Fund. Math. 30, 253\u2013256 (1938)","journal-title":"Fund. Math."},{"key":"10124_CR31","doi-asserted-by":"crossref","unstructured":"Tarski, A.: Equational logic and equational theories of algebras. Contributions to Math. Logic (Colloquium, Hannover, 1966), North-Holland, Amsterdam, pp. 275\u2013288 (1968)","DOI":"10.1016\/S0049-237X(08)70531-7"},{"key":"10124_CR32","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1017\/S0004972700004196","volume":"37","author":"V Tasi\u0107","year":"1988","unstructured":"Tasi\u0107, V.: On single-law definitions of groups. Bull. Aust. Math. Soc. 37, 101\u2013106 (1988)","journal-title":"Bull. Aust. Math. Soc."},{"key":"10124_CR33","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1010683508225","volume":"27","author":"D Ulrich","year":"2001","unstructured":"Ulrich, D.: A legacy recalled and a tradition continued. J. Autom. Reason. 27, 97\u2013122 (2001)","journal-title":"J. Autom. Reason."}],"container-title":["Semigroup Forum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-020-10124-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00233-020-10124-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-020-10124-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,7]],"date-time":"2023-10-07T09:07:30Z","timestamp":1696669650000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00233-020-10124-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,14]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["10124"],"URL":"https:\/\/doi.org\/10.1007\/s00233-020-10124-3","relation":{},"ISSN":["0037-1912","1432-2137"],"issn-type":[{"value":"0037-1912","type":"print"},{"value":"1432-2137","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,14]]},"assertion":[{"value":"8 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 June 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}