The following pages link to (Q4263163):
Displaying 6 items.
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- (Q4729026) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)