The following pages link to System Description: E.T. 0.1 (Q3454109):
Displaying 7 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)
- System Description: E- KRHyper (Q3608796) (← links)
- System Description: Spass Version 3.0 (Q3608799) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
