The following pages link to (Q4261066):
Displaying 8 items.
- Crumpling self-avoiding surfaces (Q1285224) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Ordered tableaux: Extensions and applications (Q4610325) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
- Incremental theory reasoning methods for semantic tableaux (Q4645229) (← links)
- Model elimination without contrapositives (Q5210764) (← links)
