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:two-square_theorem
gptkb:Leonhard_Euler
gptkb:Sato–Tate_conjecture
gptkb:Nick_Shepherd-Barron
gptkb:Primzahlsatz
gptkb:Jacques_Hadamard
gptkb:Brouwer_fixed-point_theorem
gptkb:L._E._J._Brouwer
gptkb:Kolmogorov–Arnold–Moser_theorem
gptkb:Vladimir_Arnold
gptkb:Base_change_for_GL(2)
gptkb:Arthur
gptkb:Fermat's_little_theorem
gptkb:Leonhard_Euler
gptkb:generalized_Poincaré_conjecture
n = 3
gptkb:prime_number_theorem
gptkb:Charles_Jean_de_la_Vallée-Poussin
gptkb:Quillen–Lichtenbaum_conjecture
Others
gptkb:Sipser–Lautemann_theorem
gptkb:Michael_Sipser
gptkb:Wild_Turkey_101
101
gptkb:positive_energy_theorem
gptkb:Edward_Witten
gptkb:Lie's_theorem
gptkb:Sophus_Lie
gptkb:Zariski–Nagata_conjecture
gptkb:Pierre_Deligne
gptkb:Zariski–Mumford_conjecture
gptkb:Michel_Raynaud
gptkb:fifteen_theorem
gptkb:John_H._Conway
gptkb:Euclid's_theorem
proof by contradiction
gptkb:Index_theorem
gptkb:Michael_Atiyah
gptkb:Bogomolov–Miyaoka–Yau_inequality
Yoichi Miyaoka
Please wait…