Pages that link to "Item:Q4916077"
From MaRDI portal
The following pages link to From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077):
Displaying 4 items.
- Handling transitive relations in first-order automated reasoning (Q2069868) (← links)
- Subsumption demodulation in first-order theorem proving (Q2096454) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Logical reduction of metarules (Q2203321) (← links)