Title: Theory / Unimportant / CS / Algo / Decision Procedures - Kroening Strichman V2 / 9 Quantifier free;

Name: Universal quantifier
Page: 199
Chapter: 9
Section: 1
Notation: \(\forall\)

Name: existential quantifier
Page: 199
Chapter: 9
Section: 1
Notation: \(\exists\)

Name: Quantifier alternation
Definition: The fact that a quantifier is after a different quantifier in the syntactic tree.
Page: 199
Chapter: 9
Section: 1