GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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