One-Dimensional Logic over Trees (Q5111281)
From MaRDI portal
!
WARNING
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 7204398
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | One-Dimensional Logic over Trees |
scientific article; zbMATH DE number 7204398 |
Statements
26 May 2020
0 references
satisfiability
0 references
expressivity
0 references
trees
0 references
fragments of first-order logic
0 references
One-Dimensional Logic over Trees (English)
0 references
0.8793845176696777
0 references
0.7897198796272278
0 references
0.7872081398963928
0 references
0.7789451479911804
0 references
0.7753966450691223
0 references
