Теорема Шпильрайна — одна из центральных теорем теории упорядоченных множеств, впервые сформулированная и доказанная польским математиком Эдвардом Шпильрайном в 1930 году.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).