＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- Weinstein
- Weinstein theorem
- Weipa
- Weipa bauxite deposit
- weiqi
- Wei Qilin
- Wei Qimei
- Wei Qing
- Wei Qingzhi
- Wei Qixian
- Wei queen of disorderly
- weir
- weird
- weird number
- Wei Ren
- Weir flow
- weir for boats crossing over
- Wei Rongjue
- Wei Rongyuan
- weirs and dams in ancient China
- weirs and flumes for flow measurement
- weir-type fishway
- Wei Rui
- Weisberger
- Weishan Hu