The following pages link to (Q3832076):
Displaying 5 items.
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- Acyclic logic programs and the completeness of SLDNF-resolution (Q1177925) (← links)
- SLT-resolution for the well-founded semantics (Q1598446) (← links)
- Generalising unit-refutation completeness and SLUR via nested input resolution (Q2352484) (← links)
- A completeness theorem for SLDNF resolution (Q3031954) (← links)