provenBy

844 triples

GPTKB property

bewiesen von • firstProvedBy • proof • proofBy • proofMethod • provedBy • provedIn • proven using • provenFor • provenIn • more

Subject	Object
gptkb:Heron–Rota–Welsh_conjecture	gptkb:June_Huh
gptkb:Brewer's_theorem	gptkb:L._E._J._Brouwer
gptkb:Kneser's_conjecture	topological methods
gptkb:Probabilistically_Checkable_Proofs_theorem	Mario Szegedy
gptkb:Strong_Perfect_Graph_Theorem	gptkb:Robin_Thomas
gptkb:Wild_Turkey_101	101
gptkb:Conley_conjecture	gptkb:Viktor_Ginzburg
gptkb:modularity_theorem	gptkb:Christophe_Breuil
gptkb:Base_change_for_GL(2)	gptkb:Arthur
gptkb:Old_Rip_Van_Winkle	107 proof
gptkb:Sullivan_conjecture	gptkb:Haynes_Miller
gptkb:Sipser–Lautemann_theorem	gptkb:Clemens_Lautemann
gptkb:Mordell_conjecture	gptkb:Gerd_Faltings
gptkb:Proposition_47_(Pythagorean_theorem)	gptkb:Euclid
gptkb:Penrose_inequality	time-symmetric initial data
gptkb:Erdős–Ko–Rado_theorem	gptkb:Chao_Ko
gptkb:Riemann_hypothesis_for_varieties_over_finite_fields	gptkb:Pierre_Deligne
gptkb:Arnold_conjecture	tori
gptkb:André–Oort_conjecture	gptkb:K._Madapusi_Pera
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_finite_fields	gptkb:John_Tate