Pages that link to "Item:Q1867216"
From MaRDI portal
The following pages link to Deciding the guarded fragments by resolution (Q1867216):
Displaying 7 items.
- On the complexity of division and set joins in the relational algebra (Q882434) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
