Hilbert's tenth problem

GPTKB entity