proven by

URI: https://gptkb.org/prop/proven_by
9 triples
GPTKB property
Random triples
Subject Object
gptkb:Fermat's_theorem_on_the_sum_of_two_ninth_powers gptkb:Andrew_Wiles
gptkb:Fermat's_theorem_on_the_sum_of_two_twenty-fourth_powers gptkb:Andrew_Wiles
gptkb:The_Four_Color_Theorem gptkb:Kenneth_Appel
gptkb:Fermat's_theorem_on_the_sum_of_two_thirty-seventh_powers gptkb:Andrew_Wiles
gptkb:Fermat's_theorem_on_the_sum_of_two_forty-ninth_powers gptkb:Andrew_Wiles
gptkb:The_Four_Color_Theorem gptkb:Wolfgang_Haken
gptkb:Fermat's_Last_Theorem gptkb:Andrew_Wiles
gptkb:Sita gptkb:Agni_Pariksha
gptkb:Fermat's_theorem_on_the_sum_of_two_fortieth_powers gptkb:Andrew_Wiles