Davis–Putnam–Robinson–Matiyasevich theorem

GPTKB entity