Content deleted Content added
Citation bot (talk | contribs) Added s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Automated theorem proving | #UCB_Category 20/39 |
Wikipedia:Articles for deletion/Fresh variable closed as no consensus (XFDcloser) |
||
Line 1:
{{Multiple issues|
{{More citations needed|date=September 2023}}
|