Disambiguation evidence for Entscheidungsproblem via surface form

"Church’s theorem on the undecidability of first-order logic"

As object (1)

Triples where some other subject referred to this entity as "Church’s theorem on the undecidability of first-order logic".