is a theorem that is essential for

URI: https://gptkb.org/prop/is_a_theorem_that_is_essential_for
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Rice's_theorem understanding computational theory
gptkb:Euler's_formula_for_polyhedra mathematical proofs