is a theorem that is foundational for
4
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Hilbert's_completeness_theorem | the study of formal languages |
| gptkb:Euler's_formula_for_polyhedra | graph theory studies |
| gptkb:Rice's_theorem | the study of algorithms |
| gptkb:Fermat's_little_theorem | modern cryptographic systems |