{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:23Z","timestamp":1773939143860,"version":"3.50.1"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1986,9,1]],"date-time":"1986-09-01T00:00:00Z","timestamp":525916800000},"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":[[1986,9]]},"DOI":"10.1007\/bf02328450","type":"journal-article","created":{"date-parts":[[2006,3,14]],"date-time":"2006-03-14T17:24:33Z","timestamp":1142357073000},"page":"277-281","source":"Crossref","is-referenced-by-count":33,"title":["Unification under associativity and idempotence is of type nullary"],"prefix":"10.1007","volume":"2","author":[{"given":"Manfred","family":"Schmidt-Schauss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02328450_CR1","doi-asserted-by":"crossref","unstructured":"Fages, F and Huet, G., \u2018Complete sets of unifiers and matchers in equational theories\u2019, CAAP 83,Trees in Algebra and Programming, (eds. G. Ausiello and M. Protasi), Springer Verlag, LNCS 159, pp. 250\u2013220, (1983).","DOI":"10.1007\/3-540-12727-5_12"},{"key":"BF02328450_CR2","doi-asserted-by":"crossref","unstructured":"Gould, W. E., A matching procedure for \u03c9-order logic,Scientific Report No. 4, Air Force Cambridge Research Labs., (1966).","DOI":"10.21236\/AD0646560"},{"key":"BF02328450_CR3","unstructured":"Howie, J. M.,An Introduction to Semigroup Theory, Academic Press, (1976)."},{"key":"BF02328450_CR4","unstructured":"Huet, G.,Resolution d'equations dnans des languages d'ordere 1,2, ... w, These d'Etat, Univ. de Paris, VII, (1976)."},{"key":"BF02328450_CR5","doi-asserted-by":"crossref","unstructured":"Siekmann, J. H., Universal unification, Proc. of the 7th CADE, (ed R.E. Shostak), Springer Verlag LNCS 170, pp. 1\u201342, (1984).","DOI":"10.1007\/978-0-387-34768-4_1"},{"key":"BF02328450_CR6","first-page":"83","volume-title":"A Noetherian and Confluent Rewrite System for Idempotent Semigroups Forum","author":"J. Siekmann","year":"1982","unstructured":"SiekmannJ. and Szab\u00f3P.A Noetherian and Confluent Rewrite System for Idempotent Semigroups Forum Vol. 25, pp. 83\u2013110, Springer Verlag New York, (1982)."},{"key":"BF02328450_CR7","unstructured":"Szab\u00f3, P.,Theory of First Order Unification, (in German, thesis) Univ. Karlsruhe, 1982."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02328450.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02328450\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02328450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T18:07:36Z","timestamp":1558030056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02328450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,9]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,9]]}},"alternative-id":["BF02328450"],"URL":"https:\/\/doi.org\/10.1007\/bf02328450","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,9]]}}}