is a theorem that is often used to illustrate
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Rice's_theorem | the concept of undecidability |