CLIN

swMATH19618MaRDI QIDQ31443FDOQ31443

Author name not available (Why is that?)

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

Cited In (4)

• 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
• Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures

This page was built for software: CLIN