Pages that link to "Item:Q1923821"

The following pages link to Linear and unit-resulting refutations for Horn theories (Q1923821):

Displaying 3 items.

• A new combination of input and unit deductions for Horn sentences (Q1057665) (← links)
• Tree-like unit refutations in Horn constraint systems (Q2232285) (← links)
• Incremental theory reasoning methods for semantic tableaux (Q4645229) (← links)