Pages that link to "Item:Q1242700"
From MaRDI portal
The following pages link to An automatic theorem prover for substitution and detachment systems (Q1242700):
Displaying 6 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Meeting the challenge of fifty years of logic (Q911807) (← links)
- Condensed detachment as a rule of inference (Q1060210) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- CODE: A powerful prover for problems of condensed detachment (Q5234708) (← links)
- A (machine-oriented) logic based on pattern matching (Q6149946) (← links)
