| MMPH | McKay–Megill–Pavičić hypergraph (Definition 1) |
| NBMMPH | Non-binary McKay–Megill–Pavičić hypergraph (Definition 2) |
| BMMPH | Binary McKay–Megill–Pavičić hypergraph (Definition 5) |
| KS | Kochen–Specker (Definition 3) |
| non-KS | Non-Kochen–Specker (Definition 4) |
| M1, M2, M3 | Methods 1,2,3 (Section 2.2) |