hasProofsOf

135 triples

GPTKB property

containsProofsOf • hasPartialProofs • hasProofBy • hasProofsBy • hasProofsIn • requiresProofOf

Subject	Object
gptkb:Section_2381	levying war against the United States
gptkb:fundamental_theorem_of_algebra	gptkb:topology
gptkb:Jordan_curve_theorem	gptkb:Camille_Jordan
gptkb:Metamath_set.mm	gptkb:Urysohn's_lemma
gptkb:Metamath_set.mm	gptkb:Dirichlet's_theorem
gptkb:quadratic_reciprocity_law	gptkb:Carl_Friedrich_Gauss
gptkb:Metamath_set.mm	gptkb:Hilbert's_basis_theorem
gptkb:the_fundamental_theorem_of_algebra	gptkb:algebra
gptkb:Section_1956:_Money_Laundering	knowledge of unlawful source
gptkb:Homological_mirror_symmetry	elliptic curves
gptkb:Section_2381	overt act witnessed by two people or confession in open court
gptkb:Law_of_quadratic_reciprocity	gptkb:Leonhard_Euler
gptkb:Section_186.22_(gang_enhancements)	defendant's active participation in a criminal street gang
gptkb:UK_Ancestry_visa	sufficient funds
gptkb:Metamath_set.mm	gptkb:Green's_theorem
gptkb:Proofs_from_THE_BOOK	theorems from graph theory
gptkb:quadratic_reciprocity_law	gptkb:Emil_Artin
gptkb:fundamental_theorem_of_algebra	gptkb:Galois_theory
gptkb:quadratic_reciprocity_law	gptkb:Adrien-Marie_Legendre
gptkb:Euler's_Theorem	Induction