Disambiguation evidence for Entscheidungsproblem via surface form
"Church’s theorem on the undecidability of first-order logic"
Triples (1)
Triples where some other subject referred to this entity
as "Church’s theorem on the undecidability of first-order logic".
Alonzo Church
→
notableWork
→
"Church’s theorem on the undecidability of first-order logic"
ⓘ
↳ resolves to Entscheidungsproblem