Jump to content

Journal of Automated Reasoning: Revision history

View logs for this page (view filter log)

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 14:1414:14, 20 July 2024 Swinub talk contribs m 2,564 bytes −1 a undo

curprev 11:0811:08, 7 May 2024 Authchir talk contribs m 2,565 bytes +14 Update Jasmin Blanchette's affiliation undo

curprev 03:2403:24, 27 September 2023 Citation bot talk contribs 2,551 bytes +96 Add: isbn, publisher, date. Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 13:5613:56, 29 April 2023 Smasongarrison talk contribs 2,455 bytes +13 Newspaper/Magazine/journal cleanup; General + punct fixes undo Tag: AWB

curprev 05:3505:35, 18 August 2022 Novemberjazz talk contribs 2,442 bytes +4 link to Jasmin Blanchette undo Tag: Visual edit
curprev 05:2305:23, 18 August 2022 Novemberjazz talk contribs 2,438 bytes +78 copyedits undo Tag: Visual edit

curprev 04:2404:24, 13 January 2021 BattyBot talk contribs m 2,360 bytes +1 →top: Fixed CS1 errors: dates and general fixes undo Tag: AWB

curprev 15:4115:41, 11 January 2021 193.157.195.235 talk 2,359 bytes 0 No edit summary undo
curprev 15:4015:40, 11 January 2021 193.157.195.235 talk 2,359 bytes +125 Updated Information undo Tag: Visual edit

curprev 05:3705:37, 15 July 2020 Fezzy1347 talk contribs 2,234 bytes +3 Infobox: 1983-present → 1983–present. Em dashes are unspaced: changed to en dash. undo

curprev 01:3901:39, 30 May 2019 Headbomb talk contribs 2,231 bytes +35 J. Automat. Reason. undo

curprev 03:2103:21, 2 September 2017 KolbertBot talk contribs m 2,196 bytes +3 Bot: HTTP→HTTPS undo

curprev 07:2507:25, 6 November 2016 Bender the Bot talk contribs m 2,193 bytes −2 →top: clean up; http→https for Google Books using AWB undo

curprev 09:1009:10, 25 September 2014 Jochen Burghardt talk contribs 2,195 bytes +3 →top undo

curprev 01:4801:48, 2 February 2014 Cydebot talk contribs m 2,192 bytes +23 Robot - Speedily moving category Springer academic journals to Category:Springer Science+Business Media academic journals per CFDS. undo

curprev 08:3708:37, 14 June 2013 Fgegypt talk contribs 2,169 bytes −40 No edit summary undo
curprev 08:3708:37, 14 June 2013 Fgegypt talk contribs 2,209 bytes +40 No edit summary undo

curprev 20:2320:23, 8 July 2012 Guillaume2303 talk contribs 2,169 bytes +40 added Category:Springer academic journals using HotCat undo
curprev 20:2220:22, 8 July 2012 Guillaume2303 talk contribs 2,129 bytes +332 complete infobox, add EL, update IF undo
curprev 19:2619:26, 8 July 2012 Duncan.Hull talk contribs 1,797 bytes +415 Template:Infobox journal undo

curprev 00:3000:30, 1 June 2011 Ruud Koot talk contribs 1,382 bytes +39 Category:Computer science journals undo

curprev 15:1115:11, 22 January 2011 Jpbowen talk contribs 1,343 bytes +41 Added category undo

curprev 13:3013:30, 2 August 2010 Stephan Schulz talk contribs 1,302 bytes +488 Update a bit undo

curprev 19:2519:25, 29 April 2010 Gregbard talk contribs m 814 bytes +39 Adding category Category:Logic in computer science (using HotCat) undo

Retrieved from "https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning"