No label defined (Q3566747)
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 5719280
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 5719280 |
Statements
10 June 2010
0 references
quantified Horn formulas
0 references
0 references
0.89884645
0 references
0.88750744
0 references
0.87683505
0 references
0.86976594
0 references
0.8524542
0 references
0 references
