is a foundational result in
5
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Ellis–van_der_Waerden_theorem | combinatorial theory |
| gptkb:Gödel's_second_incompleteness_theorem | philosophy of mathematics |
| gptkb:Wallis_product_for_π | gptkb:Mathematics |
| gptkb:Poincaré_conjecture | topological studies |
| gptkb:Cook's_theorem | computational complexity theory |