scientific article; zbMATH DE number 3424007
From MaRDI portal
Publication:5686029
zbMath0269.02018MaRDI QIDQ5686029
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Applications of computability and recursion theory (03D80) Diophantine equations (11D99)
Related Items (4)
The quest for Diophantine finite-fold-ness ⋮ Unsolvable Diophantine Problems ⋮ A Story of Hilbert’s Tenth Problem ⋮ Unnamed Item
This page was built for publication: