Rule of inference: 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 09:3809:38, 23 October 2023‎ 95.215.238.144 talk‎ 11,370 bytes +21‎ Adding link undo

curprev 17:1517:15, 19 October 2023‎ NoNAja talk contribs‎ m 11,349 bytes +2‎ Reverted edits by 81.31.9.166 (talk) to last revision by Systemal: nonconstructive edits undo Tags: Rollback SWViewer [1.4]
curprev 17:1517:15, 19 October 2023‎ 81.31.9.166 talk‎ 11,347 bytes −2‎ hehe undo Tags: Reverted Mobile edit Mobile web edit

curprev 00:2800:28, 10 October 2023‎ Systemal talk contribs‎ 11,349 bytes +2‎ Divided paragraph in introduction. undo Tags: Visual edit Mobile edit Mobile web edit

curprev 18:1318:13, 21 September 2023‎ InkTide talk contribs‎ 11,347 bytes −26‎ Removal of "Omixify Law of inference"; not sure why that line was there. undo Tags: Manual revert Visual edit
curprev 18:0918:09, 21 September 2023‎ InkTide talk contribs‎ m 11,373 bytes −1‎ Spelling/grammar/punctuation/typographical correction undo Tags: Reverted Visual edit

curprev 14:1614:16, 20 September 2023‎ Elseware talk contribs‎ 11,374 bytes −1‎ fix broken template call undo Tags: Reverted Visual edit: Switched

curprev 01:0001:00, 18 September 2023‎ 100.11.58.116 talk‎ 11,375 bytes +27‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 13:1913:19, 15 September 2023‎ Riya2516 talk contribs‎ 11,348 bytes +1‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 17:2717:27, 23 July 2023‎ 84.90.68.238 talk‎ 11,347 bytes 0‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 11:2011:20, 19 July 2023‎ 189.144.38.130 talk‎ 11,347 bytes +10‎ First sentence improvement undo

curprev 18:5918:59, 1 July 2023‎ Jpgordon talk contribs‎ m 11,337 bytes +90‎ Reverted edit by 2001:448A:5102:BC4F:54B9:53C:9738:135D (talk) to last version by 2804:F14:80B3:CB01:F4A3:CBC5:B217:C28E undo Tag: Rollback
curprev 15:3415:34, 1 July 2023‎ 2001:448a:5102:bc4f:54b9:53c:9738:135d talk‎ 11,247 bytes −90‎ jaringan undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 10:0810:08, 26 June 2023‎ 2804:f14:80b3:cb01:f4a3:cbc5:b217:c28e talk‎ 11,337 bytes +18‎ Rv further. undo Tag: Undo
curprev 10:0710:07, 26 June 2023‎ 2804:f14:80b3:cb01:f4a3:cbc5:b217:c28e talk‎ 11,319 bytes +126‎ Rv test edit. undo Tag: Undo

curprev 13:5313:53, 22 June 2023‎ 188.241.45.110 talk‎ 11,193 bytes −126‎ →‎Standard form undo Tag: Reverted

curprev 08:5308:53, 18 May 2023‎ 24.21.250.185 talk‎ 11,319 bytes −18‎ add fix undo Tag: Reverted

curprev 18:5918:59, 3 May 2023‎ Troutfarm27 talk contribs‎ m 11,337 bytes −195‎ Reverted edits by 88.111.186.25 (talk) (AV) undo Tags: AntiVandal Rollback
curprev 18:5918:59, 3 May 2023‎ 88.111.186.25 talk‎ 11,532 bytes +195‎ Fixed typo, added content undo Tags: Reverted Mobile edit Mobile web edit

curprev 23:2123:21, 4 April 2023‎ Citation bot talk contribs‎ 11,337 bytes +12‎ Alter: isbn. Add: chapter-url. Removed or converted URL. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by Smasongarrison | #UCB_toolbar undo

curprev 14:4514:45, 9 March 2023‎ 167.98.65.26 talk‎ 11,325 bytes 0‎ Undid revision 1142694918 by 62.178.30.64 (talk) undo Tag: Undo

curprev 21:5721:57, 3 March 2023‎ 62.178.30.64 talk‎ 11,325 bytes 0‎ exclamation mark. important! undo Tags: Reverted Mobile edit Mobile web edit

curprev 08:2708:27, 28 December 2022‎ Nardog talk contribs‎ m 11,325 bytes −33‎ Reverted 1 edit by 14.191.24.172 (talk) to last revision by Tropicalkitty undo Tags: Twinkle Undo
curprev 05:5205:52, 28 December 2022‎ 14.191.24.172 talk‎ 11,358 bytes +33‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 06:4806:48, 12 September 2022‎ Tropicalkitty talk contribs‎ m 11,325 bytes +701‎ Undid edits by 85.237.234.103 (talk) to last revision by MatthewHoobin: unexplained content removal undo Tags: Undo SWViewer [1.4]
curprev 06:4806:48, 12 September 2022‎ 85.237.234.103 talk‎ 10,624 bytes −701‎ Useles undo Tags: Reverted Mobile edit Mobile web edit

curprev 00:4800:48, 19 October 2021‎ MatthewHoobin talk contribs‎ m 11,325 bytes 0‎ A → a undo

curprev 01:0001:00, 18 July 2021‎ Hellacioussatyr talk contribs‎ m 11,325 bytes +2‎ →‎Admissibility and derivability undo Tag: 2017 wikitext editor
curprev 00:5900:59, 18 July 2021‎ Hellacioussatyr talk contribs‎ 11,323 bytes +160‎ →‎Admissibility and derivability: rm \frac undo Tag: 2017 wikitext editor

curprev 09:4309:43, 16 June 2021‎ The-erinaceous-one talk contribs‎ 11,163 bytes +226‎ →‎Example: Hilbert systems for two propositional logics: Added explanation of sequent notation undo

curprev 14:1314:13, 14 June 2021‎ 89.164.141.47 talk‎ 10,937 bytes +32‎ No edit summary undo Tag: Visual edit

curprev 11:5011:50, 10 April 2021‎ Chicdat talk contribs‎ 10,905 bytes +98‎ Importing Wikidata short description: "Systematic logical process capable of deriving a conclusion from hypotheses" (Shortdesc helper) undo

curprev 23:3523:35, 6 April 2021‎ Omnipaedista talk contribs‎ 10,807 bytes −26‎ simplify undo

curprev 20:0020:00, 14 January 2021‎ Yobot talk contribs‎ m 10,833 bytes −1‎ →‎Example: Hilbert systems for two propositional logics: References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes undo Tag: AWB

curprev 17:1317:13, 13 January 2021‎ Monkbot talk contribs‎ m 10,834 bytes +1‎ Task 18 (cosmetic): eval 5 templates: hyphenate params (1×); undo Tag: AWB

curprev 01:5901:59, 6 November 2020‎ 104.145.100.232 talk‎ 10,833 bytes −14‎ Remove unnecessary starter. undo Tag: wikilinks removed

curprev 22:4522:45, 7 September 2020‎ David Eppstein talk contribs‎ 10,847 bytes +39‎ Maria Luisa Dalla Chiara undo

curprev 01:1901:19, 15 June 2020‎ InternetArchiveBot talk contribs‎ 10,808 bytes +278‎ Bluelink 2 books for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

curprev 22:2522:25, 1 May 2020‎ Biogeographist talk contribs‎ 10,530 bytes +26‎ →‎See also: added link undo

curprev 04:2604:26, 18 December 2019‎ InternetArchiveBot talk contribs‎ 10,504 bytes +132‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 12:1612:16, 1 June 2019‎ Fabu Nascimento talk contribs‎ 10,372 bytes −2,303‎ Undid revision 899785161 by 2601:846:C100:243:E58D:28D6:E63C:B4E7 (talk). It looks like there was an accidental copy and paste undo Tag: Undo
curprev 10:1910:19, 1 June 2019‎ 2601:846:c100:243:e58d:28d6:e63c:b4e7 talk‎ 12,675 bytes +2,303‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 10:5410:54, 23 May 2019‎ 194.210.254.231 talk‎ 10,372 bytes +4‎ Added link to sequent notation undo Tag: Visual edit

curprev 02:4302:43, 15 April 2019‎ Myasuda talk contribs‎ m 10,368 bytes +1‎ →‎Example: Hilbert systems for two propositional logics: sp undo

curprev 07:1507:15, 7 November 2018‎ 88.140.187.170 talk‎ 10,367 bytes +16‎ →‎Example: Hilbert systems for two propositional logics: Do not see special character on androids undo Tags: Mobile edit Mobile web edit

23 October 2023

19 October 2023

10 October 2023

21 September 2023

20 September 2023

18 September 2023

15 September 2023

22 August 2023

23 July 2023

19 July 2023

1 July 2023

26 June 2023

22 June 2023

18 May 2023

3 May 2023

4 April 2023

9 March 2023

3 March 2023

28 December 2022

12 September 2022

19 October 2021

18 July 2021

16 June 2021

14 June 2021

10 April 2021

6 April 2021

14 January 2021

13 January 2021

6 November 2020

7 September 2020

15 June 2020

1 May 2020

18 December 2019

1 June 2019

23 May 2019

15 April 2019

7 November 2018