Guarded fragments with constants (Q2567342)
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: Guarded fragments with constants |
scientific article; zbMATH DE number 2211682
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Guarded fragments with constants |
scientific article; zbMATH DE number 2211682 |
Statements
Guarded fragments with constants (English)
0 references
4 October 2005
0 references
guarded fragment
0 references
complexity
0 references
satisfiability
0 references
hybrid logic
0 references
0.8490139245986938
0 references
0.7858209609985352
0 references
0.7819945812225342
0 references
0.7675657868385315
0 references
0.765882134437561
0 references
