Pages that link to "Item:Q5210762"
From MaRDI portal
The following pages link to The search efficiency of theorem proving strategies (Q5210762):
Displayed 8 items.
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- The design of the CADE-13 ATP system competition (Q4647509) (← links)