description
variable in a logic formula which is inside the scope of a quantifier
@en
name
bound variable
@en
gebundene Variable
@de
variable muette
@fr
variável ligada
@pt
зв'язана змінна
@uk
связанная переменная
@ru
type
label
bound variable
@en
gebundene Variable
@de
variable muette
@fr
variável ligada
@pt
зв'язана змінна
@uk
связанная переменная
@ru
altLabel
variable liée
@fr
variável muda
@pt
prefLabel
bound variable
@en
gebundene Variable
@de
variable muette
@fr
variável ligada
@pt
зв'язана змінна
@uk
связанная переменная
@ru
P1417
topic/bound-variable
P279
P2812
BoundVariable
P461
P7554
Bound_variable