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:Serre's_modularity_conjecture
gptkb:Chandrashekhar_Khare
gptkb:Church's_theorem
gptkb:Alonzo_Church
gptkb:Heegner_number
gptkb:Kurt_Heegner
gptkb:Early_Times_Bottled-in-Bond
100
gptkb:Birkar–Cascini–Hacon–McKernan_conjecture
gptkb:James_McKernan
gptkb:Rota's_conjecture
gptkb:Eric_Katz
gptkb:Birkar–Cascini–Hacon–McKernan_conjecture
gptkb:Caucher_Birkar
gptkb:Riemannian_Gauss–Bonnet_theorem
gptkb:Chern_Shiing-Shen
gptkb:Riemann_hypothesis_for_finite_fields
gptkb:André_Weil
gptkb:Aizenman–Barsky_theorem
David J. Barsky
gptkb:Hurwitz's_theorem_(composition_algebras)
1898
gptkb:Erdős–Ko–Rado_theorem
gptkb:Chao_Ko
gptkb:Old_Charter_101
101
gptkb:Five_Color_Theorem
gptkb:Percy_John_Heawood
gptkb:Prime_Number_Theorem
gptkb:Jacques_Hadamard
gptkb:W.L._Weller_Special_Reserve
90
gptkb:Hadamard's_theorem_(number_theory)
gptkb:Jacques_Hadamard
gptkb:Poincaré_conjecture_(higher_dimensions)
gptkb:Stephen_Smale
gptkb:axiom_of_choice_(independent)
1938
gptkb:Duffin–Schaeffer_conjecture
gptkb:James_Maynard
Please wait…