{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T14:29:08Z","timestamp":1769696948332,"version":"3.49.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T00:00:00Z","timestamp":1735776000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T00:00:00Z","timestamp":1735776000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["11871083"],"award-info":[{"award-number":["11871083"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["11871083"],"award-info":[{"award-number":["11871083"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["11871083"],"award-info":[{"award-number":["11871083"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["11871083"],"award-info":[{"award-number":["11871083"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["11871083"],"award-info":[{"award-number":["11871083"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFE0204200"],"award-info":[{"award-number":["2020YFE0204200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFE0204200"],"award-info":[{"award-number":["2020YFE0204200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFE0204200"],"award-info":[{"award-number":["2020YFE0204200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFE0204200"],"award-info":[{"award-number":["2020YFE0204200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFE0204200"],"award-info":[{"award-number":["2020YFE0204200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"DOI":"10.1007\/s11128-024-04632-2","type":"journal-article","created":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T08:21:23Z","timestamp":1735806083000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Atom graph, partial Boolean algebra and quantum contextuality"],"prefix":"10.1007","volume":"24","author":[{"given":"Songyi","family":"Liu","sequence":"first","affiliation":[]},{"given":"Yongjun","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Baoshan","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Yan","sequence":"additional","affiliation":[]},{"given":"Heng","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,2]]},"reference":[{"key":"4632_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"JS Bell","year":"1964","unstructured":"Bell, J.S.: On the Einstein-Podolsky-Rosen paradox. Physics 1, 195\u2013200 (1964)","journal-title":"Physics"},{"key":"4632_CR2","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BF02058098","volume":"24","author":"S Popescu","year":"1994","unstructured":"Popescu, S., Rohrlich, D.: Quantum nonlocality as an axiom. Found. Physic 24, 379\u2013385 (1994)","journal-title":"Found. Physic"},{"key":"4632_CR3","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1111\/j.1749-6632.1986.tb12431.x","volume":"480","author":"WK Wootters","year":"1986","unstructured":"Wootters, W.K.: The discrete wigner function. Ann. New York Acad. Sci. 480, 275\u2013282 (1986)","journal-title":"Ann. New York Acad. Sci."},{"issue":"1","key":"4632_CR4","first-page":"59","volume":"17","author":"S Kochen","year":"1967","unstructured":"Kochen, S., Specker, E.P.: The problem of hidden variables in quantum mechanics. J. Math. Mech. 17(1), 59\u201387 (1967)","journal-title":"J. Math. Mech."},{"key":"4632_CR5","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.94.045007","volume":"94","author":"C Budroni","year":"2022","unstructured":"Budroni, C., Cabello, A., Guhne, O., Kleinmann, M., Larsson, J.-A.: Kochen-Specker contextuality. Rev. Mod. Phys. 94, 045007 (2022). https:\/\/doi.org\/10.1103\/RevModPhys.94.045007","journal-title":"Rev. Mod. Phys."},{"key":"4632_CR6","doi-asserted-by":"crossref","unstructured":"Howard, M., Wallman, J., Veitch, V., Emerson, J.: Contextuality supplies the \u2019magic\u2019 for quantum computation. Nature 510(Jun.19 TN.7505), pp. 351\u2013355 (2014)","DOI":"10.1038\/nature13460"},{"issue":"11","key":"4632_CR7","doi-asserted-by":"publisher","first-page":"2669","DOI":"10.1023\/A:1026680806775","volume":"37","author":"CJ Isham","year":"1998","unstructured":"Isham, C.J., Butterfield, J.: Topos perspective on the kochen-specker theorem: I. quantum states as generalized valuations. Int. J. Theor. Phys. 37(11), 2669\u20132734 (1998)","journal-title":"Int. J. Theor. Phys."},{"issue":"4","key":"4632_CR8","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s10485-011-9246-3","volume":"20","author":"B Van Den Berg","year":"2012","unstructured":"Van Den Berg, B., Heunen, C.: Noncommutativity as a colimit. Appl. Categ. Struct. 20(4), 393\u2013414 (2012)","journal-title":"Appl. Categ. Struct."},{"key":"4632_CR9","doi-asserted-by":"publisher","unstructured":"Abramsky, S., Barbosa, R.S.: The logic of contextuality. In: Baier, C., Goubault-Larrecq, J. (eds.) 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Leibniz International Proceedings in Informatics (LIPIcs), vol. 183, pp. 5\u20131518. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2021). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2021.5 . https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/LIPIcs.CSL.2021.5","DOI":"10.4230\/LIPIcs.CSL.2021.5"},{"key":"4632_CR10","unstructured":"Cabello, A., Severini, S., Winter, A.: (non-)contextuality of physical theories as an axiom (2010) arXiv:1010.2163 [quant-ph]"},{"key":"4632_CR11","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.112.040401","volume":"112","author":"A Cabello","year":"2014","unstructured":"Cabello, A., Severini, S., Winter, A.: Graph-theoretic approach to quantum correlations. Phys. Rev. Lett. 112, 040401 (2014). https:\/\/doi.org\/10.1103\/PhysRevLett.112.040401","journal-title":"Phys. Rev. Lett."},{"issue":"4","key":"4632_CR12","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., Neumann, J.V.: The logic of quantum mechanics. Ann. Math. 37(4), 823\u2013843 (1936). (Accessed 2023-04-01)","journal-title":"Ann. Math."},{"key":"4632_CR13","doi-asserted-by":"publisher","unstructured":"Doering, A.: Topos quantum logic and mixed states. Electronic Notes in Theoretical Computer Science 270(2), 59\u201377 (2011) https:\/\/doi.org\/10.1016\/j.entcs.2011.01.023 . In: Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009)","DOI":"10.1016\/j.entcs.2011.01.023"},{"key":"4632_CR14","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1103\/PhysRevLett.23.880","volume":"23","author":"JF Clauser","year":"1969","unstructured":"Clauser, J.F., Horne, M.A., Shimony, A., Holt, R.A.: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett. 23, 880\u2013884 (1969). https:\/\/doi.org\/10.1103\/PhysRevLett.23.880","journal-title":"Phys. Rev. Lett."},{"key":"4632_CR15","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.101.020403","volume":"101","author":"AA Klyachko","year":"2008","unstructured":"Klyachko, A.A., Can, M.A., Binicioglu, S., Shumovsky, A.S.: Simple test for hidden variables in spin-1 systems. Phys. Rev. Lett. 101, 020403 (2008). https:\/\/doi.org\/10.1103\/PhysRevLett.101.020403","journal-title":"Phys. Rev. Lett."},{"key":"4632_CR16","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/0095-8956(86)90087-0","volume":"40","author":"M Grotschel","year":"1986","unstructured":"Grotschel, M., Lov\u00e1sz, L., Schrijver, A.: Relaxations of vertex packing. J. Comb. Theory Ser. B 40, 330\u2013343 (1986)","journal-title":"J. Comb. Theory Ser. B"},{"key":"4632_CR17","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/11\/113036","volume":"13","author":"S Abramsky","year":"2011","unstructured":"Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys. 13, 113036 (2011)","journal-title":"New J. Phys."},{"issue":"4","key":"4632_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0375-9601(96)00134-X","volume":"212","author":"A Cabello","year":"1996","unstructured":"Cabello, A., Estebaranz, J., Garc\u00eda-Alcaine, G.: Bell-Kochen-Specker theorem: a proof with 18 vectors. Phys. Lett. A 212(4), 183\u2013187 (1996). https:\/\/doi.org\/10.1016\/0375-9601(96)00134-X","journal-title":"Phys. Lett. A"},{"key":"4632_CR19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.050401","volume":"103","author":"P Badziag","year":"2009","unstructured":"Badziag, P., Bengtsson, I., Cabello, A., Pitowsky, I.: Universality of state-independent violation of correlation inequalities for noncontextual theories. Phys. Rev. Lett. 103, 050401 (2009). https:\/\/doi.org\/10.1103\/PhysRevLett.103.050401","journal-title":"Phys. Rev. Lett."}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-024-04632-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11128-024-04632-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-024-04632-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T04:18:34Z","timestamp":1737605914000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11128-024-04632-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,2]]},"references-count":19,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,1]]}},"alternative-id":["4632"],"URL":"https:\/\/doi.org\/10.1007\/s11128-024-04632-2","relation":{},"ISSN":["1573-1332"],"issn-type":[{"value":"1573-1332","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,2]]},"assertion":[{"value":"20 October 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 January 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"12"}}