CADE ATP System Competition: Difference between revisions

Revision as of 13:31, 13 July 2018

Revision as of 13:57, 13 July 2018

Line 1:

<!-- Please do not remove or change this AfD message until the discussion has been closed. -->

{{Article for deletion/dated|page=CADE ATP System Competition|timestamp=20180713135737|year=2018|month=July|day=13|substed=yes|help=off}}

<!-- Once discussion is closed, please place on talk page: {{Old AfD multi|page=CADE ATP System Competition|date=13 July 2018|result='''keep'''}} -->

<!-- End of AfD message, feel free to edit beyond this point -->

The '''CADE ATP System Competition''' (CASC) is a yearly competition of fully [[Automated theorem proving|automated theorem provers]] for classical [[first order logic]]. CASC is associated with the [[Conference on Automated Deduction]] and the [[International Joint Conference on Automated Reasoning]] organized by the [[Association for Automated Reasoning]]. It has inspired similar competition in related fields, e.g. modal logic reasoning.<ref>{{cite journal |last1=Massacci |first1=Fabio |last2=Donini |first2=Francesco M. |title=Design and results of TANCS-2000 non-classical (modal) systems comparison |journal=International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |date=2000 |volume=1847 |pages=52-56 |publisher=Springer}}</ref>