Pages that link to "Item:Q2726303"
From MaRDI portal
The following pages link to Relevancy-based use of lemmas in connection tableau calculi (Diss., TU München, 1999) (Q2726303):
Displaying 5 items.
- A lower bound on a quantity related to the quality of polynomial lattices (Q644313) (← links)
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Evolving combinators (Q5234723) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)
- Presenting intuitive deductions via symmetric simplification (Q6488543) (← links)