Admissible rule: 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:3311:33, 23 February 2024 5.35.115.89 talk 29,363 bytes +18 →Examples: There is anouthere stated in the Rybakov's book. Check it. Also I have doubts about next sentence. undo Tag: Visual edit

curprev 17:5017:50, 28 January 2024 178.115.46.20 talk 29,345 bytes +4 →Examples undo

curprev 15:1315:13, 25 December 2023 BD2412 talk contribs m 29,341 bytes 0 clean up spacing around commas and other punctuation fixes, replaced: ,A → , A (9), ,B → , B (2), ,R → , R (3), ,j → , j (5), ,p → , p (2), ,q → , q, ,s → , s (4), , → , (4), ,2008 → , 2008 undo Tag: AWB

curprev 20:4920:49, 21 December 2023 Jochen Burghardt talk contribs 29,341 bytes +91 →top: disambiguate from "unifier" in theoretical computer science undo

curprev 02:0902:09, 7 November 2023 David Eppstein talk contribs 29,250 bytes +20 Rosalie Iemhoff undo

curprev 10:1510:15, 5 October 2022 2a02:1812:110c:dc00:bc8f:aded:e599:7d9a talk 29,230 bytes +26 No edit summary undo

curprev 22:0022:00, 4 October 2022 2a02:1812:110c:dc00:70f8:9bc4:c9d3:8fca talk 29,204 bytes +351 No edit summary undo

curprev 21:0621:06, 26 September 2022 2a02:1812:110c:dc00:e56c:5257:9009:aeee talk 28,853 bytes −8 No edit summary undo

curprev 10:0610:06, 18 September 2021 83.64.100.29 talk 28,861 bytes +18 →Structural completeness: Link to Grigori Mints undo

curprev 08:5008:50, 17 May 2020 173.63.102.183 talk 28,843 bytes 0 No edit summary undo

curprev 20:3920:39, 31 October 2019 BigDwiki talk contribs m 28,843 bytes 0 Minor Clean Up and Fixes, typo(s) fixed: above mentioned → above-mentioned, … → ... (4) undo Tag: AWB

curprev 06:2906:29, 11 June 2019 176.180.94.83 talk 28,843 bytes −95 →Definitions: Apologies for both previous modifications! I hadn't read which Substitutions it's dealt with 😁 undo Tags: Mobile edit Mobile web edit
curprev 06:1806:18, 11 June 2019 176.180.94.83 talk 28,938 bytes +15 →Definitions: Contraction, Exchange Rules precisely act on Tuples while meaningless on Sets... undo Tags: Mobile edit Mobile web edit
curprev 06:1506:15, 11 June 2019 176.180.94.83 talk 28,923 bytes +80 →Definitions: Specified some little error. undo Tags: Mobile edit Mobile web edit

curprev 00:3600:36, 9 January 2018 JCW-CleanerBot talk contribs m 28,843 bytes +2 →References: task, replaced: Soviet Mathematics Doklady → Soviet Mathematics - Doklady using AWB undo

curprev 04:4604:46, 7 December 2017 2601:245:c300:b8b0:142e:80df:3ba:c01e talk 28,841 bytes −6 →Structural completeness undo

curprev 11:2211:22, 3 December 2017 69.113.91.40 talk 28,847 bytes +13 →Structural completeness undo

curprev 07:1507:15, 27 October 2017 KolbertBot talk contribs m 28,834 bytes +2 Bot: HTTP→HTTPS (v470) undo

curprev 18:5018:50, 24 May 2017 Magic links bot talk contribs m 28,832 bytes +12 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 02:0502:05, 3 February 2017 24.85.232.10 talk 28,820 bytes +24 →Definitions undo

curprev 12:0412:04, 4 October 2016 InternetArchiveBot talk contribs 28,796 bytes +43 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.2.4) undo

curprev 21:0421:04, 30 March 2016 Omnipaedista talk contribs 28,753 bytes +3 standardized punctuation undo

curprev 19:4919:49, 3 January 2016 WillemienH talk contribs m 28,750 bytes +3 →Examples: added parenthesis to improve readability undo

curprev 04:1604:16, 24 October 2015 Nihonjoe talk contribs 28,747 bytes −4 rm link, no apparent articles to link to which describe the meaning given here undo

curprev 21:1421:14, 12 May 2015 BD2412 talk contribs m 28,751 bytes +31 minor fixes, mostly disambig links using AWB undo

curprev 17:1417:14, 14 November 2013 Frietjes talk contribs 28,720 bytes +25 No edit summary undo

curprev 04:1804:18, 18 August 2013 Yobot talk contribs m 28,695 bytes −5 WP:CHECKWIKI error fixes using AWB (9427) undo

curprev 16:1216:12, 29 June 2013 Jeffrey Bosboom talk contribs m 28,700 bytes +1 →Decidability and reduced rules: now -> know undo

curprev 02:4402:44, 8 May 2013 CBM talk contribs 28,699 bytes +26 Undid revision 554058969 by I dream of horses (talk) undo
curprev 01:5701:57, 8 May 2013 I dream of horses talk contribs m 28,673 bytes −26 WPCleaner v1.27 - HTML list elements (Fixed using WP:WCW) undo

curprev 19:1419:14, 25 April 2013 CBM talk contribs 28,699 bytes +25 Undid revision 552146376 by I dream of horses (talk) undo
curprev 17:0317:03, 25 April 2013 I dream of horses talk contribs m 28,674 bytes −25 WPCleaner v1.27 - HTML list elements - Table not correct end (Fixed using WP:WCW) undo

curprev 17:1417:14, 13 March 2013 Addbot talk contribs m 28,699 bytes −23 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q1560157 undo

curprev 16:2416:24, 25 February 2013 Magioladitis talk contribs 28,722 bytes +5 Undid revision 540287367 by Magioladitis (talk) undo
curprev 16:2016:20, 25 February 2013 Magioladitis talk contribs m 28,717 bytes −5 clean up using AWB (8950) undo

curprev 17:5517:55, 27 November 2012 Tijfo098 talk contribs m 28,722 bytes +2 →Bases of admissible rules: follow the style of the rest of the article undo
curprev 17:5117:51, 27 November 2012 Tijfo098 talk contribs 28,720 bytes −22 →Bases of admissible rules: this is a def, so needs no wikilink undo

curprev 04:1304:13, 24 April 2012 SchreiberBike talk contribs 28,742 bytes +22 Disambiguation needed for the link Basis undo

curprev 19:5519:55, 10 March 2012 Gregbard talk contribs m 28,720 bytes +41 clean up/links using AWB undo

curprev 01:1801:18, 27 February 2012 CBM talk contribs 28,679 bytes 0 Punctuation goes inside displayed math to prevent bad line breaks. undo
curprev 01:1701:17, 27 February 2012 CBM talk contribs m 28,679 bytes +5 →[[WP:LEAD|Lede]]: Restore more informative template invocation undo

curprev 10:1710:17, 26 February 2012 Magioladitis talk contribs 28,674 bytes −20 pages contains HTML list element (checkwiki error 12) but it can't be fixed since wikimarkup doesnt provide similar functionality undo

curprev 18:3618:36, 24 February 2012 Magioladitis talk contribs 28,694 bytes −2 fixed nbot issue(?) undo

curprev 22:2322:23, 23 February 2012 Yobot talk contribs m 28,696 bytes −5 WP:CHECKWIKI error fixes + general fixes using AWB (7967) undo

curprev 21:5521:55, 18 February 2012 Magioladitis talk contribs m 28,701 bytes 0 minor changes using AWB (7966) undo
curprev 21:4621:46, 18 February 2012 Magioladitis talk contribs 28,701 bytes +22 {{nobots|deny=Yobot}} until we find why this page keeps relisted undo

curprev 22:4322:43, 17 February 2012 CBM talk contribs m 28,679 bytes +5 Undid revision 477441804 by Yobot (talk) - not a checkwiki problem undo
curprev 22:4022:40, 17 February 2012 Yobot talk contribs m 28,674 bytes −5 WP:CHECKWIKI error fixes + general fixes using AWB (7966) undo

curprev 11:4611:46, 4 February 2012 Magioladitis talk contribs 28,679 bytes −1 removed whitespace undo

curprev 01:2301:23, 3 February 2012 CBM talk contribs 28,680 bytes +6 Undid revision 474641585 by Magioladitis (talk) undo

23 February 2024

28 January 2024

25 December 2023

21 December 2023

7 November 2023

5 October 2022

4 October 2022

26 September 2022

18 September 2021

17 May 2020

31 October 2019

11 June 2019

9 January 2018

7 December 2017

3 December 2017

27 October 2017

24 May 2017

3 February 2017

4 October 2016

30 March 2016

3 January 2016

24 October 2015

12 May 2015

14 November 2013

18 August 2013

29 June 2013

8 May 2013

25 April 2013

13 March 2013

25 February 2013

27 November 2012

24 April 2012

10 March 2012

27 February 2012

26 February 2012

24 February 2012

23 February 2012

18 February 2012

17 February 2012

4 February 2012

3 February 2012