The following pages link to KoMeT (Q5210812):
Displayed 4 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)