Conjunction elimination: Revision history

27 April 2024

• curprev 21:1921:19, 27 April 2024‎ Psychastes talk contribs‎ 3,116 bytes +14‎ stub tag undo

13 June 2022

• curprev 17:2617:26, 13 June 2022‎ SamanthaNguyen talk contribs‎ 3,102 bytes +705‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

14 January 2019

• curprev 21:2421:24, 14 January 2019‎ Guy Macon talk contribs‎ 2,397 bytes −19‎ Spamming templates into dozens of articles. Undid revision 877940584 by MisterCake (talk) undo Tag: Undo

11 January 2019

• curprev 21:5721:57, 11 January 2019‎ MisterCake talk contribs‎ 2,416 bytes +19‎ →‎References undo

30 August 2018

• curprev 12:2012:20, 30 August 2018‎ RussBot talk contribs‎ m 2,397 bytes +8‎ Robot: fix links to disambiguation page Validity undo

16 May 2015

• curprev 21:5621:56, 16 May 2015‎ Andrewjameskirk talk contribs‎ 2,389 bytes +134‎ clarified that there are two separate rules of inference under this label, and clarified how they are applied undo

10 March 2015

• curprev 10:4910:49, 10 March 2015‎ Jochen Burghardt talk contribs‎ 2,255 bytes +9‎ →‎Formal notation: adapt to new title undo
• curprev 10:4710:47, 10 March 2015‎ Jochen Burghardt talk contribs‎ 2,246 bytes +185‎ →‎top: copy-edit lead sentence to fit new title; suggest to italicize "and"; put ref. from talk page here, sourcing "and elim." / "∧ elim." undo
• curprev 09:2309:23, 10 March 2015‎ Anthony Appleyard talk contribs‎ 2,061 bytes −113‎ not needed undo
• curprev 09:1209:12, 10 March 2015‎ Anthony Appleyard talk contribs‎ m 2,174 bytes 0‎ Anthony Appleyard moved page Simplification to Conjunction elimination: Requested at WP:RM as uncontroversial (permalink) undo

29 January 2015

• curprev 21:1021:10, 29 January 2015‎ JHunterJ talk contribs‎ 2,174 bytes −23‎ easier reading undo
• curprev 21:0521:05, 29 January 2015‎ JHunterJ talk contribs‎ 2,197 bytes +15‎ update hatnote undo
• curprev 21:0421:04, 29 January 2015‎ JHunterJ talk contribs‎ m 2,182 bytes 0‎ JHunterJ moved page Simplification (logic) to Simplification: rv; use WP:RM to ensure consensus with the change from primary topic to no primary undo
• curprev 20:0520:05, 29 January 2015‎ Jarble talk contribs‎ 2,182 bytes −43‎ Simplification no longer redirects here. undo
• curprev 20:0020:00, 29 January 2015‎ Jarble talk contribs‎ m 2,225 bytes 0‎ Jarble moved page Simplification to Simplification (logic) over redirect: "Simplification (logic)" is a less ambiguous title. Simplification should be a disambiguation page instead of a redirect page. undo

4 January 2015

• curprev 04:0304:03, 4 January 2015‎ Jarble talk contribs‎ 2,225 bytes +148‎ No edit summary undo

13 December 2014

• curprev 18:0618:06, 13 December 2014‎ Alejandrocaro35 talk contribs‎ 2,077 bytes +3‎ →‎Formal notation undo

11 November 2014

• curprev 12:4512:45, 11 November 2014‎ 101.167.18.166 talk‎ 2,074 bytes +38‎ No edit summary undo

9 July 2014

• curprev 18:4618:46, 9 July 2014‎ IronGargoyle talk contribs‎ m 2,036 bytes +1,273‎ Reverted edits by 96.238.133.26 (talk): unexplained content removal (HG) undo
• curprev 18:4618:46, 9 July 2014‎ 96.238.133.26 talk‎ 763 bytes −1,273‎ No edit summary undo Tag: categories removed

28 February 2014

• curprev 09:4909:49, 28 February 2014‎ AnomieBOT talk contribs‎ m 2,036 bytes +57‎ Dating maintenance tags: {{Cn}} undo
• curprev 09:2909:29, 28 February 2014‎ Jochen Burghardt talk contribs‎ 1,979 bytes +75‎ →‎top: requiring proper references undo

3 April 2013

• curprev 03:4403:44, 3 April 2013‎ Addbot talk contribs‎ m 1,904 bytes −35‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q9289849 undo

10 March 2012

• curprev 23:0023:00, 10 March 2012‎ Gregbard talk contribs‎ m 1,939 bytes −47‎ clean up/ref using AWB undo

6 March 2012

• curprev 02:2802:28, 6 March 2012‎ CBM talk contribs‎ 1,986 bytes +18‎ seriously? undo
• curprev 00:2700:27, 6 March 2012‎ Gregbard talk contribs‎ 1,968 bytes +1,049‎ expand undo

4 March 2012

• curprev 01:3901:39, 4 March 2012‎ Gregbard talk contribs‎ 919 bytes +45‎ added Category:Theorems in propositional logic using HotCat undo

21 February 2012

• curprev 05:1705:17, 21 February 2012‎ Gregbard talk contribs‎ 874 bytes −19‎ removed Category:Logic using HotCat undo
• curprev 03:4703:47, 21 February 2012‎ Dooooot talk contribs‎ 893 bytes +1‎ No edit summary undo

19 February 2012

• curprev 00:3200:32, 19 February 2012‎ Gregbard talk contribs‎ 892 bytes −20‎ Template:Transformation rules undo

15 December 2011

• curprev 01:1601:16, 15 December 2011‎ Arthur Rubin talk contribs‎ m 912 bytes −46‎ Reverted 1 edit by 97.87.29.188 (talk) identified as vandalism to last revision by Smjg. (TW) undo
• curprev 00:0500:05, 15 December 2011‎ 97.87.29.188 talk‎ 958 bytes +46‎ It's Raining, It's Pouring undo

5 December 2010

• curprev 22:5922:59, 5 December 2010‎ Smjg talk contribs‎ m 912 bytes −145‎ rm redundant dablink undo

14 November 2010

• curprev 18:1418:14, 14 November 2010‎ Jim.belk talk contribs‎ 1,057 bytes +23‎ Added rules of inference navbox undo

31 May 2010

• curprev 08:5008:50, 31 May 2010‎ Yobot talk contribs‎ m 1,034 bytes −4‎ merged/moved DABlinks + genfixes using AWB undo

8 May 2010

• curprev 23:3023:30, 8 May 2010‎ Markus Prokott talk contribs‎ m 1,038 bytes −23‎ Linkfix undo
• curprev 18:4618:46, 8 May 2010‎ Yobot talk contribs‎ m 1,061 bytes +3‎ genfixes + autotagging, DABlinks to top, replaced: otheruses → Other uses using AWB undo

20 February 2010

• curprev 01:5201:52, 20 February 2010‎ Luckas-bot talk contribs‎ m 1,058 bytes +35‎ robot Adding: pt:Eliminação da conjunção undo

4 January 2010

• curprev 06:5706:57, 4 January 2010‎ Silvergoat talk contribs‎ 1,023 bytes +79‎ please help rewrite 2nd line (if needed) undo
• curprev 06:4706:47, 4 January 2010‎ Silvergoat talk contribs‎ 944 bytes +14‎ No edit summary undo

17 December 2009

• curprev 14:5514:55, 17 December 2009‎ SmackBot talk contribs‎ m 930 bytes +2‎ remove Erik9bot category,outdated, tag and general fixes undo

23 November 2009

• curprev 17:1417:14, 23 November 2009‎ Fratrep talk contribs‎ 928 bytes −4‎ Repairing link to disambiguation page - You can help! undo

30 September 2009

• curprev 22:2422:24, 30 September 2009‎ Gregbard talk contribs‎ 932 bytes −24‎ double redirect formal language using AWB undo

18 September 2009

• curprev 02:2102:21, 18 September 2009‎ Gregbard talk contribs‎ 956 bytes +24‎ Formal language, Replaced: formal language → formal language, using AWB undo

11 July 2009

• curprev 02:4202:42, 11 July 2009‎ Erik9bot talk contribs‎ 932 bytes +49‎ add Category:Articles lacking sources (Erik9bot) undo

8 July 2009

• curprev 14:2914:29, 8 July 2009‎ Dylan620 talk contribs‎ m 883 bytes +366‎ Reverted edits by 59.92.63.56 to last revision by Robbot (HG) undo
• curprev 14:2814:28, 8 July 2009‎ 59.92.63.56 talk‎ 517 bytes −366‎ No edit summary undo

4 June 2009

• curprev 04:4204:42, 4 June 2009‎ Robbot talk contribs‎ m 883 bytes +20‎ robot Modifying: sv:Matematiskt uttryck#Förenkling undo

21 May 2009

• curprev 22:3422:34, 21 May 2009‎ 114.76.44.0 talk‎ 863 bytes −10‎ Undid revision 291244793 by 117.197.116.125 (talk) reverted vandalism undo

20 May 2009

• curprev 19:5619:56, 20 May 2009‎ 117.197.116.125 talk‎ 873 bytes +10‎ No edit summary undo