Simplification of quantifier-free formulae over ordered fields (Q1368694)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Simplification of quantifier-free formulae over ordered fields |
scientific article; zbMATH DE number 1067883
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simplification of quantifier-free formulae over ordered fields |
scientific article; zbMATH DE number 1067883 |
Statements
Simplification of quantifier-free formulae over ordered fields (English)
0 references
29 September 1997
0 references
REDUCE
0 references
automatic quantifier elimination
0 references
0.8903724
0 references
0.89022505
0 references
0.87894714
0 references
0 references
0.8710417
0 references
