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:fundamental_theorem_of_algebra complex analysis
gptkb:Metamath_set.mm gptkb:Cayley's_theorem
gptkb:Metamath_set.mm gptkb:Kolmogorov's_zero–one_law
gptkb:Homological_mirror_symmetry elliptic curves
gptkb:Metamath_set.mm gptkb:Radon–Nikodym_theorem
gptkb:Metamath_set.mm gptkb:Four_color_theorem
gptkb:fundamental_theorem_of_algebra gptkb:Galois_theory
gptkb:Metamath_set.mm Law of large numbers
gptkb:Proofs_from_THE_BOOK theorems from graph theory
gptkb:Metamath_set.mm gptkb:Burnside's_lemma
gptkb:Metamath_set.mm gptkb:Jensen's_inequality
gptkb:law_of_quadratic_reciprocity gptkb:Emil_Artin
gptkb:Chinese_remainder_theorem constructive method
gptkb:Metamath_set.mm gptkb:Ramsey's_theorem
gptkb:Homological_mirror_symmetry_conjecture elliptic curves
gptkb:UK_Ancestry_visa intention to work
gptkb:Metamath_set.mm gptkb:Galois_theory
gptkb:the_fundamental_theorem_of_algebra real analysis
gptkb:Metamath_set.mm gptkb:Borel–Cantelli_lemma
gptkb:law_of_quadratic_reciprocity gptkb:Ernst_Eduard_Kummer
Please wait…