The following pages link to ModGen (Q33155):
Displaying 6 items.
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- Checking depth-limited consistency and inconsistency in knowledge-based systems (Q2738997) (← links)
- Theorem proving for classical logic with partial functions by reduction to Kleene logic (Q2987064) (← links)
- Geometric Resolution: A Proof Procedure Based on Finite Model Search (Q3613415) (← links)
- System description generating models by SEM (Q4647530) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)