Pages that link to "Item:Q1610669"
From MaRDI portal
The following pages link to Using resolution for testing modal satisfiability and building models (Q1610669):
Displayed 3 items.
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- Some techniques for proving termination of the hyperresolution calculus (Q861692) (← links)
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)