ProB

GPTKB entity