Pages that link to "Item:Q5479292"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5479292):
Displaying 4 items.
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)