Pages that link to "Item:Q4238483"
From MaRDI portal
The following pages link to A direct proof of the completeness of SLDNF-resolution (Q4238483):
Displaying 7 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)
- Levationis Laus (Q4286221) (← links)
- A note on SLDNF-resolution (Q4399716) (← links)