TY - RPRT TI - A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality AU - Xiao-Dong Yu AU - Yan-Qing Guo AU - D. M. Tong PY - 2015 DO - 10.1088/1367-2630/17/9/093001 UR - https://arxiv.org/abs/1505.02603 ID - 1505.02603 ER -