Also known as minimization operator, unbounded search operator, mu operator
concept in computability theory
Nella teoria della computabilità, l'operatore μ, operatore di minimalizzazione, o operatore di ricerca illimitata ricerca i minimi numeri naturali di una proprietà data.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).