Pages that link to "Item:Q1606324"

The following pages link to Evaluating general purpose automated theorem proving systems (Q1606324):

Displaying 16 items.

• MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
• A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
• Automated verification of refinement laws (Q1037397) (← links)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
• Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
• Cooperating Proof Attempts (Q3454105) (← links)
• Playing with AVATAR (Q3454110) (← links)
• On Automating the Calculus of Relations (Q3541686) (← links)
• An Evaluation Based Theorem Prover (Q3681965) (← links)
• The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
• The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)
• The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
• Investigations into proof structures (Q6653096) (← links)