Robinson arithmetic

GPTKB entity