Supplemental reading, with much more detail about his work (and with 'Turing' spelled properly):
<a href="https://logicprogramming.org/2023/01/in-memoriam-martin-davis/" rel="nofollow">https://logicprogramming.org/2023/01/in-memoriam-martin-davi...</a>