Disambiguation evidence for Halting problem via surface form
"halting problem (under suitable reductions)"
Triples (1)
Triples where some other subject referred to this entity
as "halting problem (under suitable reductions)".
NP-hardness
→
exampleProblem
→
"halting problem (under suitable reductions)"
ⓘ
↳ resolves to Halting problem