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:Student_Art_Pass student status
gptkb:Native_title Continuous connection to land
gptkb:Metamath_set.mm gptkb:Kolmogorov's_zero–one_law
gptkb:Homological_mirror_symmetry_conjecture elliptic curves
gptkb:law_of_quadratic_reciprocity gptkb:Carl_Friedrich_Gauss
gptkb:Metamath_set.mm gptkb:Noether's_theorem
gptkb:quadratic_reciprocity_law gptkb:David_Hilbert
gptkb:Metamath_set.mm gptkb:Pythagorean_theorem
gptkb:Fundamental_Theorem_of_Algebra gptkb:algebra
gptkb:fundamental_theorem_of_algebra gptkb:algebra
gptkb:Bott_periodicity_theorem gptkb:Raoul_Bott
gptkb:Homological_mirror_symmetry gptkb:toric_varieties
gptkb:Metamath_set.mm gptkb:Dirichlet's_theorem
gptkb:Metamath_set.mm gptkb:Fatou's_lemma
gptkb:quadratic_reciprocity_law gptkb:Leonhard_Euler
gptkb:Metamath_set.mm gptkb:Chinese_remainder_theorem
gptkb:Metamath_set.mm gptkb:Carathéodory's_extension_theorem
gptkb:Metamath_set.mm gptkb:Chebotarev_density_theorem
gptkb:Metamath_set.mm gptkb:Cauchy's_integral_theorem
gptkb:Metamath_set.mm gptkb:Erdős–Szekeres_theorem
Please wait…