implies

1,726 triples
GPTKB property

Alternative names (10)
hasImplication hasImplicationFor hasImplicationsFor implica implicates implication implied impliedBy impliesExistenceOf imply

Random triples
Subject Object
gptkb:AAA_(video_game_industry) significant financial investment
gptkb:Quantum_nonlocality Correlations stronger than classical physics
gptkb:quantum_PCP_theorem quantum error correction
gptkb:Grand_Riemann_hypothesis gptkb:Generalized_Riemann_hypothesis
gptkb:Blackpill determinism
gptkb:Lorentz_transformation relativity of simultaneity
gptkb:T6_separation_axiom gptkb:T5_separation_axiom
gptkb:weak_Goldbach_conjecture every odd number greater than 7 is the sum of three odd primes
gptkb:Vector_space_isomorphism The two vector spaces are structurally identical
gptkb:Poincaré_recurrence_theorem almost every point returns arbitrarily close to its initial position
gptkb:Post–Turing_machine_equivalence any function computable by a Turing machine is computable by a Post machine
gptkb:Galilean_invariance No preferred inertial frame
gptkb:Liouville's_theorem_(Hamiltonian_mechanics) conservation of phase-space volume
gptkb:Penrose_singularity_theorem existence of spacetime singularities
gptkb:Gabriel's_theorem classification of indecomposable representations by positive roots of Dynkin diagrams
gptkb:subtle_cardinal_axiom existence of subtle cardinals
gptkb:GINO_(Godzilla_In_Name_Only) not true Godzilla
gptkb:Axiom_of_pairing Existence of unordered pairs
gptkb:Heisenberg_Uncertainty_Principle fundamental limit to measurement
gptkb:cellular_approximation_theorem cellular maps suffice for homotopy classification