{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T07:13:09Z","timestamp":1697699589478},"reference-count":7,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2007,5,18]],"date-time":"2007-05-18T00:00:00Z","timestamp":1179446400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2007,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in \u03c0 are equal in \u211d and if two exponential polynomials in \u03c0 and <jats:italic>i<\/jats:italic> coincide in \u2102. (\u00a9 2007 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200610047","type":"journal-article","created":{"date-parts":[[2007,5,18]],"date-time":"2007-05-18T22:45:09Z","timestamp":1179528309000},"page":"306-310","source":"Crossref","is-referenced-by-count":0,"title":["A note on the decidability of exponential terms"],"prefix":"10.1002","volume":"53","author":[{"given":"Paola","family":"D'Aquino","sequence":"first","affiliation":[]},{"given":"Giuseppina","family":"Terzo","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,5,18]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1984.113.51"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90017-G"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"A.Macintyre Exponential algebra. In: Logic and Algebra. Proceedings of the International Conference Dedicated to the Memory of Roberto Magari (A. Ursini et al. eds.). Lecture Notes in Pure and Applied Mathematics 180 pp. 191\u2013210 (Dekker 1991).","DOI":"10.1201\/9780203748671-9"},{"key":"e_1_2_1_5_2","unstructured":"A.Macintyre Lecture Notes on Exponentation (Urbana 1985). Unpublished."},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"A.Macintyre The laws of exponentiation. In: Model Theory and Arithmetic Proceedings Paris 1979\/80. Lecture Notes in Mathematics 890 pp. 185\u2013197 (Springer 1981).","DOI":"10.1007\/BFb0095664"},{"key":"e_1_2_1_7_2","unstructured":"A.Macintyre andA.Wilkie On the decidability of the real exponential field. In: Kreiseliana: About and Around Georg Kreisel pp. 441\u2013467 (AK Peters 1996)."},{"key":"e_1_2_1_8_2","unstructured":"G.Terzo Some consequences of Schanuel's Conjecture in exponential rings. Accepted for publication in Communications in Algebra."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200610047","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200610047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T15:04:48Z","timestamp":1697641488000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200610047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,18]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["10.1002\/malq.200610047"],"URL":"https:\/\/doi.org\/10.1002\/malq.200610047","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,18]]}}}