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:Chinese_remainder_theorem
gptkb:Quadratic_Reciprocity_Law gptkb:Adrien-Marie_Legendre
gptkb:Section_2381 overt act witnessed by two people or confession in open court
gptkb:Metamath_set.mm gptkb:Zorn's_lemma
gptkb:fundamental_theorem_of_algebra gptkb:algebra
gptkb:Metamath_set.mm gptkb:Chebotarev_density_theorem
gptkb:Student_Art_Pass student status
gptkb:Section_186.22_(gang_enhancements) crime committed for the benefit of a gang
gptkb:Metamath_set.mm gptkb:Carathéodory's_extension_theorem
gptkb:Fundamental_Theorem_of_Algebra complex analysis
gptkb:Metamath_set.mm gptkb:Stone–Weierstrass_theorem
gptkb:Metamath_set.mm gptkb:Tonelli's_theorem
gptkb:Proofs_from_THE_BOOK theorems from combinatorics
gptkb:law_of_quadratic_reciprocity gptkb:David_Hilbert
gptkb:Quadratic_Reciprocity_Law gptkb:Carl_Friedrich_Gauss
gptkb:Jordan_curve_theorem gptkb:Camille_Jordan
gptkb:Metamath_set.mm gptkb:Chebyshev's_inequality
gptkb:Quadratic_Reciprocity_Law gptkb:Ernst_Eduard_Kummer
gptkb:Homological_mirror_symmetry_conjecture gptkb:toric_varieties
gptkb:law_of_quadratic_reciprocity gptkb:Carl_Friedrich_Gauss