Pages that link to "Item:Q5145460"

The following pages link to The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460):

Displaying 11 items.

• Preface: Special issue of selected extended papers of CADE 2019 (Q2051561) (← links)
• Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
• \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
• The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
• (Q5028439) (← links)
• The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
• SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
• Superposition with lambdas (Q5918381) (← links)
• Making higher-order superposition work (Q5918403) (← links)
• Making higher-order superposition work (Q5918575) (← links)
• A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)