quantifier rank (Q7268912)
depth of nesting of quantifiers in a formula
Language:
other details
description depth of nesting of quantifiers in a formula

External Links
(P646) /m/0j_3j8p