CLIN

swMATH19618MaRDI QIDQ31443FDOQ31443

Author name not available (Why is that?)

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

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

Cited In (8)

• 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
• 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