Jump to content

Disjunction elimination: 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 04:4904:49, 15 November 2023‎ Philipnelson99 talk contribs‎ m 3,279 bytes −10‎ Reverted edits by 94.206.147.2 (talk) (HG) (3.4.11) undo Tags: Huggle Rollback
curprev 04:4904:49, 15 November 2023‎ 94.206.147.2 talk‎ 3,289 bytes +10‎ No edit summary undo Tag: Reverted

curprev 22:3422:34, 8 September 2023‎ HeyElliott talk contribs‎ m 3,279 bytes −1‎ Removed unnecessary , undo Tag: Visual edit

curprev 01:2801:28, 6 December 2022‎ MrOllie talk contribs‎ 3,280 bytes −588‎ Undid revision 1099322481 by Raycheng200 (talk) rm stackexchange as source undo Tag: Undo

curprev 20:4820:48, 9 September 2022‎ Immanuelle talk contribs‎ 3,868 bytes +63‎ Adding short description: "Rule of inference of propositional logic" undo Tag: Shortdesc helper

curprev 22:2522:25, 23 August 2022‎ Citation bot talk contribs‎ 3,805 bytes +21‎ Alter: title. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 2781/3841 undo

curprev 04:4404:44, 20 July 2022‎ Raycheng200 talk contribs‎ 3,784 bytes +588‎ No edit summary undo Tag: Reverted

curprev 16:4516:45, 13 June 2022‎ SamanthaNguyen talk contribs‎ 3,196 bytes +453‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

curprev 03:0603:06, 13 January 2022‎ Rlink2 talk contribs‎ m 2,743 bytes +205‎ →‎top: Fixing bare references Wikipedia:Bare_URLs undo Tag: AWB

curprev 16:4716:47, 26 December 2020‎ Monkbot talk contribs‎ m 2,538 bytes +3‎ Task 18 (cosmetic): eval 1 template: hyphenate params (3×); undo Tag: AWB

curprev 14:0714:07, 18 September 2019‎ Monkbot talk contribs‎ m 2,535 bytes −1‎ →‎top: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

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

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

curprev 12:1212:12, 30 August 2018‎ R'n'B talk contribs‎ m 2,536 bytes +8‎ Disambiguate Validity to Validity (logic) using popups undo

curprev 21:3921:39, 30 June 2018‎ Texvc2LaTeXBot talk contribs‎ m 2,528 bytes +7‎ replacing deprecated latex syntax operator User:Salix alba Wikipedia:Bots/Requests for approval/Texvc2LaTeXBot undo

curprev 21:2321:23, 28 April 2018‎ Omnipaedista talk contribs‎ 2,521 bytes +44‎ clarification undo

curprev 22:3022:30, 13 December 2016‎ InternetArchiveBot talk contribs‎ 2,477 bytes +209‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v1.2.7.1) undo

curprev 17:3617:36, 8 November 2015‎ Paradoctor talk contribs‎ 2,268 bytes −140‎ nope, it's right here undo

curprev 01:4101:41, 9 April 2015‎ Vzaliva talk contribs‎ 2,408 bytes +60‎ Added new reference undo
curprev 01:4001:40, 9 April 2015‎ Vzaliva talk contribs‎ 2,348 bytes −98‎ No edit summary undo
curprev 01:3901:39, 9 April 2015‎ Vzaliva talk contribs‎ 2,446 bytes −67‎ removed broken reference undo

curprev 12:4412:44, 11 November 2014‎ 101.167.18.166 talk‎ 2,513 bytes +23‎ No edit summary undo

curprev 13:0613:06, 24 February 2014‎ Alejandrocaro35 talk contribs‎ 2,490 bytes +45‎ No edit summary undo

curprev 11:0811:08, 6 July 2013‎ Graham87 talk contribs‎ m 2,445 bytes 0‎ 1 revision from nost:Disjunction elimination: import old edit from the Nostalgia Wikipedia, see User:Graham87/Import undo

curprev 10:2610:26, 18 February 2013‎ Arthur Rubin talk contribs‎ 2,445 bytes −849‎ remove "proof" using AWB undo

curprev 23:2023:20, 12 March 2012‎ 213.22.73.54 talk‎ 3,294 bytes 0‎ No edit summary undo

curprev 21:4521:45, 10 March 2012‎ Gregbard talk contribs‎ m 3,294 bytes −33‎ clean up using AWB undo

curprev 23:2723:27, 5 March 2012‎ Gregbard talk contribs‎ m 3,327 bytes +711‎ form undo
curprev 23:1423:14, 5 March 2012‎ Gregbard talk contribs‎ m 2,616 bytes +513‎ expand undo
curprev 22:4822:48, 5 March 2012‎ Gregbard talk contribs‎ m 2,103 bytes +1‎ fx hat undo
curprev 22:4422:44, 5 March 2012‎ Gregbard talk contribs‎ m 2,102 bytes +139‎ hat undo

curprev 04:1104:11, 22 February 2012‎ Dooooot talk contribs‎ 1,963 bytes +1‎ →‎Proof undo

curprev 05:1805:18, 21 February 2012‎ Gregbard talk contribs‎ 1,962 bytes −19‎ removed Category:Logic using HotCat undo
curprev 04:0504:05, 21 February 2012‎ Dooooot talk contribs‎ 1,981 bytes +223‎ No edit summary undo
curprev 03:5903:59, 21 February 2012‎ Dooooot talk contribs‎ 1,758 bytes +796‎ No edit summary undo

curprev 01:0201:02, 19 February 2012‎ Gregbard talk contribs‎ 962 bytes +3‎ Template:Transformation rules undo

curprev 10:2410:24, 6 September 2011‎ Jameshfisher talk contribs‎ 959 bytes +26‎ added other name for this inference rule as I was taught undo

curprev 06:2106:21, 26 August 2011‎ Cybercobra talk contribs‎ 933 bytes +5‎ formatting undo

curprev 18:1518:15, 14 November 2010‎ Jim.belk talk contribs‎ 928 bytes +23‎ Added rules of inference navbox undo

curprev 01:2601:26, 17 December 2009‎ SmackBot talk contribs‎ m 905 bytes +26‎ remove Erik9bot category,outdated, tag and general fixes undo

curprev 17:3317:33, 28 June 2009‎ Erik9bot talk contribs‎ 879 bytes +49‎ add Category:Articles lacking sources (Erik9bot) undo

curprev 14:3914:39, 27 October 2008‎ Linas talk contribs‎ 830 bytes +27‎ →‎See also: Disjunct normal form undo

curprev 22:4722:47, 27 October 2007‎ 80.229.229.117 talk‎ 803 bytes +14‎ No edit summary undo

curprev 14:0314:03, 21 July 2007‎ CBM talk contribs‎ 789 bytes −19‎ →‎See also: switch stub type undo

curprev 06:3406:34, 11 July 2007‎ Gregbard talk contribs‎ m 808 bytes +34‎ No edit summary undo

curprev 12:3812:38, 23 June 2007‎ Gregbard talk contribs‎ m 774 bytes +18‎ No edit summary undo

curprev 02:2402:24, 4 May 2007‎ Hotfeba talk contribs‎ 756 bytes −1‎ →‎See also= undo

curprev 21:2721:27, 4 April 2007‎ Arcadian talk contribs‎ 757 bytes +49‎ link Argument in the alternative undo

curprev 15:0815:08, 20 January 2007‎ CBM talk contribs‎ 708 bytes +13‎ sharpen category undo
curprev 15:0115:01, 20 January 2007‎ CBM talk contribs‎ 695 bytes −19‎ replace wikify with stub (this is wikified). Switch category. undo

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