quantifier
英:[ˈkwɒntɪfaɪə(r)] 美: [ˈkwɑntɪfaɪə(r)]
quantifier 基本解释
n.数量词,量词;
变形
复数:quantifiers
英英释义
quantifier[ 'kwɔntifaiə ]
n.(logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition同义词:logical quantifier
(grammar) a word that expresses a quantity (as `fifteen' or `many')
quantifier 相关例句
双语例句
用作名词(n.)- When speaking of umbrella and fan, which quantifier do we use?
说到伞和扇子的时候,我们会用到哪个量词呢?
权威例句
On Quantifier Domain RestrictionQuantifier guided aggregation using OWA operatorsQuantifier Elimination and Cylindrical Algebraic DecompositionQuantifier Elimination and Cylindrical Algebraic DecompositionQuantifier Elimination for Real Closed Fields by Cylindrical Algebraic DecompositionQuantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary reportPartial Cylindrical Algebraic Decomposition for quantifier eliminationPartial Cylindrical Algebraic Decomposition for quantifier elimination *On the combinatorial and algebraic complexity of quantifier eliminationOn the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination