Pages that link to "Item:Q5479281"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5479281):
Displayed 10 items.
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)