Disambiguation evidence for Rice's theorem via surface form

"undecidability theorem"

Triples (1)

Triples where some other subject referred to this entity as "undecidability theorem".

Rice's theorem → typeOf →
"undecidability theorem"
↳ resolves to Rice's theorem
ⓘ