{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T17:00:38Z","timestamp":1756573238577,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851936"},{"type":"electronic","value":"9783540851943"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85194-3_1","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T06:21:05Z","timestamp":1219126865000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Quantum Experiments Can Test Mathematical Undecidability"],"prefix":"10.1007","author":[{"given":"\u010caslav","family":"Brukner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Barrow, J.D.: G\u00f6del and Physics. In: Horizons of Truth, Kurt G\u00f6del Centenary Meeting, Vienna, April 27-29 (2006) arXiv:physics\/0612253"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1007\/s10773-005-7081-8","volume":"44","author":"C.S. Calude","year":"2005","unstructured":"Calude, C.S., Stay, M.A.: Int. J. Theor. Phys.\u00a044, 1053\u20131065 (2005)","journal-title":"Int. J. Theor. Phys."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1016\/0375-9601(90)90408-G","volume":"143","author":"K. Svozil","year":"1990","unstructured":"Svozil, K.: Phys. Lett. A\u00a0143, 433\u2013437 (1990)","journal-title":"Phys. Lett. A"},{"key":"1_CR4","unstructured":"Calude, C.S., Svozil, K. (2006) arXiv:quant-ph\/0611029"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/BF02084159","volume":"21","author":"G.J. Chaitin","year":"1982","unstructured":"Chaitin, G.J.: Int. J. Theor. Phys.\u00a021, 941\u2013954 (1982)","journal-title":"Int. J. Theor. Phys."},{"key":"1_CR6","first-page":"1","volume":"35","author":"C.S. Calude","year":"2005","unstructured":"Calude, C.S., J\u00fcrgensen, H.: Appl. Math.\u00a035, 1\u201315 (2005)","journal-title":"Appl. Math."},{"key":"1_CR7","unstructured":"Paterek, T., Daki\u0107, B., Brukner, \u010c. (2008) arXiv:0804.2193"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/s00453-002-0980-7","volume":"34","author":"S. Bandyopadhyay","year":"2002","unstructured":"Bandyopadhyay, S., et al.: Algorithmica\u00a034, 512 (2002)","journal-title":"Algorithmica"},{"key":"1_CR9","first-page":"59","volume":"17","author":"S. Kochen","year":"1967","unstructured":"Kochen, S., Specker, E.P.: J. Math. Mech.\u00a017, 59 (1967)","journal-title":"J. Math. Mech."},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"J. Bell","year":"1964","unstructured":"Bell, J.: Physics\u00a01, 195 (1964)","journal-title":"Physics"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1023\/A:1018820410908","volume":"29","author":"A. Zeilinger","year":"1999","unstructured":"Zeilinger, A.: Found. Phys.\u00a029, 631\u2013643 (1999)","journal-title":"Found. Phys."},{"key":"1_CR12","unstructured":"Paterek, T., Prevedel, R., Kofler, J., Klimek, P., Aspelmeyer, M., Zeilinger, A., Brukner, \u010c. (submitted)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85194-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T04:04:07Z","timestamp":1715400247000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85194-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540851936","9783540851943"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85194-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}