bound variable
Sign in to saveAlso known as dummy variable, dead variable
variable in a logic formula which is inside the scope of a quantifier
Also known as dummy variable, dead variable
variable in a logic formula which is inside the scope of a quantifier
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).