Uniform guarded fragments (Q6181940)
From MaRDI portal
scientific article; zbMATH DE number 7793040
Language | Label | Description | Also known as |
---|---|---|---|
English | Uniform guarded fragments |
scientific article; zbMATH DE number 7793040 |
Statements
Uniform guarded fragments (English)
0 references
23 January 2024
0 references
guarded fragment
0 references
interpolation
0 references
satisfiability problem
0 references