implies

1,708 triples

GPTKB property

hasImplication • hasImplicationFor • hasImplicationsFor • implica • implicates • implication • implied • impliedBy • impliesExistenceOf • imply

Subject	Object
gptkb:Schinzel's_hypothesis	Infinitude of Sophie Germain primes (for certain polynomials)
gptkb:the_Big_Bang	universe was once in a hot, dense state
gptkb:Castelnuovo's_rationality_criterion	classification of rational surfaces
gptkb:Serre's_GAGA_theorem	algebraic and analytic cohomology groups are isomorphic for projective varieties
gptkb:Einstein's_mass-energy_equivalence	mass can be converted to energy
gptkb:Spin-Statistics_Theorem	fermions obey Fermi-Dirac statistics
gptkb:IP_=_PSPACE_theorem	TQBF is in IP
gptkb:Parallel_Universes	possibility of different outcomes
gptkb:Dickson's_conjecture	infinitely many twin primes
gptkb:Parikh's_theorem	context-free languages and regular languages have the same Parikh images
gptkb:Hadamard's_theorem_(number_theory)	gptkb:Prime_Number_Theorem
gptkb:Baum–Connes_conjecture	gptkb:Novikov_conjecture
gptkb:Serre's_vanishing_theorem	cohomology groups vanish for large twists
gptkb:Faltings's_theorem	gptkb:Mordell_conjecture
gptkb:Mahlo_cardinal	inaccessible cardinal
gptkb:Euler's_equation_(complex_analysis)	e^{i\pi} + 1 = 0
gptkb:fundamental_theorem_of_calculus,_part_2	definite integral can be computed using antiderivatives
gptkb:Goldbach's_strong_conjecture	every even number greater than 2 is the sum of two primes
gptkb:Kakeya_conjecture	restriction conjecture
gptkb:Lawvere_fixed-point_theorem	gptkb:Cantor's_diagonal_argument