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):

Displaying 8 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)
• Towards finding longer proofs (Q2142073) (← links)
• Problems on the generation of finite models (Q5210810) (← links)