Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

bound variable · Vinony

EntityQ93426845· pop 8

bound variable

Sign in to save

variable in a logic formula which is inside the scope of a quantifier

Connections

free and bound variables

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

free and bound variables

Entitydist 0.25

Entitydist 0.40

zeroth-order logic

Entitydist 0.49

Entitydist 0.50

ground expression

Entitydist 0.51

second-order logic

Entitydist 0.52

universal quantification

Entitydist 0.53

existential quantification

Entitydist 0.54

Entitydist 0.55

Entitydist 0.57

existential instantiation

Entitydist 0.57

Quantifier elimination

Entitydist 0.57