Also known as omitting types
term in model theory and related areas of mathematics
En théorie des modèles, un type est un ensemble de formules à une même variable libre, consistant avec une théorie donnée, c'est-à-dire tel qu'il existe un modèle de la théorie en question dont un élément satisfait chacune des formules du type.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).