Beth definability for the guarded fragment (Q4938431)
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 1405456
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Beth definability for the guarded fragment |
scientific article; zbMATH DE number 1405456 |
Statements
23 February 2000
0 references
guarded fragment
0 references
Beth property
0 references
interpolation
0 references
closure property
0 references
definability
0 references
0.934020221233368
0 references
0.8112917542457581
0 references
0.7866359949111938
0 references
0.7862362265586853
0 references
0.7852523922920227
0 references
Beth definability for the guarded fragment (English)
0 references
