GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
provenBy
URI:
https://gptkb.org/prop/provenBy
844
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:paving_conjecture
gptkb:Daniel_Spielman
gptkb:Bombieri's_proof_of_Weil_conjecture_for_curves
gptkb:Weil_conjecture_for_curves
gptkb:paving_conjecture
gptkb:Nikhil_Srivastava
gptkb:Goldbach's_weak_conjecture
gptkb:Harald_Helfgott
gptkb:Mascheroni_construction
gptkb:Lorenzo_Mascheroni
gptkb:Shafarevich_conjecture
1983
gptkb:Base_change_for_GL(2)
gptkb:Shahidi
gptkb:Base_Change_for_GL(n)
gptkb:Hervé_Jacquet
gptkb:Generalized_Ramanujan_conjecture
GL(2) over number fields
gptkb:time_hierarchy_theorem
gptkb:Richard_E._Stearns
gptkb:Base_change_for_GL(2)
gptkb:Labesse
gptkb:Green-Tao_Theorem
gptkb:Terence_Tao
gptkb:prime_number_theorem_for_arithmetic_progressions
gptkb:Hadamard
gptkb:Quillen-Lichtenbaum_conjecture
gptkb:Markus_Rost
gptkb:fundamental_theorem_of_algebra
gptkb:Carl_Friedrich_Gauss
gptkb:Serre's_conjecture
gptkb:Jean-Pierre_Wintenberger
gptkb:Zariski–Abhyankar_conjecture
gptkb:Shreeram_Abhyankar
gptkb:Neukirch–Uchida_theorem
gptkb:Kôji_Uchida
gptkb:Feit–Thompson_theorem
gptkb:Walter_Feit
gptkb:Generalized_Poincaré_conjecture
gptkb:Grigori_Perelman
Please wait…