User talk:18.111.0.136

Welcome!
Hello and welcome to Wikipedia! I hope you like the place and decide to stay. Unfortunately, one or more of the pages you created, such as Gandalf (theorem prover), may not conform to some of Wikipedia's guidelines, and may not be retained.

There's a page about creating articles you may want to read called Your first article. If you are stuck, and looking for help, please come to the Teahouse, where experienced Wikipedians can answer any queries you have! Or, you can just type help me on this page, followed by your question, and someone will show up shortly to answer your questions. Here are a few other good links for newcomers: I hope you enjoy editing here and being a Wikipedian! Please sign your name on talk pages using four tildes ( ~ ); this will automatically produce your name and the date. If you have any questions, check out Questions or ask me on my talk page. Again, welcome! LukeSurlt c 16:14, 13 August 2018 (UTC)
 * Your first article
 * Contributing to Wikipedia
 * Biographies of living persons
 * How to write a great article
 * The five pillars of Wikipedia
 * Help pages
 * Tutorial

Proposed deletion of Gandalf (theorem prover)


The article Gandalf (theorem prover) has been proposed for deletion&#32;because of the following concern: "Fails GNG. No independent sources. No assertion of notability."

While all constructive contributions to Wikipedia are appreciated, pages may be deleted for any of several reasons.

You may prevent the proposed deletion by removing the notice, but please explain why in your edit summary or on the article's talk page.

Please consider improving the page to address the issues raised. Removing will stop the proposed deletion process, but other deletion processes exist. In particular, the speedy deletion process can result in deletion without discussion, and articles for deletion allows discussion to reach consensus for deletion. LukeSurlt c 16:14, 13 August 2018 (UTC)