Jump to content

Wikipedia:Articles for deletion/CADE ATP System Competition

Add links
From Wikipedia, the free encyclopedia
< Wikipedia:Articles for deletion
This is an old revision of this page, as edited by Hhkohh (talk | contribs) at 14:02, 13 July 2018 (Updating nomination page with notices (assisted)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

CADE ATP System Competition

[Hide this box] New to Articles for deletion (AfD)? Read these primers!

CADE ATP System Competition (edit | talk | history | protect | delete | links | watch | logs | views) – (View log · Stats)
(Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL)

Article's references are either written by the competition organizer, or imply inherent notability derived from the competition's participating theorem provers, or from similar competitions. wumbolo ^^^ 13:57, 13 July 2018 (UTC)[reply]

Note: This discussion has been included in the list of Events-related deletion discussions. Hhkohh (talk) 14:02, 13 July 2018 (UTC)[reply]
Note: This discussion has been included in the list of Software-related deletion discussions. Hhkohh (talk) 14:02, 13 July 2018 (UTC)[reply]
Note: This discussion has been included in the list of New Jersey-related deletion discussions. Hhkohh (talk) 14:02, 13 July 2018 (UTC)[reply]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Wikipedia:Articles_for_deletion/CADE_ATP_System_Competition&oldid=850085118"