swMATH21347MaRDI QIDQ33155FDOQ33155
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2891755
Cited In (11)
- System description generating models by SEM
- SCOTT
- MGTP
- FALCON
- Geo 2007F
- infChecker
- Theorem proving for classical logic with partial functions by reduction to Kleene logic
- Checking depth-limited consistency and inconsistency in knowledge-based systems
- MACE4 and SEM: a comparison of finite model generators
- Proving semantic properties as first-order satisfiability
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
This page was built for software: ModGen
