bn:01433264n
Noun Concept
Categories: Quantifier (logic), Logic stubs
EN
counting quantification  counting quantifier  counting quantifiers
EN
A counting quantifier is a mathematical term for a quantifier of the form "there exists at least k elements that satisfy property X". Wikipedia
Definitions
Relations
Sources
EN
A counting quantifier is a mathematical term for a quantifier of the form "there exists at least k elements that satisfy property X". Wikipedia
Wikipedia Redirections