Pages that link to "Item:Q5614670"
From MaRDI portal
The following pages link to A Mechanical Proof Procedure and its Realization in an Electronic Computer (Q5614670):
Displaying 5 items.
- Proof search algorithm in pure logical framework (Q779163) (← links)
- lean\(T^ AP\): Lean tableau-based deduction (Q1904400) (← links)
- Theorem proving with variable-constrained resolution (Q2554609) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
