{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:32Z","timestamp":1725663632982},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551249"},{"type":"electronic","value":"9783540467373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55124-7_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:48:46Z","timestamp":1330231726000},"page":"181-196","source":"Crossref","is-referenced-by-count":1,"title":["Model-theoretic aspects of unification"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bockmayr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF00247435","volume":"3","author":"A. Bockmayr","year":"1987","unstructured":"A. Bockmayr. A note on a canonical theory with undecidable unification and matching problem. Journal of Automated Reasoning, 3:379\u2013381, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/malq.19890350305","volume":"35","author":"S. Burris","year":"1989","unstructured":"S. Burris. Decidable model companions. Zeitschr. f. math. Logik und Grundlagen d. Math., 35:225\u2013227, 1989.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"493","DOI":"10.2307\/2273048","volume":"38","author":"G. Cherlin","year":"1973","unstructured":"G. Cherlin. Algebraically closed commutative rings. Journal of Symbolic Logic, 38:493\u2013499, 1973.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"G. Cherlin. Model-Theoretic Algebra \u2014 Selected Topics, volume 521 of Lecture Notes in Mathematics. Springer-Verlag, 1976.","DOI":"10.1007\/BFb0079565"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1090\/pspum\/028.2\/0432534","volume":"28","author":"M. Davis","year":"1976","unstructured":"M. Davis, Y. Matiyasevich, and J. Robinson. Hilbert's tenth problem. Diophantine equations: Positive aspects of a negative solution. Proc. Symp. Pure Math., 28:323\u2013378, 1976.","journal-title":"Proc. Symp. Pure Math."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1002\/mana.3210040125","volume":"4","author":"K. D\u00f6rge","year":"1951","unstructured":"K. D\u00f6rge. Bemerkungen \u00fcber Elimination in beliebigen Mengen mit Operationen. Mathematische Nachrichten, 4:282\u2013297, 1951.","journal-title":"Mathematische Nachrichten"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01433090","volume":"171","author":"K. D\u00f6rge","year":"1967","unstructured":"K. D\u00f6rge. \u00dcber die L\u00f6sbarkeit allgemeiner algebraischer Gleichungssysteme und einige weitere Fragen. Mathematische Annalen, 171:1\u201321, 1967.","journal-title":"Mathematische Annalen"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0003-4843(71)90016-7","volume":"2","author":"P. Eklof","year":"1971","unstructured":"P. Eklof and G. Sabbagh. Model completions and modules. Ann. Math. Logic, 2:251\u2013295, 1971.","journal-title":"Ann. Math. Logic"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"G Huet and D. C. Oppen. Equations and rewrite rules, A survey. In R. V. Book, editor, Formal Language Theory. Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-0000(81)90002-7","volume":"23","author":"G. Huet","year":"1981","unstructured":"G. Huet. A complete proof of the Knuth-Bendix completion procedure. J. Comp. Syst. Sc., 23:11\u201321, 1981.","journal-title":"J. Comp. Syst. Sc."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"J. Hirschfeld and W. H. Wheeler. Forcing, Arithmetic, Division Rings, volume 454 of Lecture Notes in Mathematics. Springer-Verlag, 1975.","DOI":"10.1007\/BFb0064082"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(89)90062-X","volume":"82","author":"J. P. Jouannaud","year":"1989","unstructured":"J. P. Jouannaud and E. Kounalis. Automatic proofs by induction in theories without constructors. Inform. and Comput., 82:1\u201333, 1989.","journal-title":"Inform. and Comput."},{"key":"7_CR13","unstructured":"J. P. Jouannaud and C. Kirchner. Solving equations in abstract algebras: A rule-based survey of unification. In J.L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of A. Robinson. MIT Press, 1991."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"H. J. Keisler. Fundamentals of model theory. In J. Barwise, editor, Handbook of Mathematical Logic. North Holland, 1977.","DOI":"10.1016\/S0049-237X(08)71098-X"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/62029.62030","volume":"21","author":"K. Knight","year":"1989","unstructured":"K. Knight. Unification, a multidisciplinary survey. ACM Comp. Surveys, 21:93\u2013124, 1989.","journal-title":"ACM Comp. Surveys"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/1970894","volume":"96","author":"A. Macintyre","year":"1972","unstructured":"A. Macintyre. On algebraically closed groups. Annals of Math., 96:53\u201397, 1972.","journal-title":"Annals of Math."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"A. Macintyre. Model completeness. In J. Barwise, editor, Handbook of Mathematical Logic. North Holland, 1977.","DOI":"10.1016\/S0049-237X(08)71100-5"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1002\/malq.19830290303","volume":"29","author":"M. Parigot","year":"1983","unstructured":"M. Parigot. Le mod\u00e8le compagnon de la th\u00e9orie des arbres. Zeitschr. f. math. Logik und Grundlagen d. Math., 29:137\u2013150, 1983.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/S0019-9958(85)80005-X","volume":"65","author":"D. Plaisted","year":"1985","unstructured":"D. Plaisted. Semantic confluence tests and completion methods. Information and Control, 65:233\u2013264, 1985.","journal-title":"Information and Control"},{"key":"7_CR20","unstructured":"A. Robinson. On the Metamathematics of Algebra. North Holland, 1951."},{"key":"7_CR21","unstructured":"A. Robinson. Introduction to Model Theory and to the Metamathematics of Algebra. North Holland, 1963."},{"key":"7_CR22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF01194523","volume":"17","author":"P. H. Schmitt","year":"1983","unstructured":"P. H. Schmitt. Algebraically complete lattices. Algebra Universalis, 17:135\u2013142, 1983.","journal-title":"Algebra Universalis"},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J. H. Siekmann","year":"1989","unstructured":"J. H. Siekmann. Unification theory. Journal of Symbolic Computation, 7:207\u2013274, 1989.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Word Equations and Related Topics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55124-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:57:45Z","timestamp":1605628665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55124-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551249","9783540467373"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-55124-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}