Pages that link to "Item:Q3561621"

The following pages link to The CADE-22 automated theorem proving system competition – CASC-22 (Q3561621):

Displaying 5 items.

• MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
• SMELS: satisfiability modulo equality with lazy superposition (Q2351265) (← links)
• Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
• The Matita Interactive Theorem Prover (Q5200015) (← links)
• Sine Qua Non for Large Theory Reasoning (Q5200032) (← links)