{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:10:03Z","timestamp":1749125403660,"version":"3.41.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1023\/a:1021695118634","type":"journal-article","created":{"date-parts":[[2003,3,21]],"date-time":"2003-03-21T02:03:09Z","timestamp":1048212189000},"page":"171-182","source":"Crossref","is-referenced-by-count":1,"title":["Unification Types of Completely Regular Semigroups"],"prefix":"10.1007","volume":"29","author":[{"given":"G.","family":"Mashevitzky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5103317_CR1","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/BF01233916","volume":"36","author":"M. H. Albert","year":"1996","unstructured":"Albert, M. H.: Category equivalence preserves unification type, Algebra Universalis\n36(1996), 457-466.","journal-title":"Algebra Universalis"},{"key":"5103317_CR2","doi-asserted-by":"crossref","first-page":"1135","DOI":"10.4153\/CJM-1994-064-8","volume":"46","author":"M. H. Albert","year":"1994","unstructured":"Albert, M. H. and Lawrence, J.: Unification in varieties of groups: Nilpotent varieties, Canad. J. Math.\n46(1994), 1135-1149.","journal-title":"Canad. J. Math."},{"key":"5103317_CR3","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1215\/ijm\/1255986386","volume":"39","author":"M. H. Albert","year":"1995","unstructured":"Albert, M. H. and Patrick, D.: Free groups and unification in A\n\n                    m\n                  \nA\n2, Illinois J. Math.\n39(1995), 407-415.","journal-title":"Illinois J. Math."},{"key":"5103317_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF02575010","volume":"36","author":"F. Baader","year":"1987","unstructured":"Baader, F.: Unification in varieties of idempotent semigroups, Semigroup Forum\n36(1987), 127-145.","journal-title":"Semigroup Forum"},{"key":"5103317_CR5","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-55124-7_9","volume":"572","author":"F. Baader","year":"1992","unstructured":"Baader, F.: Unification in varieties of completely regular semigroups, in Word Equations and Related Topics, Lecture Notes in Comput. Sci. 572, 1992, pp. 210-230.","journal-title":"Word Equations and Related Topics"},{"key":"5103317_CR6","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/oso\/9780198537465.003.0002","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"F. Baader","year":"1994","unstructured":"Baader, F. and Siekmann, J.: Unification theory, in Handbook of Logic in Artificial Intelligence and Logic Programming,Vol. 2, Oxford University Press, London, 1994, pp. 41-125."},{"key":"5103317_CR7","doi-asserted-by":"crossref","unstructured":"Clifford, A. H. and Preston, G. B.: The Algebraic Theory of Semigroups, Math. Surveys, no. 7, Amer. Math. Soc., Vol. 1, 1961, Vol. 2, 1967.","DOI":"10.1090\/surv\/007.1\/01"},{"key":"5103317_CR8","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1006\/jabr.1997.7212","volume":"200","author":"A. Kisielewicz","year":"1998","unstructured":"Kisielewicz, A.: Unification in commutative semigroups, J. Algebra\n200(1998), 246-257.","journal-title":"J. Algebra"},{"key":"5103317_CR9","unstructured":"Mashevitzky, G.: Bases of identities of some varieties of completely simple semigroups, in E. S. Lyapin (ed.), Algebraic Operations and Orderings, Leningrad, 1983 (in Russian)."},{"key":"5103317_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF02573438","volume":"30","author":"G. Mashevitzky","year":"1984","unstructured":"Mashevitzky, G.: On bases of completely simple semigroup identities, Semigroup Forum\n30(1984), 67-76.","journal-title":"Semigroup Forum"},{"key":"5103317_CR11","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF02573138","volume":"37","author":"G. Mashevitzky","year":"1988","unstructured":"Mashevitzky, G.: Completely simple and completely o-simple semigroup identities, Semigroup Forum\n37(1988), 253-264.","journal-title":"Semigroup Forum"},{"key":"5103317_CR12","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00249020","volume":"7","author":"W. Nutt","year":"1991","unstructured":"Nutt, W.: The unification hierarchy is undecidable, J. Automated Reasoning\n7(1991), 369-381.","journal-title":"J. Automated Reasoning"},{"key":"5103317_CR13","volume-title":"Inverse Semigroups","author":"M. Petrich","year":"1984","unstructured":"Petrich, M.: Inverse Semigroups, J. Wiley, New York, 1984."},{"key":"5103317_CR14","volume-title":"Canad. Math. Soc. Series of Monographs and Advanced Texts","author":"M. Petrich","year":"1999","unstructured":"Petrich, M. and Reilly, N. R.: Completely Regular Semigroups, Canad. Math. Soc. Series of Monographs and Advanced Texts 23, Wiley, New York, 1999."},{"key":"5103317_CR15","first-page":"227","volume":"7","author":"G. Plotkin","year":"1972","unstructured":"Plotkin, G.: Building in equational theories, Mach. Intelligence\n7(1972), 227-261.","journal-title":"Mach. Intelligence"},{"issue":"2","key":"5103317_CR16","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/BF02937320","volume":"96","author":"B. Plotkin","year":"1996","unstructured":"Plotkin, B.: Varieties of algebras and algebraic varieties, Israel Math. J.\n96(2) (1996), 511-522.","journal-title":"Israel Math. J."},{"key":"5103317_CR17","volume-title":"Seven lectures in universal algebraic geometry","author":"B. Plotkin","year":"2000","unstructured":"Plotkin, B.: Seven lectures in universal algebraic geometry, Preprint, Hebrew University, Jerusalem, 2000."},{"key":"5103317_CR18","unstructured":"Polak, L.:Unification in varieties of completely simple semigroups, in Contributions to General Algebra12, Vienna, 1999, Heyn, Klagenfurt, 2000, pp. 337-347."},{"key":"5103317_CR19","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF02676644","volume":"23","author":"V. V. Rasin","year":"1981","unstructured":"Rasin, V. V.: On the varieties of Cliffordian semigroups, Semigroup Forum\n23(1981), 201-220.","journal-title":"Semigroup Forum"},{"key":"5103317_CR20","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/3-540-16780-3_118","volume":"230","author":"M. Schmidt-Schaus","year":"1986","unstructured":"Schmidt-Schaus, M.: Unification in many-sorted equational theories, in Lecture Notes in Comput. Sci.230, 1986, pp. 538-552.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"5103317_CR21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S1446788700038489","volume":"59","author":"S. Talwar","year":"1995","unstructured":"Talwar, S.: Morita equivalence for semigroups, J. Austral. Math. Soc.\n59(1995), 81-111.","journal-title":"J. Austral. Math. Soc."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021695118634.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021695118634\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021695118634.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:37:49Z","timestamp":1749123469000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021695118634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["5103317"],"URL":"https:\/\/doi.org\/10.1023\/a:1021695118634","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}