hasProofsOf

URI: https://gptkb.org/prop/hasProofsOf
135 triples
GPTKB property
Alternative names (6)
containsProofsOf • hasPartialProofs • hasProofBy • hasProofsBy • hasProofsIn • requiresProofOf
Random triples
Subject Object
gptkb:the_fundamental_theorem_of_algebra gptkb:algebra
gptkb:Law_of_quadratic_reciprocity gptkb:Adrien-Marie_Legendre
gptkb:Homological_mirror_symmetry_conjecture elliptic curves
gptkb:Fundamental_Theorem_of_Algebra gptkb:topology
gptkb:Section_1956:_Money_Laundering intent to conceal or disguise proceeds
gptkb:Quadratic_Reciprocity_Law gptkb:Adrien-Marie_Legendre
gptkb:Metamath_set.mm gptkb:Jensen's_inequality
gptkb:Law_of_quadratic_reciprocity gptkb:Leonhard_Euler
gptkb:Metamath_set.mm gptkb:Chebyshev's_inequality
gptkb:fundamental_theorem_of_algebra gptkb:algebra
gptkb:Metamath_set.mm gptkb:Lagrange's_theorem
gptkb:Jordan_curve_theorem gptkb:L._E._J._Brouwer
gptkb:quadratic_reciprocity_law gptkb:Ernst_Eduard_Kummer
gptkb:Metamath_set.mm Krull's theorem
gptkb:Metamath_set.mm gptkb:Pythagorean_theorem
gptkb:Metamath_set.mm gptkb:Tonelli's_theorem
gptkb:quadratic_reciprocity_law gptkb:Adrien-Marie_Legendre
gptkb:Metamath_set.mm gptkb:Kolmogorov's_zero–one_law
gptkb:Metamath_set.mm gptkb:Fundamental_theorem_of_algebra
gptkb:Proofs_from_THE_BOOK theorems from combinatorics
Please wait…