Conservative extensions in guarded and two-variable fragments (Q5111440)
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: Conservative extensions in guarded and two-variable fragments |
scientific article; zbMATH DE number 7204560
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Conservative extensions in guarded and two-variable fragments |
scientific article; zbMATH DE number 7204560 |
Statements
27 May 2020
0 references
conservative extensions
0 references
decidable fragments of first-order logic
0 references
computational complexity
0 references
Conservative Extensions in Guarded and Two-Variable Fragments. (English)
0 references
0.8092408180236816
0 references
0.8032366633415222
0 references
0.7820634841918945
0 references
0.7778823375701904
0 references
