Well-formed formula: 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

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

27 August 2024

curprev 08:2408:24, 27 August 2024 Citation bot talk contribs 18,596 bytes −432 Altered url. URLs might have been anonymized. Add: authors 1-1. Removed URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

11 August 2024

cur prev 21:4921:49, 11 August 2024 MichaelMaggs talk contribs 19,028 bytes +19 →See also: add link to game undo

9 August 2024

cur prev 22:3522:35, 9 August 2024 Farkle Griffen talk contribs 19,009 bytes +1 Fixed typo undo Tags: Mobile edit Mobile app edit iOS app edit App section source
cur prev 22:3322:33, 9 August 2024 Farkle Griffen talk contribs 19,008 bytes +23 Combined pronunciation sources into one note undo Tags: Mobile edit Mobile app edit iOS app edit App section source

1 July 2024

cur prev 23:1023:10, 1 July 2024 Thiagovscoelho talk contribs 18,985 bytes +11 No edit summary undo
cur prev 23:0923:09, 1 July 2024 Thiagovscoelho talk contribs 18,974 bytes +69 improved verification for Gensler undo Tag: Visual edit
cur prev 23:0723:07, 1 July 2024 Thiagovscoelho talk contribs 18,905 bytes +87 No edit summary undo
cur prev 23:0523:05, 1 July 2024 Thiagovscoelho talk contribs 18,818 bytes +30 Moved parenthetical to improve flow of text undo Tag: Visual edit
cur prev 23:0223:02, 1 July 2024 Thiagovscoelho talk contribs 18,788 bytes +2,851 More on pronunciation undo Tag: Visual edit: Switched
cur prev 22:4322:43, 1 July 2024 Thiagovscoelho talk contribs 15,937 bytes +46 No edit summary undo
cur prev 22:3622:36, 1 July 2024 Thiagovscoelho talk contribs m 15,891 bytes −4 MOS curly quotes undo Tag: Visual edit
cur prev 22:3122:31, 1 July 2024 Thiagovscoelho talk contribs 15,895 bytes +200 Added pronunciation of wff undo Tag: Visual edit

10 June 2024

cur prev 01:4401:44, 10 June 2024 David Eppstein talk contribs 15,695 bytes −604 rm vague and cleanup-tagged paragraph undo

22 May 2024

cur prev 16:2616:26, 22 May 2024 D.Lazard talk contribs 16,299 bytes +36 Undid revision 1225134153 by Oneequalsequalsone (talk) do not remove anchors that are targets of redirect. and keep bf for these targets undo Tag: Undo
cur prev 15:5615:56, 22 May 2024 Oneequalsequalsone talk contribs 16,263 bytes +14 →Closed formulas: change 'closure' to 'universal closure' undo Tag: Visual edit
cur prev 15:4115:41, 22 May 2024 Oneequalsequalsone talk contribs m 16,249 bytes −36 →Predicate logic: change bold to italic undo Tags: Reverted Visual edit

26 December 2023

cur prev 16:4216:42, 26 December 2023 Oneequalsequalsone talk contribs 16,259 bytes +1 Changing short description from "Syntaxically correct logical formula" to "Syntactically correct logical formula" undo Tag: Shortdesc helper

15 October 2023

cur prev 15:4715:47, 15 October 2023 D.Lazard talk contribs 16,258 bytes −71 Reverted 1 edit by Systemal (talk): Mathematical logic is not linguistic undo Tags: Twinkle Undo
cur prev 13:1113:11, 15 October 2023 Systemal talk contribs m 16,329 bytes +71 Added sentence to introduction stating how well-formed formulas have the quality of well-formedness. undo Tags: Reverted Visual edit Mobile edit Mobile web edit

16 March 2023

cur prev 13:1513:15, 16 March 2023 Citation bot talk contribs 16,258 bytes −121 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

25 February 2023

cur prev 09:0509:05, 25 February 2023 D.Lazard talk contribs 16,379 bytes +6 Changing short description from "Concept in logic (mathematics)" to "Syntaxically correct logical formula" undo Tag: Shortdesc helper

24 February 2023

cur prev 19:1419:14, 24 February 2023 Donko XI talk contribs 16,373 bytes −52 →top: Adjusted short description as per WP:SHORTDESC. The purpose of the short description is not to define the subject WP:SDNOTDEF, but to briefly indicate the field and disambiguate search results. undo Tags: Mobile edit Mobile app edit Android app edit

8 February 2023

cur prev 00:0600:06, 8 February 2023 TrippingTroubadour talk contribs 16,425 bytes −4 →Propositional calculus: Removed unnecessary parentheses undo

18 October 2022

cur prev 20:2520:25, 18 October 2022 95.236.175.124 talk 16,429 bytes +27 +wlink undo

16 October 2022

cur prev 19:0819:08, 16 October 2022 Redrose64 talk contribs m 16,402 bytes −1 Reverted edits by 2.147.226.24 (talk) to last version by Fgnievinski undo Tag: Rollback
cur prev 09:4809:48, 16 October 2022 2.147.226.24 talk 16,403 bytes +1 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

15 October 2022

cur prev 16:1416:14, 15 October 2022 Fgnievinski talk contribs 16,402 bytes +34 No edit summary undo Tag: 2017 wikitext editor

14 October 2022

cur prev 20:5520:55, 14 October 2022 C7XWiki talk contribs 16,368 bytes +304 →Introduction: Historical context undo Tags: Mobile edit Mobile web edit

13 July 2022

cur prev 06:3806:38, 13 July 2022 Cedar101 talk contribs m 16,064 bytes +20 →Closed formulas: {{math|}} undo

4 July 2022

cur prev 19:2419:24, 4 July 2022 Felix QW talk contribs m 16,044 bytes +36 →Predicate logic: Added anchor and bolded term. undo Tag: 2017 wikitext editor

21 May 2022

cur prev 06:5106:51, 21 May 2022 Fgnievinski talk contribs 16,008 bytes +30 →See also undo

3 March 2022

cur prev 02:4902:49, 3 March 2022 Trovatore talk contribs 15,978 bytes −92 Undid revision 1074948045 by Freeman1856 (talk) please stop this -- I see others have asked you on your talk page undo Tag: Undo
cur prev 01:5901:59, 3 March 2022 Freeman1856 talk contribs m 16,070 bytes +92 fixed links to "propositional logic" to "propositional calculus" undo Tag: Reverted

8 December 2021

cur prev 00:3500:35, 8 December 2021 118.208.0.41 talk 15,978 bytes −1 grammar edit: has -> is undo

7 February 2021

cur prev 17:4117:41, 7 February 2021 Hellacioussatyr talk contribs m 15,979 bytes −16 →Predicate logic: Removed spaces before symbols undo Tag: 2017 wikitext editor
cur prev 17:3917:39, 7 February 2021 Hellacioussatyr talk contribs m 15,995 bytes 0 →Closed formulas: Removed italics from numeral undo Tag: 2017 wikitext editor

21 December 2020

cur prev 16:3316:33, 21 December 2020 Monkbot talk contribs m 15,995 bytes +3 Task 18 (cosmetic): eval 9 templates: hyphenate params (3×); undo Tag: AWB

20 July 2020

cur prev 23:0723:07, 20 July 2020 Matthiaspaul talk contribs 15,992 bytes −20 →Propositional calculus: improved link undo

15 April 2020

cur prev 18:2218:22, 15 April 2020 Langtutheky talk contribs 16,012 bytes +3 →Predicate logic: A predicate is strictly a Boolean-valued function. A predicate, applied to a tuple of terms, is an atomic formula. A relation is not logically equivalent to a predicate. Some relations are not functions. undo Tag: Visual edit

13 February 2020

cur prev 09:1709:17, 13 February 2020 InternetArchiveBot talk contribs 16,009 bytes +160 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0) (GreenC - 5273 undo

12 February 2020

cur prev 22:1522:15, 12 February 2020 GreenC bot talk contribs 15,849 bytes −59 Move 1 url. Wayback Medic 2.5 undo

10 November 2019

cur prev 19:2919:29, 10 November 2019 Wcherowi talk contribs 15,908 bytes +274 Reverted good faith edits by Sunkari vasu (talk): While current explanation can use some simplifying, this replacement goes a bit too far in that direction (TW) undo Tag: Undo
cur prev 17:3217:32, 10 November 2019 Sunkari vasu talk contribs 15,634 bytes −274 Described it in a understandable way undo Tags: references removed Visual edit Mobile edit Mobile web edit

17 October 2019

cur prev 18:1818:18, 17 October 2019 Tambora1815 talk contribs 15,908 bytes −30 →Usage of the terminology undo