Mizar A

GPTKB entity