{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:44:29Z","timestamp":1725576269253},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232124"},{"type":"electronic","value":"9783540302100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30210-0_25","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T05:34:36Z","timestamp":1295328876000},"page":"281-284","source":"Crossref","is-referenced-by-count":0,"title":["From a Computer Algebra Library to a System with an Equational Prover"],"prefix":"10.1007","author":[{"given":"Serge","family":"Mechveliani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Goguen, J., Meseguer, J.: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Polymorphism, and Partial Operations (1988?), http:\/\/citeseer.nj.nec.com\/goguen92ordersorted.html"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","volume":"25","author":"J. Hsiang","year":"1985","unstructured":"Hsiang, J.: Refutational theorem proving using term-rewriting systems. Artificial Intelligence\u00a025, 255\u2013300 (1985)","journal-title":"Artificial Intelligence"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-18088-5_6","volume-title":"Automata, Languages and Programming","author":"J. Hsiang","year":"1987","unstructured":"Hsiang, J., Rusinowitch, M.: On word problems in equational theories. In: Ottmann, T. (ed.) ICALP 1987. LNCS, vol.\u00a0267, pp. 54\u201371. Springer, Heidelberg (1987)"},{"key":"25_CR4","first-page":"349","volume-title":"Formal languages: perspectives an open problems","author":"G. Huet","year":"1980","unstructured":"Huet, G., Oppen, D.: Equations and rewrite rules. A Survey. In: Formal languages: perspectives an open problems, pp. 349\u2013405. Pergamon Press, New York (1980)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Knuth, D., Bendix, P.: Simple word problems in universal algebras. In: Computational Problems in Abstract Algebra, pp. 263\u2013297. Pergamos Press (1970)","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"issue":"2,3","key":"25_CR6","first-page":"127","volume":"15","author":"B. L\u00f6chner","year":"2002","unstructured":"L\u00f6chner, B., Hillenbrand, T.: A Phytography of Waldmeister. AI Communications\u00a015(2,3), 127\u2013133 (2002)","journal-title":"AI Communications"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30210-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:49:28Z","timestamp":1605743368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30210-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232124","9783540302100"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30210-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}