The concepts described in articles in this category may be also expressed as theorems, or rules of inference. Very often the same concept is in more than one of these categories, expressed a different way and sometimes with a different name.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).