originallyProvedBy

URI: https://gptkb.org/prop/originallyProvedBy
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Löwenheim–Skolem_theorem gptkb:Leopold_Löwenheim
gptkb:Cauchy–Kowalevski_theorem gptkb:Augustin-Louis_Cauchy
gptkb:Mordell–Weil_theorem gptkb:Louis_Mordell
gptkb:Whitney's_embedding_theorem gptkb:Hassler_Whitney