Pages that link to "Item:Q4645233"
From MaRDI portal
The following pages link to Minimal model generation with positive unit hyper-resolution tableaux (Q4645233):
Displayed 8 items.
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Efficient model generation through compilation. (Q1854374) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- A tableau calculus for minimal model reasoning (Q4645243) (← links)
- Efficient model generation through compilation (Q4647539) (← links)
- Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (Q5234700) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)