CLIN
From MaRDI portal
Software:31443
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 (5)
- 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
- iProver-Eq
- Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures
This page was built for software: CLIN
