{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:29Z","timestamp":1749124049747},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881862","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:34:31Z","timestamp":1104132871000},"page":"1-13","source":"Crossref","is-referenced-by-count":29,"title":["Single axioms for groups and Abelian groups with various operations"],"prefix":"10.1007","volume":"10","author":[{"given":"William W.","family":"McCune","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","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. and Neumann, B. H., ?Groups as groupoids with one law?,Publicationes Mathematicae Debrecen 2, 215?227 (1952).","journal-title":"Publicationes Mathematicae Debrecen"},{"key":"CR2","first-page":"54","volume-title":"Proceedings of 14th ICALP, Lecture Notes in Computer Science, Vol. 267","author":"J. Hsiang","year":"1987","unstructured":"Hsiang, J. and Rusinowitch, M., ?On word problems in equational theories?, in T. Ottmann (ed),Proceedings of 14th ICALP, Lecture Notes in Computer Science, Vol. 267, Springer-Verlag, New York, 1987, pp. 54?71."},{"issue":"3","key":"CR3","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00244946","volume":"4","author":"D. Kapur","year":"1988","unstructured":"Kapur, D. and Zhang, H., ?Proving equivalence of different axiomatizations of free groups?,Journal of Automated Reasoning 4(3), 331?352 (1988).","journal-title":"Journal of Automated Reasoning"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/B978-0-08-012975-4.50028-X","volume-title":"Computational Problems in Abstract Algebras","author":"D. Knuth","year":"1970","unstructured":"Knuth, D. and Bendix, P., ?Simple word problems in universal algebras?, in J. Leech (ed),Computational Problems in Abstract Algebras, Pergamon Press, Oxford, 1970, pp. 263?297."},{"key":"CR5","unstructured":"Kunen, K., Sept.?Oct. 1991, Correspondence by electronic mail."},{"issue":"3","key":"CR6","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BF00245293","volume":"9","author":"K. Kunen","year":"1992","unstructured":"Kunen, K., ?Single axioms for groups?,J. Automated Reasoning 9(3), 291?308 (1992).","journal-title":"J. Automated Reasoning"},{"key":"CR7","series-title":"Technical Report","volume-title":"Canonical inference","author":"D. Lankford","year":"1975","unstructured":"Lankford, D., ?Canonical inference?, Technical Report ATP-32, Dept. of Computer Sciences, University of Texas, Austin, TX, 1975."},{"key":"CR8","unstructured":"McCune, W., ?OTTER 2.0 Users Guide?, Technical Report ANL-90\/9, Argonne National Laboratory, Argonne, IL, March 1990."},{"key":"CR9","series-title":"Technical Memo","volume-title":"Proofs for groups and Abelian group single axioms","author":"W. McCune","year":"1991","unstructured":"McCune, W., ?Proofs for groups and Abelian group single axioms?, Technical Memo ANL\/MCS-TM-156, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, October 1991."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"McCune, W., ?Single axioms for the left group and right group calculi?, Preprint MCS-P219-0391, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 1991. To appear inNotre Dame J. Formal Logic.","DOI":"10.1305\/ndjfl\/1093634569"},{"key":"CR11","series-title":"Technical Memo","volume-title":"What's new in OTTER 2.2","author":"W. McCune","year":"1991","unstructured":"McCune, W., ?What's new in OTTER 2.2?, Technical Memo ANL\/MCS-TM-153, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, July 1991."},{"issue":"1","key":"CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00247824","volume":"9","author":"W. McCune","year":"1992","unstructured":"McCune, W., ?Automated discovery of new axiomatizations of the left group and right group calculi?,Journal of Automated Reasoning 9(1), 1?24 (1992).","journal-title":"Journal of Automated Reasoning"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S0004972700006912","volume":"23","author":"B. H. Neumann","year":"1981","unstructured":"Neumann, B. H., ?Another single law for groups?,Bull. Australian Math. Soc. 23, 81?102 (1981).","journal-title":"Bull. Australian Math. Soc."},{"issue":"2","key":"CR14","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1215\/ijm\/1256044638","volume":"30","author":"B. H. Neumann","year":"1986","unstructured":"Neumann, B. H., ?Yet another single law for groups?,Illinois Journal of Mathematics 30(2), 295?300 (1986).","journal-title":"Illinois Journal of Mathematics"},{"key":"CR15","series-title":"Technical Report","volume-title":"FINDER, finite domain enumerator: Version 1.0 notes and guide","author":"J. Slaney","year":"1991","unstructured":"Slaney, J., ?FINDER, finite domain enumerator: Version 1.0 notes and guide?, Technical Report TR-ARP-10\/91, Automated Reasoning Project, Australian National University, Canberra, Australia, 1991."},{"key":"CR16","doi-asserted-by":"crossref","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?,Fundamenta Mathematicae 30, 253?256 (1938).","journal-title":"Fundamenta Mathematicae"},{"key":"CR17","first-page":"275","volume-title":"Contributions to Mathematical Logic","author":"A. Tarski","year":"1968","unstructured":"Tarski, A., ?Equational logic and equational theories of algebras?, in K. Sch\u00fctte (ed),Contributions to Mathematical Logic, North-Holland, Amsterdam, 1968, pp. 275?288."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881862.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881862\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T04:03:21Z","timestamp":1682913801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881862"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881862"],"URL":"https:\/\/doi.org\/10.1007\/bf00881862","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}