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:quadratic_reciprocity_law gptkb:Adrien-Marie_Legendre
gptkb:art_gallery_theorem gptkb:Steve_Fisk
gptkb:Metamath_set.mm gptkb:Sylow_theorems
gptkb:law_of_quadratic_reciprocity gptkb:David_Hilbert
gptkb:Metamath_set.mm gptkb:Wilson's_theorem
gptkb:Metamath_set.mm gptkb:Tonelli's_theorem
gptkb:Metamath_set.mm gptkb:Stokes'_theorem
gptkb:Metamath_set.mm gptkb:Kolmogorov's_zero–one_law
gptkb:Homological_mirror_symmetry_conjecture elliptic curves
gptkb:Metamath_set.mm gptkb:Radon–Nikodym_theorem
gptkb:Metamath_set.mm gptkb:Intermediate_value_theorem
gptkb:Metamath_set.mm gptkb:Gauss's_theorem
gptkb:law_of_quadratic_reciprocity gptkb:Ernst_Eduard_Kummer
gptkb:Metamath_set.mm Lucas' theorem
gptkb:Metamath_set.mm gptkb:Hilbert's_basis_theorem
gptkb:Section_2381 adhering to enemies, giving them aid and comfort
gptkb:the_fundamental_theorem_of_algebra complex analysis
gptkb:UK_Ancestry_visa intention to work
gptkb:Metamath_set.mm gptkb:Fermat's_little_theorem
gptkb:Metamath_set.mm gptkb:Four_color_theorem
Please wait…