Pages that link to "Item:Q2817929"
From MaRDI portal
The following pages link to nanoCoP: A Non-clausal Connection Prover (Q2817929):
Displayed 6 items.
- nanoCoP (Q33354) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Eliminating models during model elimination (Q2142079) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)