Pages that link to "Item:Q4647531"
From MaRDI portal
The following pages link to Optimizing proof search in model elimination (Q4647531):
Displaying 9 items.
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Subgoal alternation in model elimination (Q4610327) (← links)
- (Q4860660) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- A Mizar mode for HOL (Q6567713) (← links)
