is a theorem that is often referenced in
4
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Hilbert's_completeness_theorem | academic papers on logic |
| gptkb:Fermat's_little_theorem | academic papers on number theory |
| gptkb:Euler's_formula_for_polyhedra | mathematical textbooks |
| gptkb:Rice's_theorem | discussions about computational limits |