Pages that link to "Item:Q5747877"
From MaRDI portal
The following pages link to Evaluation of Automated Theorem Proving on the Mizar Mathematical Library (Q5747877):
Displayed 10 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- Sine Qua Non for Large Theory Reasoning (Q5200032) (← links)
- Licensing the Mizar Mathematical Library (Q5200114) (← links)