The following pages link to The resonance strategy (Q1343396):
Displaying 5 items.
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Using hints to increase the effectiveness of an automated reasoning program: Case studies (Q1923820) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- Investigations into proof structures (Q6653096) (← links)
