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:Noether's_theorem
gptkb:law_of_quadratic_reciprocity gptkb:Adrien-Marie_Legendre
gptkb:law_of_quadratic_reciprocity gptkb:David_Hilbert
gptkb:UK_Ancestry_visa intention to work
gptkb:Homological_mirror_symmetry elliptic curves
gptkb:Metamath_set.mm gptkb:Dirichlet's_theorem
gptkb:law_of_quadratic_reciprocity gptkb:Leonhard_Euler
gptkb:Metamath_set.mm gptkb:Euler's_theorem
gptkb:Metamath_set.mm gptkb:Brouwer_fixed-point_theorem
gptkb:quadratic_reciprocity_law gptkb:Ernst_Eduard_Kummer
gptkb:Jordan_curve_theorem gptkb:Camille_Jordan
gptkb:fundamental_theorem_of_algebra complex analysis
gptkb:Quadratic_Reciprocity_Law gptkb:Adrien-Marie_Legendre
gptkb:Metamath_set.mm gptkb:Fundamental_theorem_of_calculus
gptkb:Metamath_set.mm gptkb:Stokes'_theorem
gptkb:the_fundamental_theorem_of_algebra real analysis
gptkb:Metamath_set.mm gptkb:Cantor's_theorem
gptkb:Homological_mirror_symmetry quartic surfaces
gptkb:Proofs_from_THE_BOOK theorems from number theory
gptkb:Proofs_from_THE_BOOK theorems from geometry
Please wait…