{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T18:01:25Z","timestamp":1726077685994},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030408138"},{"type":"electronic","value":"9783030408145"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-40814-5_8","type":"book-chapter","created":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T13:02:55Z","timestamp":1585054975000},"page":"65-70","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reverse Mathematics Is Computable for Interval Computations"],"prefix":"10.1007","author":[{"given":"Martine","family":"Ceberio","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":[[2020,3,25]]},"reference":[{"key":"8_CR1","volume-title":"Foundations of Constructive Analysis","author":"E Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"8_CR2","doi-asserted-by":"publisher","DOI":"10.1201\/b10690","volume-title":"Fundamentals of Mathematical Logic","author":"P Hinman","year":"2005","unstructured":"Hinman, P.: Fundamentals of Mathematical Logic. A. K. Peters, Natick, Massachusetts (2005)"},{"key":"8_CR3","volume-title":"Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control, and Robotics","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kiefer, M., Didrit, O., Walter, E.: Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control, and Robotics. Springer, London (2001)"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1515\/9783110499469","volume-title":"Interval Analysis and Automatic Result Verification","author":"G Mayer","year":"2017","unstructured":"Mayer, G.: Interval Analysis and Automatic Result Verification. de Gruyter, Berlin (2017)"},{"key":"8_CR5","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to Interval Analysis","author":"RE Moore","year":"2009","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)"},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvc772m5","volume-title":"Reverse Mathematics: Proofs from the Inside Out","author":"J Stillwell","year":"2018","unstructured":"Stillwell, J.: Reverse Mathematics: Proofs from the Inside Out. Princeton University Press, Princeton, New Jersey (2018)"},{"key":"8_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"}],"container-title":["Studies in Systems, Decision and Control","Decision Making under Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-40814-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T13:16:17Z","timestamp":1585055777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40814-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030408138","9783030408145"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40814-5_8","relation":{},"ISSN":["2198-4182","2198-4190"],"issn-type":[{"type":"print","value":"2198-4182"},{"type":"electronic","value":"2198-4190"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"25 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}