Revision as of 17:48, 17 December 2009 edit RjwilmsiBot (talk \| contribs) Bots, Pending changes reviewers 1,602,950 edits m →References: fixing page range dashes using Project:AWB ← Previous edit		Revision as of 18:08, 14 January 2010 edit undo Stephan Schulz (talk \| contribs) Administrators 26,918 edits Correct what looked like a copy&paste error Next edit →
Line 1: The '''CADE ATP System Competition''' (CASC) is a yearly competition of fully automated [[theorem prover]]s for classical [[first order logic]]. CASC is associated with the [[Conference on Automated Deduction]] and the [[International Joint Conference on Automated Reasoning]], ~~and~~organized ~~it is a sub-corporation of~~by the [[Association for Automated Reasoning]].~~<ref>http://www.cadeconference.org/</ref>~~ The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at [[Rutgers University]], New Brunswick, NJ, in 1996.

CADE ATP System Competition: Difference between revisions