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:Göttsche_conjecture gptkb:Hiraku_Nakajima
gptkb:Weierstrass_extreme_value_theorem gptkb:Karl_Weierstrass
gptkb:Base_change_for_GL(2) gptkb:Shahidi
gptkb:sphere_theorem gptkb:Wilhelm_Klingenberg
gptkb:topological_Schoenflies_theorem gptkb:L._E._J._Brouwer
gptkb:Fermat's_theorem_on_sums_of_two_squares gptkb:Euler
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem undecidability of the Entscheidungsproblem
gptkb:Zariski–Abhyankar_conjecture gptkb:Shreeram_Abhyankar
gptkb:Blanton's_Bourbon 93
gptkb:Shafarevich_conjecture gptkb:Gerd_Faltings
gptkb:Abel's_theorem_on_algebraic_equations gptkb:Niels_Henrik_Abel
gptkb:Tait_conjectures gptkb:Kauffman
gptkb:modularity_theorem gptkb:Andrew_Wiles
gptkb:Nielsen–Schreier_theorem combinatorial methods
gptkb:Cobordism_hypothesis gptkb:Jacob_Lurie
gptkb:Erdős–Faber–Lovász_conjecture gptkb:Deryk_Osthus
gptkb:Modularitätssatz Richard Taylor
gptkb:Eagle_Rare 90
gptkb:monstrous_moonshine gptkb:Richard_Borcherds
gptkb:modularity_theorem gptkb:Fred_Diamond
Please wait…