Pages that link to "Item:Q1281504"
From MaRDI portal
The following pages link to On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504):
Displaying 9 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- (Q4860660) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
