Disambiguation evidence for Rice's theorem via surface form

"Rice's theorem"

Triples (2)

Triples where some other subject referred to this entity as "Rice's theorem".

Halting problem → relatedTo →
"Rice's theorem"
↳ resolves to Rice's theorem
ⓘ
Computability Theory → fieldOfStudy →
"Rice's theorem"
↳ resolves to Rice's theorem
ⓘ