User talk:Siddharthist

Your submission at Articles for creation: Cubical complex has been accepted

Cubical complex, which you submitted to Articles for creation, has been created.
The article has been assessed as Start-Class, which is recorded on the article's talk page. You may like to take a look at the grading scheme to see how you can improve the article.

You are more than welcome to continue making quality contributions to Wikipedia. Note that because you are a logged-in user, you can create articles yourself, and don't have to post a request. However, you may continue submitting work to Articles for Creation if you prefer.

If you have any questions, you are welcome to ask at the help desk.
If you would like to help us improve this process, please consider leaving us some feedback.

Thank you for helping improve Wikipedia!

Α Guy into Books™ § (Message) - 15:29, 18 September 2017 (UTC)[reply]

WikiJournal of Science

You could also try the WikiJournal of Science; links can be found in WT:WPM#Coauthor needed. Boris Tsirelson (talk) 10:58, 18 November 2017 (UTC)[reply]

ArbCom 2017 election voter message

Hello, Siddharthist. Voting in the 2017 Arbitration Committee elections is now open until 23.59 on Sunday, 10 December. All users who registered an account before Saturday, 28 October 2017, made at least 150 mainspace edits before Wednesday, 1 November 2017 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2017 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 3 December 2017 (UTC)[reply]

Your draft article, Draft:Fundamental groupoid

Hello, Siddharthist. It has been over six months since you last edited the Articles for Creation submission or Draft page you started, "Fundamental groupoid".

In accordance with our policy that Wikipedia is not for the indefinite hosting of material deemed unsuitable for the encyclopedia mainspace, the draft has been nominated for deletion. If you plan on working on it further, or editing it to address the issues raised if it was declined, simply edit the submission and remove the {{db-afc}}, {{db-draft}}, or {{db-g13}} code.

If your submission has already been deleted by the time you get there, and you wish to retrieve it, you can request its undeletion by following the instructions at this link. An administrator will, in most cases, restore the submission so you can continue to work on it.

Thanks for your submission to Wikipedia, and happy editing. » Shadowowl | talk 16:56, 5 June 2018 (UTC)[reply]

ArbCom 2018 election voter message

Hello, Siddharthist. Voting in the 2018 Arbitration Committee elections is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before Thursday, 1 November 2018 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2018 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 19 November 2018 (UTC)[reply]

Your draft article, Draft:Universe (type theory)

Hello, Siddharthist. It has been over six months since you last edited the Articles for Creation submission or Draft page you started, "Universe".

In accordance with our policy that Wikipedia is not for the indefinite hosting of material deemed unsuitable for the encyclopedia mainspace, the draft has been nominated for deletion. If you plan on working on it further, or editing it to address the issues raised if it was declined, simply edit the submission and remove the {{db-afc}}, {{db-draft}}, or {{db-g13}} code.

If your submission has already been deleted by the time you get there, and you wish to retrieve it, you can request its undeletion by following the instructions at this link. An administrator will, in most cases, restore the submission so you can continue to work on it.

Thanks for your submission to Wikipedia, and happy editing. UnitedStatesian (talk) 14:25, 4 June 2019 (UTC)[reply]

Your draft article, Draft:Fundamental groupoid

Hello, Siddharthist. It has been over six months since you last edited the Articles for Creation submission or Draft page you started, "Fundamental groupoid".

In accordance with our policy that Wikipedia is not for the indefinite hosting of material deemed unsuitable for the encyclopedia mainspace, the draft has been nominated for deletion. If you plan on working on it further, or editing it to address the issues raised if it was declined, simply edit the submission and remove the {{db-afc}}, {{db-draft}}, or {{db-g13}} code.

If your submission has already been deleted by the time you get there, and you wish to retrieve it, you can request its undeletion by following the instructions at this link. An administrator will, in most cases, restore the submission so you can continue to work on it.

Thanks for your submission to Wikipedia, and happy editing. CASSIOPEIA^(talk) 05:36, 11 June 2019 (UTC)[reply]

ArbCom 2019 election voter message

Hello! Voting in the 2019 Arbitration Committee elections is now open until 23:59 on Monday, 2 December 2019. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2019 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add {{NoACEMM}} to your user talk page. MediaWiki message delivery (talk) 00:20, 19 November 2019 (UTC)[reply]

Your draft article, Draft:Universe (type theory)

Hello, Siddharthist. It has been over six months since you last edited the Articles for Creation submission or Draft page you started, "Universe".

In accordance with our policy that Wikipedia is not for the indefinite hosting of material deemed unsuitable for the encyclopedia mainspace, the draft has been nominated for deletion. If you plan on working on it further, or editing it to address the issues raised if it was declined, simply edit the submission and remove the {{db-afc}}, {{db-draft}}, or {{db-g13}} code.

If your submission has already been deleted by the time you get there, and you wish to retrieve it, you can request its undeletion by following the instructions at this link. An administrator will, in most cases, restore the submission so you can continue to work on it.

Thank you for your submission to Wikipedia! Lapablo (talk) 11:26, 7 December 2019 (UTC)[reply]

Your draft article, Draft:Fundamental groupoid

Hello, Siddharthist. It has been over six months since you last edited the Articles for Creation submission or Draft page you started, "Fundamental groupoid".

In accordance with our policy that Wikipedia is not for the indefinite hosting of material deemed unsuitable for the encyclopedia mainspace, the draft has been nominated for deletion. If you plan on working on it further, or editing it to address the issues raised if it was declined, simply edit the submission and remove the {{db-afc}}, {{db-draft}}, or {{db-g13}} code.

If your submission has already been deleted by the time you get there, and you wish to retrieve it, you can request its undeletion by following the instructions at this link. An administrator will, in most cases, restore the submission so you can continue to work on it.

Thank you for your submission to Wikipedia! Lapablo (talk) 21:39, 13 December 2019 (UTC)[reply]

Merge has gone bad

Hello, some time ago you merged "Automated proof checking" into "Proof assistant" (here), but that article no longer contains or cites any substantive discussion of proof checking. Redirects from "proof checking" and "proof verification" are now dead ends. This is a problem that needs to be fixed!

ArbCom 2021 Elections voter message

Hello! Voting in the 2021 Arbitration Committee elections is now open until 23:59 (UTC) on Monday, 6 December 2021. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2021 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add {{NoACEMM}} to your user talk page. MediaWiki message delivery (talk) 00:44, 23 November 2021 (UTC)[reply]

List of Datalog engines moved to draftspace

An article you recently created, List of Datalog engines, is not suitable as written to remain published. It needs more in-depth coverage about the subject itself, with citations from reliable, independent sources in order to show it meets WP:GNG. It should have at least three, to be safe. And please remember that interviews, as primary sources, do not count towards GNG.(?) Information that can't be referenced should be removed (verifiability is of central importance on Wikipedia). I've moved your draft to draftspace (with a prefix of "Draft:" before the article title) where you can incubate the article with minimal disruption. When you feel the article meets Wikipedia's general notability guideline and thus is ready for mainspace, please click on the "Submit your draft for review!" button at the top of the page.Onel5969 ^{TT me} 11:52, 15 March 2023 (UTC)[reply]

ArbCom 2023 Elections voter message

Hello! Voting in the 2023 Arbitration Committee elections is now open until 23:59 (UTC) on Monday, 11 December 2023. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2023 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add {{NoACEMM}} to your user talk page. MediaWiki message delivery (talk) 00:47, 28 November 2023 (UTC)[reply]

Your submission at Articles for creation: Cooperating Validity Checker has been accepted

Cooperating Validity Checker, which you submitted to Articles for creation, has been created.

Congratulations, and thank you for helping expand the scope of Wikipedia! We hope you will continue making quality contributions.

The article has been assessed as C-Class, which is recorded on its talk page. This is a great rating for a new article, and places it among the top 21% of accepted submissions — kudos to you! You may like to take a look at the grading scheme to see how you can improve the article.

Since you have made at least 10 edits over more than four days, you can now create articles yourself without posting a request. However, you may continue submitting work to Articles for creation if you prefer.

If you have any questions, you are welcome to ask at the help desk. Once you have made at least 10 edits and had an account for at least four days, you will have the option to create articles yourself without posting a request to Articles for creation.

If you would like to help us improve this process, please consider leaving us some feedback.

Thanks again, and happy editing!

Utopes _{(talk / cont)} 23:24, 30 November 2023 (UTC)[reply]

Your submission at Articles for creation: C Bounded Model Checker has been accepted

C Bounded Model Checker, which you submitted to Articles for creation, has been created.

Congratulations, and thank you for helping expand the scope of Wikipedia! We hope you will continue making quality contributions.

The article has been assessed as Start-Class, which is recorded on its talk page. Most new articles start out as Stub-Class or Start-Class and then attain higher grades as they develop over time. You may like to take a look at the grading scheme to see how you can improve the article.

Since you have made at least 10 edits over more than four days, you can now create articles yourself without posting a request. However, you may continue submitting work to Articles for creation if you prefer.

If you have any questions, you are welcome to ask at the help desk. Once you have made at least 10 edits and had an account for at least four days, you will have the option to create articles yourself without posting a request to Articles for creation.

If you would like to help us improve this process, please consider leaving us some feedback.

Thanks again, and happy editing!

S0091 (talk) 15:50, 5 December 2023 (UTC)[reply]

No need to submit drafts to AfC

Hi Siddharthist, given you are autoconfirmed, you do not need submit your drafts to AfC for review. You can move them to mainspace (article) yourself, see WP:MOVE for instructions. Of course, you welcome to continue to submit them. S0091 (talk) 15:53, 5 December 2023 (UTC)[reply]

Concern regarding Draft:List of Datalog engines

Hello, Siddharthist. This is a bot-delivered message letting you know that Draft:List of Datalog engines, a page you created, has not been edited in at least 5 months. Drafts that have not been edited for six months may be deleted, so if you wish to retain the page, please edit it again or request that it be moved to your userspace.

If the page has already been deleted, you can request it be undeleted so you can continue working on it.

Thank you for your submission to Wikipedia. FireflyBot (talk) 19:08, 4 January 2024 (UTC)[reply]

Thank you for creating C Bounded Model Checker

Thank you for creating C Bounded Model Checker, it looks really interesting topic to have a article about, thanks for creating this :)

Sohom (talk) 15:39, 31 January 2024 (UTC)[reply]

Your draft article, Draft:List of Datalog engines

Hello, Siddharthist. It has been over six months since you last edited the Articles for Creation submission or Draft page you started, "List of Datalog engines".

In accordance with our policy that Wikipedia is not for the indefinite hosting of material deemed unsuitable for the encyclopedia mainspace, the draft has been deleted. When you plan on working on it further and you wish to retrieve it, you can request its undeletion. An administrator will, in most cases, restore the submission so you can continue to work on it.

Thanks for your submission to Wikipedia, and happy editing. Liz ^{Read! Talk!} 18:19, 4 February 2024 (UTC)[reply]

Hello, Siddharthist. I think you should restore the list by returning it to the Datalog article, from which you deleted it. Thanks. 20:53, 4 February 2024 (UTC)Robert Kowalski (talk)

I have sent you a note about a page you started

Hello, Siddharthist. Thank you for your work on Constrained Horn clauses. North8000, while examining this page as a part of our page curation process, had the following comments:

Nice work

To reply, leave a comment here and begin it with {{Re|North8000}}. Please remember to sign your reply with ~~~~. (Message delivered via the Page Curation tool, on behalf of the reviewer.)

North8000 (talk) 14:48, 24 March 2024 (UTC)[reply]

Question on definition of Term on E-Graphs page

Regarding revision "as of 01:54, 8 February 2023" to the E-Graphs page https://en.wikipedia.org/wiki/E-graph

You added, among other things:

"Let $V$ be a set of variables and let $\mathrm {Term} (\Sigma ,V)$ be the smallest set that includes the 0-arity function symbols (also called constants), includes the variables, and is closed under application of the function symbols. In other words, $\mathrm {Term} (\Sigma ,V)$ is the smallest set such that $V\subset \mathrm {Term} (V,\Sigma )$ "

I do not understand why in " $V\subset \mathrm {Term} (V,\Sigma )$ " you reversed the order of V, \Sigma from the "\Sigma, V" order used elsewhere.

Was that a mistake or on purpose? Greg sullivan (talk) 15:14, 6 June 2024 (UTC)[reply]

Looks like a mistake to me! siddharthist (talk) 15:15, 6 June 2024 (UTC)[reply]

Great. I'll fix. Thanks. Greg sullivan (talk) 20:30, 6 June 2024 (UTC)[reply]