No label defined (Q4375797)
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: scientific article; zbMATH DE number 1114026 |
scientific article; zbMATH DE number 1114026
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1114026 |
Statements
8 July 1998
0 references
size of propositional proofs
0 references
string algebra
0 references
quantifier-free theory
0 references
0.8329977
0 references
0.82960004
0 references
0.8270405
0 references
0 references
0.82327276
0 references
0.82061404
0 references
