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:Dirichlet's_theorem
gptkb:Metamath_set.mm gptkb:Tychonoff's_theorem
gptkb:fundamental_theorem_of_algebra real analysis
gptkb:the_fundamental_theorem_of_algebra gptkb:algebra
gptkb:Metamath_set.mm gptkb:Minkowski's_inequality
gptkb:Metamath_set.mm gptkb:Monotone_convergence_theorem
gptkb:Metamath_set.mm gptkb:Chinese_remainder_theorem
gptkb:Metamath_set.mm gptkb:Fermat's_little_theorem
gptkb:Law_of_quadratic_reciprocity gptkb:Leonhard_Euler
gptkb:Metamath_set.mm gptkb:Riemann_mapping_theorem
gptkb:Fundamental_Theorem_of_Algebra complex analysis
gptkb:Metamath_set.mm gptkb:Brouwer_fixed-point_theorem
gptkb:Section_1956:_Money_Laundering knowledge of unlawful source
gptkb:Metamath_set.mm gptkb:Baire_category_theorem
gptkb:Proofs_from_THE_BOOK theorems from graph theory
gptkb:Metamath_set.mm gptkb:Riesz_representation_theorem
gptkb:Metamath_set.mm gptkb:Banach–Tarski_paradox
gptkb:quadratic_reciprocity_law gptkb:Carl_Friedrich_Gauss
gptkb:Proofs_from_THE_BOOK theorems from number theory
gptkb:Metamath_set.mm gptkb:Zorn's_lemma