provenBy

URI: https://gptkb.org/prop/provenBy
845 triples
GPTKB property
Alternative names (11)
bewiesen von • firstProvedBy • proof • proofBy • proofMethod • provedBy • provedIn • proven using • provenFor • provenIn • proves • more
Random triples
Subject Object
gptkb:Law_of_Large_Numbers Chebyshev
gptkb:Fundamental_Theorem_of_Algebra gptkb:Carl_Friedrich_Gauss
gptkb:Anderson's_paving_conjecture gptkb:Nikhil_Srivastava
gptkb:Zariski–Mumford_conjecture gptkb:Michel_Raynaud
gptkb:geometric_Langlands_conjecture_for_GL(n) gptkb:Vladimir_Drinfeld
gptkb:Prime_Number_Theorem_for_arithmetic_progressions Wiener
gptkb:CPT_theorem gptkb:Wolfgang_Pauli
gptkb:fifteen_theorem_for_quadratic_forms gptkb:W._A._Schneeberger
gptkb:Nash_Equilibria gptkb:John_Nash
gptkb:topological_Schoenflies_theorem gptkb:L._E._J._Brouwer
gptkb:Friedlander–Iwaniec_theorem gptkb:John_Friedlander
gptkb:Neukirch–Uchida_theorem gptkb:Kôji_Uchida
gptkb:Kac–Weisfeiler_conjecture Alexander Premet
gptkb:Proof_of_Sato–Tate_conjecture gptkb:Sato–Tate_conjecture
gptkb:Mordell-Weil_Theorem gptkb:Louis_Mordell
gptkb:Strong_Perfect_Graph_Theorem gptkb:Paul_Seymour
gptkb:Schnirelmann's_theorem gptkb:Lev_Schnirelmann
gptkb:Eskin–Mirzakhani_theorem gptkb:Maryam_Mirzakhani
gptkb:Aizenman–Barsky_theorem gptkb:Michael_Aizenman
gptkb:Sato–Tate_conjecture elliptic curves over totally real fields