The following pages link to (Q3976574):
Displaying 7 items.
- Some techniques for proving termination of the hyperresolution calculus (Q861692) (← links)
- Deciding \(\mathcal H_1\) by resolution (Q1041797) (← links)
- On renaming a set of clauses as a Horn set (Q1120278) (← links)
- A linear algorithm for renaming a set of clauses as a Horn set (Q1318709) (← links)
- A formal grammatical model of the resolution method for the propositional calculus (Q1422809) (← links)
- An overview of resolution decision procedures (Q2702565) (← links)
- Combinatorial Problems for Horn Clauses (Q3655139) (← links)