{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T04:07:00Z","timestamp":1649218020514},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T00:00:00Z","timestamp":1511395200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11023-017-9453-2","type":"journal-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T08:30:55Z","timestamp":1511425855000},"page":"679-682","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas"],"prefix":"10.1007","volume":"27","author":[{"given":"Selmer","family":"Bringsjord","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,23]]},"reference":[{"issue":"1","key":"9453_CR1","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1093\/analys\/45.1.64","volume":"45","author":"S Bringsjord","year":"1985","unstructured":"Bringsjord, S. (1985). Are there set-theoretic worlds? Analysis, 45(1), 64.","journal-title":"Analysis"},{"key":"9453_CR2","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K. (1949). An example of a new type of cosmological solutions of Einstein\u2019s field equations of gravitation. Reviews of Modern Physics 21, 447\u2013450. This paper is reprinted in Feferman et al. (Eds.), Kurt G\u00f6del Collected Works, Vol. II. Oxford, UK: Oxford University Press 1990.","DOI":"10.1103\/RevModPhys.21.447"},{"key":"9453_CR3","doi-asserted-by":"crossref","DOI":"10.1201\/b10581","volume-title":"Games, Puzzles, & Computation","author":"R Hearn","year":"2009","unstructured":"Hearn, R., & Demaine, E. (2009). Games, Puzzles, & Computation. Wellesley, MA: A K Peters."},{"key":"9453_CR4","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF00354491","volume":"84","author":"B Linsky","year":"1996","unstructured":"Linsky, B., & Zalta, E. (1996). In defense of the contingently nonconcrete. Philosophical Studies, 84, 283\u2013294.","journal-title":"Philosophical Studies"},{"issue":"3","key":"9453_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.2307\/2269031","volume":"1","author":"E Post","year":"1936","unstructured":"Post, E. (1936). Finite combinatory processes\u2014formulation 1. Journal of Symbolic Logic, 1(3), 103\u2013105.","journal-title":"Journal of Symbolic Logic"},{"key":"9453_CR6","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"AM Turing","year":"1937","unstructured":"Turing, A. M. (1937). On computable numbers with applications to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42, 230\u2013265.","journal-title":"Proceedings of the London Mathematical Society"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-017-9453-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9453-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9453-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T17:28:00Z","timestamp":1570382880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-017-9453-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,23]]},"references-count":6,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9453"],"URL":"https:\/\/doi.org\/10.1007\/s11023-017-9453-2","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,23]]}}}