The following pages link to Dissolution (Q3140015):
Displaying 7 items.
- Linearity and regularity with negation normal form (Q703486) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Efficient query processing with reduced implicate tries (Q877893) (← links)
- On the relative merits of path dissolution and the method of analytic tableaux (Q1331929) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Structured proof procedures (Q1924823) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
