{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T11:18:21Z","timestamp":1758280701993},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"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":["New Gener. Comput."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s00354-016-0202-5","type":"journal-article","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T10:26:54Z","timestamp":1457000814000},"page":"3-23","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Kochen-Specker System Has at Least 22 Vectors"],"prefix":"10.1007","volume":"34","author":[{"given":"Sander","family":"Uijlen","sequence":"first","affiliation":[]},{"given":"Bas","family":"Westerbaan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"key":"202_CR1","unstructured":"Arends, F., \u201cA lower bound on the size of the smallest kochen-specker vector system in three dimensions,\u201d Master\u2019s thesis, University of Oxford, 2009. http:\/\/www.cs.ox.ac.uk\/people\/joel.ouaknine\/download\/arends09.pdf ."},{"key":"202_CR2","doi-asserted-by":"crossref","unstructured":"Arends, F., Ouaknine, J. and Wampler, C. W., \u201cOn searching for small kochen-specker vector systems,\u201d in Proc of the 37th international conference on Graph-Theoretic Concepts in Computer Science, pp. 23\u201334, Springer-Verlag, 2011.","DOI":"10.1007\/978-3-642-25870-1_4"},{"issue":"18","key":"202_CR3","doi-asserted-by":"crossref","first-page":"2813","DOI":"10.1142\/S0217751X00002020","volume":"15","author":"A. Cabello","year":"2000","unstructured":"Cabello A.: \u201cKochen-specker theorem and experimental test on hidden variables,\u201d. International Journal of Modern Physics A 15(18), 2813\u20132820 (2000)","journal-title":"International Journal of Modern Physics A"},{"key":"202_CR4","doi-asserted-by":"crossref","unstructured":"Collins, G. E., \u201cQuantifier elimination for real closed fields by cylindrical algebraic decomposition,\u201d in Quantifier elimination and cylindrical algebraic decomposition, pp. 85\u2013121 Springer, 1998.","DOI":"10.1007\/978-3-7091-9459-1_4"},{"issue":"2","key":"202_CR5","first-page":"226","volume":"56","author":"H. Conway J.","year":"2009","unstructured":"Conway J. H., Kochen S.: \u201cThe strong free will theorem,\u201d. Notices of the AMS, 56(2), 226\u2013232 (2009)","journal-title":"Notices of the AMS"},{"issue":"2","key":"202_CR6","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann A., Sturm T.: \u201cRedlog: Computer algebra meets computer logic,\u201d. Acm Sigsam Bulletin 31(2), 2\u20139 (1997)","journal-title":"Acm Sigsam Bulletin"},{"key":"202_CR7","doi-asserted-by":"crossref","unstructured":"Kochen, S. and Specker, E. P., \u201cThe problem of hidden variables in quantum mechanics,\u201d in The Logico-Algebraic Approach to Quantum Mechanics, pp. 293\u2013328, Springer, 1975.","DOI":"10.1007\/978-94-010-1795-4_17"},{"issue":"2","key":"202_CR8","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1006\/jagm.1997.0898","volume":"26","author":"D. McKay B.","year":"1998","unstructured":"McKay B. D.: \u201cIsomorph-free exhaustive generation,\u201d. Journal of Algorithms 26(2), 306\u2013324 (1998)","journal-title":"Journal of Algorithms"},{"key":"202_CR9","unstructured":"Ouaknine, J., personal communication. Attended such a lecture of Conway at the Oxford Mathematical Institute in 2005."},{"issue":"7","key":"202_CR10","doi-asserted-by":"crossref","first-page":"1577","DOI":"10.1088\/0305-4470\/38\/7\/013","volume":"38","author":"M. Pavi\u010d\u0107","year":"2005","unstructured":"Pavi\u010d\u0107 M., Merlet J-P., McKay B., Megill N. D.: \u201cKochen-specker vectors,\u201d. Journal of Physics A: Mathematical and General 38(7), 1577\u20131592 (2005)","journal-title":"Journal of Physics A: Mathematical and General"},{"key":"202_CR11","doi-asserted-by":"crossref","unstructured":"Peres, A., \u201cTwo simple proofs of the kochen-specker theorem,\u201d Journal of Physics A: Mathematical and General 24, 4, L175, 1991.","DOI":"10.1088\/0305-4470\/24\/4\/003"},{"key":"202_CR12","doi-asserted-by":"crossref","unstructured":"Peres, A., Quantum theory: concepts and methods, Springer, 1995.","DOI":"10.1119\/1.17946"},{"key":"202_CR13","unstructured":"Sloane, N. J. A., The On-Line Encyclopedia of Integer Sequences, http:\/\/oeis.org\/A000088 (Number of graphs on n unlabeled nodes.)."},{"key":"202_CR14","unstructured":"Sloane, N. J. A., The On-Line Encyclopedia of Integer Sequences, http:\/\/oeis.org\/A006786 (Squarefree graphs on n vertices.)."},{"key":"202_CR15","doi-asserted-by":"crossref","unstructured":"Tarski, A., \u201cA decision method for elementary algebra and geometry,\u201d RAND report R-109, RAND Corp., Santa Monica, CA.","DOI":"10.1007\/978-3-7091-9459-1_3"},{"key":"202_CR16","unstructured":"Uijlen, S. and Westerbaan, B., Code and data for \u201ca kochen-specker system has at least 22 vectors,\u201d https:\/\/github.com\/bwesterb\/ks"},{"key":"202_CR17","doi-asserted-by":"crossref","unstructured":"Uijlen, S. and Westerbaan, B., \u201cA kochen-specker system has at least 22 vectors (extended abstract),\u201d in Proc. of the 11th workshop on Quantum Physics and Logic, 172, pp. 154\u2013164, 2014.","DOI":"10.4204\/EPTCS.172.11"},{"key":"202_CR18","unstructured":"Weisstein, E. W., Square-free graph, http:\/\/mathworld.wolfram.com\/Square-FreeGraph.html (Last visited on may 6th 2014.)."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-016-0202-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-016-0202-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-016-0202-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T02:23:52Z","timestamp":1567650232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-016-0202-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":18,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["202"],"URL":"https:\/\/doi.org\/10.1007\/s00354-016-0202-5","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}