Revision as of 10:47, 17 March 2024 edit Widefox (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, IP block exemptions, New page reviewers, Pending changes reviewers, Rollbackers 110,643 edits sep lead, destub, tweak Eng ← Previous edit		Revision as of 12:34, 29 April 2024 edit undo TeeEmCee (talk \| contribs) 216 edits →External links: fix link Next edit →
Line 14: ==External links== * [https://web.archive.org/web/20090302112038/http://www.cs.miami.edu/~tptp/CASC/ Archive of original CASC website] * [http://~~www.~~tptp.org/CASC/ CASC Website] [[Category:Artificial intelligence competitions]]

CADE ATP System Competition: Difference between revisions