The following pages link to (Q4282596):
Displayed 14 items.
- Incremental variable splitting (Q429591) (← links)
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- Liberalized variable splitting (Q877894) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- lean\(T^ AP\): Lean tableau-based deduction (Q1904400) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Lean induction principles for tableaux (Q4610315) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
- Incremental theory reasoning methods for semantic tableaux (Q4645229) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- LeanT A P: Lean tableau-based theorem proving (Q5210813) (← links)