Hilbert basis theorem

GPTKB entity