On sequent systems and resolution for QBFs (Q2843326)
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 6197748
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On sequent systems and resolution for QBFs |
scientific article; zbMATH DE number 6197748 |
Statements
On Sequent Systems and Resolution for QBFs (English)
0 references
12 August 2013
0 references
0.7993269562721252
0 references
0.7974779009819031
0 references
0.7916306257247925
0 references
0.7901909947395325
0 references
0.7901333570480347
0 references
