bn:02946549n
Noun Concept
Categories: Quantifier (logic), Model theory, Predicate logic, Mathematical logic stubs, Finite model theory
EN
quantifier rank
EN
In mathematical logic, the quantifier rank of a formula is the depth of nesting of its quantifiers. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, the quantifier rank of a formula is the depth of nesting of its quantifiers. Wikipedia
Wikipedia
Wikidata