The following pages link to (Q5486135):
Displaying 6 items.
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Automated inference of finite unsatisfiability (Q438540) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Superposition with Delayed Unification (Q6492727) (← links)
