{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:42:45Z","timestamp":1743064965839,"version":"3.40.3"},"publisher-location":"Cham","reference-count":5,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031363931"},{"type":"electronic","value":"9783031363948"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-36394-8_24","type":"book-chapter","created":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T16:02:46Z","timestamp":1695052966000},"page":"135-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Why Some Theoretically Possible Representations of Natural Numbers Were Historically Used and Some Were Not: An Algorithm-Based Explanation"],"prefix":"10.1007","author":[{"given":"Christian","family":"Servin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Kosheleva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladik","family":"Kreinovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,19]]},"reference":[{"issue":"4","key":"24_CR1","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.2307\/2275643","volume":"62","author":"A B\u00e9s","year":"1997","unstructured":"A. B\u00e9s, Undecidable extensions of B\u00fcchi arithmetic and Cobham-Sem\u00ebnov theorem. J. Symb. Logic 62(4), 1280\u20131296 (1997)","journal-title":"J. Symb. Logic"},{"key":"24_CR2","volume-title":"History of Mathematics","author":"CB Boyer","year":"2011","unstructured":"C.B. Boyer, U.C. Merzbach, History of Mathematics (Wiley, Hoboken, New Jersey, 2011)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"P. Hieronymi, C. Schulz, A strong version of Cobham\u2019s theorem (2021). arXiv:2110.11858","DOI":"10.1145\/3519935.3519958"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"A.L. Semenov, Logical theories of one-place functions on the set of natural numbers. Izvestiya: Math. 22(3), 587\u2013618 (1984)","DOI":"10.1070\/IM1984v022n03ABEH001456"},{"issue":"2","key":"24_CR5","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0304-3975(92)90256-F","volume":"106","author":"R Villemaire","year":"1992","unstructured":"R. Villemaire, The theory of $$\\langle N, +, V_k, V_l\\rangle $$ is undecidable. Theor. Comput. Sci. 106(2), 337\u2013349 (1992)","journal-title":"Theor. Comput. Sci."}],"container-title":["Studies in Systems, Decision and Control","Uncertainty, Constraints, and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36394-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T16:09:16Z","timestamp":1695053356000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36394-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031363931","9783031363948"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36394-8_24","relation":{},"ISSN":["2198-4182","2198-4190"],"issn-type":[{"type":"print","value":"2198-4182"},{"type":"electronic","value":"2198-4190"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}