Pages that link to "Item:Q1367083"
From MaRDI portal
The following pages link to The use of lemmas in the model elimination procedure (Q1367083):
Displaying 6 items.
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)
