ModGen

swMATH21347MaRDI QIDQ33155FDOQ33155

Author name not available (Why is that?)

Cited In (6)

• System description generating models by SEM
• MACE4 and SEM: A Comparison of Finite Model Generators
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• Checking depth-limited consistency and inconsistency in knowledge-based systems
• Proving semantic properties as first-order satisfiability
• Geometric Resolution: A Proof Procedure Based on Finite Model Search

This page was built for software: ModGen