Superposition modulo non-linear arithmetic (Q3172887)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5954765
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Superposition modulo non-linear arithmetic |
scientific article; zbMATH DE number 5954765 |
Statements
Superposition Modulo Non-linear Arithmetic (English)
0 references
7 October 2011
0 references
0.8211895227432251
0 references
0.7713214159011841
0 references
0.729163408279419
0 references
0.7256349325180054
0 references
