Alternative names (10)
hasImplication • hasImplicationFor • hasImplicationsFor • implica • implicates • implication • implied • impliedBy • impliesExistenceOf • implyRandom triples
| Subject | Object |
|---|---|
| gptkb:Earth_twin | Venus has similar physical characteristics to Earth |
| gptkb:Complete_Enlightenment | end of suffering |
| gptkb:Axiom_of_empty_set | Empty set |
| gptkb:The_Banach–Tarski_Paradox | non-measurable sets exist |
| gptkb:Aguinaldo_de_los_Reyes_Magos | regalos |
| gptkb:Beilinson–Lichtenbaum_conjecture | gptkb:Milnor_conjecture |
| gptkb:ravens_paradox | logic of scientific reasoning |
| gptkb:Post–Turing_machine_equivalence | any function computable by a Turing machine is computable by a Post machine |
| gptkb:Vector_space_isomorphism | The two vector spaces have the same dimension |
| gptkb:Serre's_theorem_on_GAGA | algebraic and analytic vector bundles are equivalent on projective complex varieties |
| gptkb:The_2nd_Law:_Isolated_System | irreversibility of natural processes |
| gptkb:Reeb_stability_theorem | local stability of compact leaves with finite holonomy |
| gptkb:Generalized_Continuum_Hypothesis | gptkb:Continuum_Hypothesis |
| gptkb:k-tuple_conjecture | infinitude of prime triplets |
| gptkb:Gentzen's_cut-elimination_theorem | consistency of first-order arithmetic |
| gptkb:Morita_equivalence | the rings have equivalent representation theory |
| gptkb:twin_primes_conjecture | there are infinitely many pairs of primes differing by 2 |
| gptkb:Lieb–Robinson_bounds | existence of an effective light cone |
| gptkb:de_Rham_theorem | integration of differential forms determines cohomology classes |
| gptkb:Mr._All-Around | skill in multiple areas |