Relational queries over interpreted structures (Q3457752)
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: Relational queries over interpreted structures |
scientific article; zbMATH DE number 6521632
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relational queries over interpreted structures |
scientific article; zbMATH DE number 6521632 |
Statements
Relational queries over interpreted structures (English)
0 references
17 December 2015
0 references
collapse results
0 references
constraints
0 references
o-minimality
0 references
relational calculus
0 references
quantifier elimination
0 references
0.89538646
0 references
0.8876339
0 references
0 references
0.8686029
0 references
0.86832196
0 references
0.86598766
0 references