Pages that link to "Item:Q2843818"
From MaRDI portal
The following pages link to A Resolution Calculus for First-order Schemata (Q2843818):
Displaying 5 items.
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Automated Reasoning Building Blocks (Q3449631) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)