Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Q5119942)
From MaRDI portal
scientific article; zbMATH DE number 7245232
Language | Label | Description | Also known as |
---|---|---|---|
English | Formula Simplification for Real Quantifier Elimination Using Geometric Invariance |
scientific article; zbMATH DE number 7245232 |
Statements
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (English)
0 references
9 September 2020
0 references
formula simplification
0 references
non-prenex quantified formula
0 references
real quantifier elimination
0 references