Fast approximations of quantifier elimination (Q6535528)
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: Fast approximations of quantifier elimination |
scientific article; zbMATH DE number 7787548
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fast approximations of quantifier elimination |
scientific article; zbMATH DE number 7787548 |
Statements
Fast approximations of quantifier elimination (English)
0 references
12 January 2024
0 references
0.7386631369590759
0 references
0.737205982208252
0 references
0.7326838970184326
0 references
0.7325630187988281
0 references
0.7295019030570984
0 references
