The following pages link to (Q4261066):
Displaying 13 items.
- Theory reasoning in connection calculi (Q1276499) (← links)
- Crumpling self-avoiding surfaces (Q1285224) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model. (Q1427268) (← 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)
- (Q4012176) (← 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)
- An Implementation of the Model Elimination Proof Procedure (Q4770008) (← links)
- (Q5111441) (← links)
- Model elimination without contrapositives (Q5210764) (← links)