Greenberger–Horne–Zeilinger theorem

GPTKB entity