The following pages link to System Description: E.T. 0.1 (Q3454109):
Displaying 5 items.
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
