GHZ theorem

GPTKB entity