Pages that link to "Item:Q4560350"
From MaRDI portal
The following pages link to Using resolution for deciding solvable classes and building finite models (Q4560350):
Displayed 7 items.
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- Efficient model generation through compilation. (Q1854374) (← links)
- Working with ARMs: Complexity results on atomic representations of Herbrand models (Q1854418) (← links)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- The search efficiency of theorem proving strategies (Q5210762) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)