Jump to content

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 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 05:5705:57, 9 October 2023‎ 109.183.160.251 talk‎ 1,429 bytes −1‎ →‎External links undo Tags: Mobile edit Mobile web edit
curprev 05:5705:57, 9 October 2023‎ 109.183.160.251 talk‎ 1,430 bytes −10‎ →‎External links undo Tags: Mobile edit Mobile web edit

curprev 23:2623:26, 5 October 2021‎ Liz talk contribs‎ 1,440 bytes −4‎ Removing link(s) to "Federated Logic Conference": Removing links to deleted page Federated Logic Conference. undo Tag: Twinkle

curprev 21:3221:32, 12 April 2021‎ Tom.Reding talk contribs‎ m 1,444 bytes +30‎ +{{Authority control}} (3 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 18:4818:48, 16 February 2015‎ 2601:9:8580:c0:7105:1d85:dea6:99a3 talk‎ 1,414 bytes +333‎ added a few occurrences of the conference undo

curprev 08:1508:15, 12 September 2011‎ Stuartyeates talk contribs‎ 1,081 bytes +40‎ Added {{primary sources}} tag to article (TW) undo

curprev 01:4501:45, 30 March 2010‎ Dawynn talk contribs‎ 1,041 bytes +26‎ →‎External links: Stub-sorting. You can help! undo

curprev 20:5420:54, 9 May 2009‎ Miym talk contribs‎ m 1,015 bytes −27‎ →‎External links: cat undo

curprev 16:3716:37, 15 May 2008‎ 81.229.170.222 talk‎ 1,042 bytes −3‎ No edit summary undo

curprev 09:5509:55, 10 November 2007‎ RainbowCrane talk contribs‎ 1,045 bytes −1‎ AWB recategorisation, WikiProject Stub Sorting, Replaced: {{computer-stub}} → {{comp-sci-stub}} using AWB undo

curprev 12:5812:58, 9 April 2007‎ Dr Almost talk contribs‎ m 1,046 bytes +34‎ bypass new redirect (CADE) undo

curprev 12:2312:23, 30 September 2006‎ JonHarder talk contribs‎ 1,012 bytes −16‎ Years and month linking not usually necessary for context. See MOS:DATE. undo
curprev 02:4902:49, 30 September 2006‎ Kaustuv talk contribs‎ m 1,028 bytes +31‎ +cat:logic conferences undo
curprev 01:1401:14, 30 September 2006‎ JonHarder talk contribs‎ 997 bytes −28‎ Usually shouldn't be in both cat and subcat. undo

curprev 17:0817:08, 19 August 2006‎ Kaustuv talk contribs‎ m 1,025 bytes +223‎ minor adds undo

curprev 22:2022:20, 18 August 2006‎ Kaustuv talk contribs‎ m 802 bytes +802‎ stub

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