The following pages link to Semantic tableaux with equality (Q2785839):
Displaying 5 items.
- Adding equality to semantic tableaux (Q1099967) (← links)
- Ordered semantic hyper tableaux (Q1869611) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Equality reasoning in sequent-based calculi (Q2751362) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)