{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T00:34:30Z","timestamp":1648514070427},"reference-count":11,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.172.11","type":"journal-article","created":{"date-parts":[[2014,12,27]],"date-time":"2014-12-27T21:38:40Z","timestamp":1419716320000},"page":"154-164","source":"Crossref","is-referenced-by-count":1,"title":["A Kochen-Specker system has at least 22 vectors (extended abstract)"],"prefix":"10.4204","volume":"172","author":[{"given":"Sander","family":"Uijlen","sequence":"first","affiliation":[{"name":"Radboud Universiteit"}]},{"given":"Bas","family":"Westerbaan","sequence":"additional","affiliation":[{"name":"Radboud Universiteit"}]}],"member":"2720","published-online":{"date-parts":[[2014,12,28]]},"reference":[{"key":"a09","volume-title":"A Lower Bound on the Size of the Smallest Kochen-Specker Vector System in Three Dimensions","author":"Arends","year":"2009"},{"key":"aow11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-25870-1_4","article-title":"On searching for Small Kochen-Specker Vector Systems","volume-title":"Proceedings of the 37th international conference on Graph-Theoretic Concepts in Computer Science","author":"Arends","year":"2011"},{"issue":"18","key":"c00","doi-asserted-by":"publisher","first-page":"2813","DOI":"10.1016\/S0217-751X(00)00202-9","article-title":"Kochen\u2013Specker theorem and experimental test on hidden variables","volume":"15","author":"Cabello","year":"2000","journal-title":"International Journal of Modern Physics A"},{"key":"qecad","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-7091-9459-1_2","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","volume-title":"Quantifier elimination and cylindrical algebraic decomposition","author":"Collins","year":"1998"},{"issue":"2","key":"ck09","first-page":"226","article-title":"The strong free will theorem","volume":"56","author":"Conway","year":"2009","journal-title":"Notices of the AMS"},{"issue":"2","key":"redlog","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","article-title":"Redlog: Computer algebra meets computer logic","volume":"31","author":"Dolzmann","year":"1997","journal-title":"Acm Sigsam Bulletin"},{"key":"ks","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-94-010-1795-4_17","article-title":"The problem of hidden variables in quantum mechanics","volume-title":"The Logico-Algebraic Approach to Quantum Mechanics","author":"Kochen","year":"1975"},{"issue":"2","key":"geng","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1006\/jagm.1997.0898","article-title":"Isomorph-free exhaustive generation","volume":"26","author":"McKay","year":"1998","journal-title":"Journal of Algorithms"},{"issue":"4","key":"peres","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/24\/4\/003","article-title":"Two simple proofs of the Kochen-Specker theorem","volume":"24","author":"Peres","year":"1991","journal-title":"Journal of Physics A: Mathematical and General"},{"key":"qtcm","volume-title":"Quantum theory: concepts and methods","volume":"57","author":"Peres","year":"1995"},{"key":"tarski","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9459-1_3","volume-title":"A decision method for elementary algebra and geometry","author":"Tarski","year":"1998"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:45:48Z","timestamp":1498171548000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1412.8544v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,28]]},"references-count":11,"URL":"https:\/\/doi.org\/10.4204\/eptcs.172.11","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,28]]}}}