Disambiguation evidence for Halting problem via surface form

"Halting problem"

Triples (2)

Triples where some other subject referred to this entity as "Halting problem".

Church–Turing thesis → relatesToConcept →
"Halting problem"
↳ resolves to Halting problem
ⓘ
Rice's theorem → relatedTo →
"Halting problem"
↳ resolves to Halting problem
ⓘ