is a theorem that can be applied to
6
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Koebe's_circle_packing_theorem | various mathematical problems |
| gptkb:Koebe's_one-quarter_theorem | various mathematical problems. |
| gptkb:Rice's_theorem | database query languages |
| gptkb:Hilbert's_completeness_theorem | uncountable languages |
| gptkb:Fermat's_little_theorem | computational problems in number theory |
| gptkb:Pascal's_Theorem | various geometric configurations |