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:Metamath_set.mm gptkb:Fundamental_theorem_of_algebra
gptkb:Metamath_set.mm gptkb:Cayley's_theorem
gptkb:Fundamental_Theorem_of_Algebra real analysis
gptkb:Metamath_set.mm Krull's theorem
gptkb:Metamath_set.mm gptkb:Dirichlet's_theorem
gptkb:the_fundamental_theorem_of_algebra complex analysis
gptkb:Metamath_set.mm gptkb:Noether's_theorem
gptkb:Law_of_quadratic_reciprocity gptkb:Ernst_Eduard_Kummer
gptkb:Metamath_set.mm gptkb:Chebyshev's_inequality
gptkb:Chinese_remainder_theorem algebraic method
gptkb:Section_2381 levying war against the United States
gptkb:Metamath_set.mm gptkb:Lagrange's_theorem
gptkb:Metamath_set.mm gptkb:Bayes'_theorem
gptkb:Metamath_set.mm gptkb:Lebesgue's_dominated_convergence_theorem
gptkb:Quadratic_Reciprocity_Law gptkb:Adrien-Marie_Legendre
gptkb:Metamath_set.mm gptkb:Wilson's_theorem
gptkb:law_of_quadratic_reciprocity gptkb:Ernst_Eduard_Kummer
gptkb:Metamath_set.mm gptkb:Poincaré_lemma
gptkb:Metamath_set.mm gptkb:Central_limit_theorem
gptkb:Metamath_set.mm gptkb:Brouwer_fixed-point_theorem
Please wait…