The following pages link to (Q4263017):
Displaying 4 items.
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- lean\(T^ AP\): Lean tableau-based deduction (Q1904400) (← links)
- A Tableau Method for the Lambek Calculus based on a Matrix Characterization (Q4924540) (← links)