{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T12:19:09Z","timestamp":1779365949803,"version":"3.53.0"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2007,4,1]],"date-time":"2007-04-01T00:00:00Z","timestamp":1175385600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[2007,4]]},"abstract":"<jats:p>\n            We give an equational specification of the field operations on the rational numbers under initial algebra semantics using just total field operations and 12 equations. A consequence of this specification is that 0\n            <jats:sup>\u22121<\/jats:sup>\n            = 0, an interesting equation consistent with the ring axioms and many properties of division. The existence of an equational specification of the rationals\n            <jats:italic>without hidden functions<\/jats:italic>\n            was an open question. We also give an axiomatic examination of the divisibility operator, from which some interesting new axioms emerge along with equational specifications of algebras of rationals, including one with the modulus function. Finally, we state some open problems, including: Does there exist an equational specification of the field operations on the rationals without hidden functions that is a complete term rewriting system?\n          <\/jats:p>","DOI":"10.1145\/1219092.1219095","type":"journal-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:11Z","timestamp":1181140631000},"page":"7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["The rational numbers as an abstract data type"],"prefix":"10.1145","volume":"54","author":[{"given":"J. A.","family":"Bergstra","sequence":"first","affiliation":[{"name":"University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J. V.","family":"Tucker","sequence":"additional","affiliation":[{"name":"University of Wales Swansea, Singleton Park, Swansea, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00189-X"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11780342_5"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)80021-1"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/0212024"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90123-X"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/227683.227687"},{"key":"e_1_2_1_7_1","volume-title":"Tech. Rep. CSR12-2005, Department of Computer Science","author":"Bergstra J. A.","year":"2005"},{"key":"e_1_2_1_8_1","first-page":"459","volume-title":"Eds. Lecture Notes in Computer Science","volume":"4060","author":"Bergstra J. A."},{"key":"e_1_2_1_9_1","volume-title":"Tech. Rep. CSR 14-2006, Department of Computer Science","author":"Bergstra J. A.","year":"2006"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2000.12005205"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503004110"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8659.00464"},{"key":"e_1_2_1_13_1","first-page":"98","volume-title":"Springer-Verlag","author":"Contejean E."},{"key":"e_1_2_1_14_1","unstructured":"Dickson L. E. 1952. History of the Theory of Numbers. Chelsea New York.  Dickson L. E. 1952. History of the Theory of Numbers. Chelsea New York."},{"key":"e_1_2_1_15_1","first-page":"80","volume-title":"Prentice-Hall, Engelwood Cliffs","author":"Goguen J. A."},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Harrison J. 1998. Theorem Proving with the Real Numbers Springer-Verlag New York.   Harrison J. 1998. Theorem Proving with the Real Numbers Springer-Verlag New York.","DOI":"10.1007\/978-1-4471-1591-5"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1155\/2000\/482042"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.12.001"},{"key":"e_1_2_1_19_1","unstructured":"Hodges W. 1993. Model Theory. Cambridge University Press Cambridge UK.  Hodges W. 1993. Model Theory. Cambridge University Press Cambridge UK."},{"key":"e_1_2_1_20_1","first-page":"189","volume-title":"Eds","author":"Meinke K."},{"key":"e_1_2_1_21_1","first-page":"459","volume-title":"Eds","author":"Meseguer J."},{"key":"e_1_2_1_22_1","first-page":"1","volume-title":"Handbook of Logic in Computer Science. Volume 2: Mathematical Structures","author":"Klop J. W."},{"key":"e_1_2_1_23_1","first-page":"291","article-title":"Simple equational specifications of rational arithmetic","volume":"4","author":"Moss L.","year":"2001","journal-title":"Discr. Math. Theoret. Comput. Sci."},{"key":"e_1_2_1_24_1","volume-title":"Recent Trends in Algebraic Development Techniques. 14th International Workshop (WADT '99)","author":"Roggenbach M.","year":"1999"},{"key":"e_1_2_1_25_1","unstructured":"Setzer A. 1997. Wheels. Manuscript 8 pp. Download at: http:\/\/www.cs.swan.ac.uk\/csetzer.  Setzer A. 1997. Wheels. Manuscript 8 pp. Download at: http:\/\/www.cs.swan.ac.uk\/csetzer."},{"key":"e_1_2_1_26_1","first-page":"357","volume-title":"Volume IV: Semantic Modelling","author":"Stoltenberg-Hansen V.","year":"1995"},{"key":"e_1_2_1_27_1","first-page":"363","volume-title":"Amsterdam, The Netherlands","author":"Stoltenberg-Hansen V."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00296-5"},{"key":"e_1_2_1_29_1","unstructured":"Terese 2003. Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science 55 Cambridge University Press Cambridge UK.  Terese 2003. Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science 55 Cambridge University Press Cambridge UK."},{"key":"e_1_2_1_30_1","first-page":"317","volume-title":"Eds","author":"Tucker J. V."},{"key":"e_1_2_1_31_1","first-page":"234","volume-title":"Eds. Lecture Notes in Logic","volume":"15","author":"Tucker J. V."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024922.1024924"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2003.10.001"},{"key":"e_1_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Wechler W. 1992. Universal algebra for computer scientists. EATCS Monographs in Computer Science. Springer-Verlag New York.  Wechler W. 1992. Universal algebra for computer scientists. EATCS Monographs in Computer Science. Springer-Verlag New York.","DOI":"10.1007\/978-3-642-76771-5"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01939551"},{"key":"e_1_2_1_36_1","first-page":"675","volume-title":"Amsterdam, The Netherland","author":"Wirsing M.","year":"1990"}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1219092.1219095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1219092.1219095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:42Z","timestamp":1750278162000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1219092.1219095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,4]]}},"alternative-id":["10.1145\/1219092.1219095"],"URL":"https:\/\/doi.org\/10.1145\/1219092.1219095","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4]]},"assertion":[{"value":"2007-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}