Pages that link to "Item:Q2843818"
From MaRDI portal
The following pages link to A resolution calculus for first-order schemata (Q2843818):
Displaying 11 items.
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- Some techniques for proving termination of the hyperresolution calculus (Q861692) (← links)
- Resolution on formula-trees (Q1098648) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
- Automated Reasoning Building Blocks (Q3449631) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- (Q4282509) (← links)
- (Q5294172) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)