>

existentially quantified variable

📖 中文释义

  1. [计] 存在量词化变元
E 字母词表