Pages that link to "Item:Q1231393"
From MaRDI portal
The following pages link to An implementation of hyper-resolution (Q1231393):
Displaying 6 items.
- The problem of choosing the type of subsumption to use (Q809628) (← links)
- Complexity and related enhancements for automated theorem-proving programs (Q1229761) (← links)
- The problem of naming and function replacement (Q1311398) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
