Wang B-machine

GPTKB entity