Existential theory of the reals (Q5420361)
Jump to navigation
Jump to search
quantified formulas with real-number variables
- ∃ℝ
- ETR
Language | Label | Description | Also known as |
---|---|---|---|
English | Existential theory of the reals |
quantified formulas with real-number variables |
|