Pages that link to "Item:Q5927985"
From MaRDI portal
The following pages link to Controlled use of clausal lemmas in connection tableau calculi (Q5927985):
Displaying 4 items.
- Connection tableau calculi with disjunctive constraints (Q1604795) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Relevancy-based use of lemmas in connection tableau calculi (Diss., TU München, 1999) (Q2726303) (← links)
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance (Q3541722) (← links)