The following pages link to KoMeT (Q5210812):
Displaying 8 items.
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)
- Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- ILF-SETHEO (Q5234690) (← links)
