Pages that link to "Item:Q759491"

The following pages link to A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491):

Displayed 6 items.

• The problem of choosing the type of subsumption to use (Q809628) ‎ (← links)
• Meeting the challenge of fifty years of logic (Q911807) ‎ (← links)
• A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) ‎ (← links)
• The problem of selecting an approach based on prior success (Q1311414) ‎ (← links)
• The application of automated reasoning to questions in mathematics and logic (Q1354049) ‎ (← links)
• Searching for circles of pure proofs (Q1904397) ‎ (← links)