Arithmetization of syntax

GPTKB entity