ModGen
From MaRDI portal
Cited in
(11)- SCOTT
- MGTP
- Proving semantic properties as first-order satisfiability
- Checking depth-limited consistency and inconsistency in knowledge-based systems
- Theorem proving for classical logic with partial functions by reduction to Kleene logic
- Geo 2007F
- FALCON
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
- infChecker
- System description generating models by SEM
- MACE4 and SEM: a comparison of finite model generators
This page was built for software: ModGen
