Wikipedia:Articles for deletion/CADE ATP System Competition

CADE ATP System Competition

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

• How to contribute
• Introduction to deletion process
• Guide to deletion (glossary)
• Help, my article got nominated for deletion!

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)