first proved by

URI: https://gptkb.org/prop/first_proved_by
6 triples
GPTKB property
Random triples
Subject Object
gptkb:arithmetic_mean–geometric_mean_inequality gptkb:Augustin-Louis_Cauchy
gptkb:The_Four_Colour_Theorem gptkb:Wolfgang_Haken
gptkb:Fundamental_theorem_of_algebra gptkb:Carl_Friedrich_Gauss
gptkb:The_Four_Colour_Theorem gptkb:Kenneth_Appel
gptkb:Four_Color_Theorem gptkb:Kenneth_Appel
gptkb:Four_Color_Theorem gptkb:Wolfgang_Haken