Disambiguation evidence for Martin Davis via surface form

"Martin Davis"

Triples (23)

Triples where some other subject referred to this entity as "Martin Davis".

Herbrand Award → notableRecipient →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Donald W. Loveland → hasAcademicAdvisor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Davis–Putnam algorithm → namedAfter →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Davis–Putnam algorithm → author →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
The Undecidable → editor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
The Undecidable → containsWorkBy →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
The Undecidable → editorialMaterialBy →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Computability and Unsolvability → author →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Computability and Unsolvability → hasAuthor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Engines of Logic → author →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Engines of Logic → hasAuthor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
The Universal Computer → author →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
The Universal Computer → hasContributor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Hilbert’s tenth problem → solvedBy →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Hilbert’s tenth problem → inspiredWorkBy →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Jack Schwartz → coAuthor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Jacob T. Schwartz → coAuthor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
A Computing Procedure for Quantification Theory → author →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Yuri Matiyasevich → collaboratedWith →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Julia Robinson → influenced →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Julia Robinson → coAuthor →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
Hilbert's tenth problem → solvedBy →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ
linked to: H10
Davis–Putnam–Robinson–Matiyasevich theorem → namedAfter →
"Martin Davis"
↳ resolves to Martin Davis
ⓘ