Pages that link to "Item:Q5881264"

The following pages link to A maximal-literal unit strategy for horn clauses (Q5881264):

Displaying 3 items.

• Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
• Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
• On fairness of completion-based theorem proving strategies (Q5055773) (← links)