Alternative names (10)
hasImplication • hasImplicationFor • hasImplicationsFor • implica • implicates • implication • implied • impliedBy • impliesExistenceOf • implyRandom triples
| Subject | Object |
|---|---|
| gptkb:Taniyama–Shimura_conjecture | gptkb:Fermat's_Last_Theorem |
| gptkb:The_moving_lemma_for_higher_Chow_groups | homotopy invariance of higher Chow groups |
| gptkb:axiverse | fundamental physics |
| gptkb:Co-Redemptrix | Mary's participation in redemption |
| gptkb:many-one_reduction | if B is recursively enumerable, then A is recursively enumerable |
| gptkb:Thales'_theorem | angle in a semicircle is a right angle |
| gptkb:Sarnak_conjecture | connections between number theory and ergodic theory |
| gptkb:Yau's_theorem | existence of Ricci-flat Kähler metrics |
| gptkb:English_as_an_International_Language | linguistic diversity |
| gptkb:Walrasian_equilibrium | market clearing |
| gptkb:Vivarta_(apparent_transformation) | world is an illusion (Maya) |
| gptkb:Hermite–Lindemann_theorem | e is transcendental |
| gptkb:Bonnet–Myers_theorem | compactness of manifold under positive Ricci curvature |
| gptkb:no_free_lunch_theorem | Algorithm performance is problem-dependent. |
| gptkb:Adams'_theorem | classification of real division algebras |
| gptkb:cut-elimination_theorem | consistency of arithmetic |
| gptkb:Vulnerable_(Congo_Peafowl) | high risk of endangerment in the wild |
| gptkb:property_(T) | fixed point property for affine isometric actions on Hilbert spaces |
| gptkb:Mutual_Possession_of_the_Ten_Realms | potential for Buddhahood in all beings |
| gptkb:Multiverse | String landscape |