The following pages link to (Q4263163):
Displayed 4 items.
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224) (← links)