Before revision: The existential theory of the reals (ETR) consists of existentially quantified boolean formulas over equalities and inequalities of real-valued polynomials.
After revision: The Existential Theory of the Reals (ETR) consists of existentially quantified boolean formulas over equalities and inequalities of real-valued polynomials.