Complexity of existential positive first-order logic (Q2843995)
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: Complexity of existential positive first-order logic |
scientific article; zbMATH DE number 5762607
- Complexity of Existential Positive First-Order Logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of existential positive first-order logic |
scientific article; zbMATH DE number 5762607 |
|
Statements
Complexity of existential positive first-order logic (English)
0 references
27 August 2013
0 references
28 July 2010
0 references
computational complexity
0 references
existential positive first-order logic
0 references
constraint satisfaction problems
0 references
0.99999994
0 references
0.9249675
0 references
0.92119014
0 references
0.91817933
0 references
0.91169524
0 references
0.9024544
0 references
0.8992357
0 references