The following pages link to llprover (Q23927):
Displaying 6 items.
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403) (← links)
- (Q5018490) (← links)
- Automated Deduction – CADE-20 (Q5394607) (← links)
- Towards the animation of proofs -- testing proofs by examples (Q5958295) (← links)
