Pages that link to "Item:Q2055791"
From MaRDI portal
The following pages link to Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791):
Displaying 4 items.
- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity (Q5387847) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)