implies

URI: https://gptkb.org/prop/implies
1,708 triples
GPTKB property
Alternative names (10)
hasImplication • hasImplicationFor • hasImplicationsFor • implica • implicates • implication • implied • impliedBy • impliesExistenceOf • imply
Random triples
Subject Object
gptkb:Euler's_theorem_in_thermodynamics U = TS - pV + μN (for internal energy U)
gptkb:Farrell–Jones_conjecture gptkb:Borel_conjecture
gptkb:spin_statistics_theorem fermions obey Fermi-Dirac statistics
gptkb:Deal_with_the_Devil trading one's soul for worldly gain
gptkb:Liouville's_theorem_(complex_analysis) gptkb:the_fundamental_theorem_of_algebra
gptkb:Multiverse gptkb:Epistemology
gptkb:Roman_Catholic_(nominal) lack of active religious practice
gptkb:Vulnerable_(Congo_Peafowl) high risk of endangerment in the wild
gptkb:Hölder_Continuity Uniform continuity
gptkb:Tate's_vanishing_theorem cohomology vanishing in high degrees
gptkb:P_vs_NP_problem gptkb:complexity_theory
gptkb:Elliott–Halberstam_conjecture improvements to bounded gaps between primes
gptkb:Lichtenbaum-Quillen_conjecture description of algebraic K-groups in terms of étale cohomology
gptkb:Free_World free elections
gptkb:Grand_Riemann_hypothesis gptkb:Generalized_Riemann_hypothesis
gptkb:Daughters_of_God Spiritual equality with men
gptkb:Generalized_Riemann_Hypothesis gptkb:Extended_Riemann_Hypothesis
gptkb:Lorentz_invariance no preferred inertial frame
gptkb:Serre's_GAGA_theorem algebraic and analytic cohomology groups are isomorphic for projective varieties
gptkb:Kazhdan–Margulis_theorem discrete subgroups of Lie groups are not too dense
Please wait…