existentially quantified variable
existentially quantified variable是什么意思、existentially quantified variable怎么读
【计】 存在量词化变元
existentially quantified variable汉语翻译
【计】 存在量词化变元