Pages that link to "Item:Q5597535"
From MaRDI portal
The following pages link to A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness (Q5597535):
Displaying 17 items.
- A logic for programming with complex objects (Q686642) (← links)
- Producing and verifying extremely large propositional refutations (Q694550) (← links)
- Linearity and regularity with negation normal form (Q703486) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Completeness results for inequality provers (Q1079960) (← links)
- Hierarchical deduction (Q1098332) (← links)
- The completeness of gp-resolution for annotated logics (Q1205717) (← links)
- Experimental tests of resolution-based theorem-proving strategies (Q1230669) (← links)
- SET-VAR (Q1319383) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Resolution graphs (Q2543000) (← links)
- Splitting and reduction heuristics in automatic theorem proving (Q2547495) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- Theorem proving with variable-constrained resolution (Q2554609) (← links)
- A note on linear resolution strategies in consequence-finding (Q2557565) (← links)
