User talk:2600:1700:6880:3830:552:1BEE:8C58:4544

May 2023
Hello. Your recent edit to Automated theorem proving appears to have added the name of a non-notable entity to a list that normally includes only notable entries. In general, a person, organization or product added to a list should have a pre-existing article before being added to most lists. If you wish to create such an article, please first confirm that the subject qualifies for a separate, stand-alone article according to Wikipedia's notability guideline. Thank you. MrOllie (talk) 20:10, 19 May 2023 (UTC)