Expressing properties in second- and third-order logic: hypercube graphs and SATQBF (Q5176677)
From MaRDI portal
scientific article; zbMATH DE number 6409423
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressing properties in second- and third-order logic: hypercube graphs and SATQBF |
scientific article; zbMATH DE number 6409423 |
Statements
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF (English)
0 references
27 February 2015
0 references
second-order logic
0 references
third-order logic
0 references
quantified Boolean formulae
0 references
queries
0 references
finite model theory
0 references
hypercube graphs
0 references
