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:law_of_quadratic_reciprocity gptkb:Emil_Artin
gptkb:Section_1956:_Money_Laundering intent to conceal or disguise proceeds
gptkb:fundamental_theorem_of_algebra gptkb:algebra
gptkb:Homological_mirror_symmetry gptkb:K3_surfaces
gptkb:fundamental_theorem_of_algebra real analysis
gptkb:Metamath_set.mm gptkb:Monotone_convergence_theorem
gptkb:Euler's_Theorem gptkb:Group_theory
gptkb:Metamath_set.mm gptkb:Riesz_representation_theorem
gptkb:Metamath_set.mm gptkb:Hahn–Banach_theorem
gptkb:quadratic_reciprocity_law gptkb:Leonhard_Euler
gptkb:Proofs_from_THE_BOOK theorems from combinatorics
gptkb:Metamath_set.mm Bezout's identity
gptkb:fundamental_theorem_of_algebra gptkb:Galois_theory
gptkb:Metamath_set.mm gptkb:Cauchy-Schwarz_inequality
gptkb:the_fundamental_theorem_of_algebra real analysis
gptkb:Homological_mirror_symmetry elliptic curves
gptkb:Metamath_set.mm gptkb:Urysohn's_lemma
gptkb:Metamath_set.mm gptkb:Radon–Nikodym_theorem
gptkb:Fundamental_Theorem_of_Algebra real analysis
gptkb:Metamath_set.mm gptkb:Riemann_mapping_theorem