CLIN

MaRDI QIDQ31443swMATHFDO

Official website https://github.com/theoremprover-museum/CLIN

Source code repository https://github.com/theoremprover-museum/CLIN

Cited in

(9)

• Filter-based resolution principle for lattice-valued propositional logic LP(X)
• Semantically-guided goal-sensitive reasoning: inference system and completeness
• Semantically-guided goal-sensitive reasoning: model representation
• Darwin
• DCTP
• E-Darvin
• iProver-Eq
• E-KRHyper
• Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures

This page was built for software: CLIN