Mizar B

GPTKB entity