The following pages link to (Q4952309):
Displaying 4 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)