The following pages link to (Q4474846):
Displayed 6 items.
- Resolution is cut-free (Q972424) (← links)
- Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
- Deciding the \(E^+\)-class by an a posteriori, liftable order (Q1577484) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- A classification of non-liftable orders for resolution (Q5234716) (← links)
- An algorithm for the retrieval of unifiers from discrimination trees (Q5235251) (← links)