Hilbert's tenth problem is of unification type zero
scientific article; zbMATH DE number 444939