The DPRM Theorem in Isabelle (Short Paper). (Q5875447)
From MaRDI portal
scientific article; zbMATH DE number 7649982
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The DPRM Theorem in Isabelle (Short Paper). |
scientific article; zbMATH DE number 7649982 |
Statements
3 February 2023
0 references
DPRM theorem
0 references
Hilbert's tenth problem
0 references
Diophantine predicates
0 references
register machines
0 references
recursively enumerable sets
0 references
Isabelle
0 references
formal verification
0 references
The DPRM Theorem in Isabelle (Short Paper). (English)
0 references
