Automated theorem proving: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 11:4411:44, 22 June 2024‎ ClueBot NG talk contribs‎ m 29,269 bytes +2,667‎ Reverting possible vandalism by 2402:800:BB26:FC51:2895:F555:34FE:BC97 to version by WOSlinker. Report False Positive? Thanks, ClueBot NG. (4332033) (Bot) undo Tag: Rollback
curprev 11:4311:43, 22 June 2024‎ 2402:800:bb26:fc51:2895:f555:34fe:bc97 talk‎ 26,602 bytes −2,667‎ →‎Logical foundations undo Tags: Reverted references removed Mobile edit Mobile web edit

curprev 10:3810:38, 4 January 2024‎ Citation bot talk contribs‎ 27,732 bytes −76‎ Add: s2cid, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles needing cleanup from December 2023 | #UCB_Category 188/364 undo

curprev 07:5107:51, 12 December 2023‎ David Eppstein talk contribs‎ 27,699 bytes −3‎ there is no good reason to have non-ASCII space characters in the short description undo

curprev 04:0904:09, 11 December 2023‎ OAbot talk contribs‎ m 27,702 bytes +17‎ Open access bot: doi updated in citation with #oabot. undo

curprev 23:2523:25, 17 November 2023‎ Citation bot talk contribs‎ 25,297 bytes −1‎ Add: authors 1-2. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Countercheck | #UCB_webform undo
curprev 23:2423:24, 17 November 2023‎ Countercheck talk contribs‎ 25,298 bytes +72‎ copyedit undo Tag: Visual edit

curprev 13:1513:15, 23 August 2023‎ Joaogui1 talk contribs‎ m 24,917 bytes −21‎ →‎Software systems{{anchor|Comparison}}: Godel Machines don't really exist so I don't believe they count as software, free or otherwise undo

curprev 05:4005:40, 14 August 2023‎ InternetArchiveBot talk contribs‎ 24,938 bytes +154‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 17:0517:05, 9 August 2023‎ AnomieBOT talk contribs‎ m 24,784 bytes +17‎ Dating maintenance tags: {{Deadlink}} undo
curprev 16:4416:44, 9 August 2023‎ Jochen Burghardt talk contribs‎ 24,767 bytes +11‎ mark URL as dead; rm stray ")" undo

curprev 07:4807:48, 6 August 2023‎ Citation bot talk contribs‎ 24,756 bytes −58‎ Alter: title, template type. Add: chapter. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 185/2306 undo

curprev 22:3122:31, 24 July 2023‎ Citation bot talk contribs‎ 24,814 bytes +2‎ Misc citation tidying. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 20:5920:59, 2 June 2023‎ Jarble talk contribs‎ 24,812 bytes +223‎ →‎Popular techniques: another reference describing quantifier elimination in automated theorem provers undo