TY - RPRT TI - Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem AU - Ravi Kunjwal PY - 2020 DO - 10.22331/q-2020-01-10-219 UR - https://arxiv.org/abs/1805.02083 ID - 1805.02083 ER -