is a theorem that is crucial for

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Rice's_theorem understanding the nature of computation
gptkb:Euler's_formula_for_polyhedra gptkb:infrastructure