Well-formed formula: 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 01:4401:44, 10 June 2024‎ David Eppstein talk contribs‎ 15,695 bytes −604‎ rm vague and cleanup-tagged paragraph undo

curprev 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
curprev 15:5615:56, 22 May 2024‎ Oneequalsequalsone talk contribs‎ 16,263 bytes +14‎ →‎Closed formulas: change 'closure' to 'universal closure' undo Tag: Visual edit
curprev 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

curprev 17:5417:54, 14 April 2024‎ Onel5969 talk contribs‎ m 16,285 bytes 0‎ →‎Predicate logic: clean up, typo(s) fixed: … → ... (4) undo Tag: AWB

curprev 15:1115:11, 23 March 2024‎ Thiagovscoelho talk contribs‎ 16,285 bytes +21‎ No edit summary undo

curprev 15:3115:31, 16 February 2024‎ Kku talk contribs‎ m 16,264 bytes +4‎ link formal grammar undo

curprev 21:4221:42, 14 February 2024‎ HeyElliott talk contribs‎ 16,260 bytes −18‎ →‎References: MOS:SOB undo Tag: 2017 wikitext editor
curprev 20:3420:34, 14 February 2024‎ HeyElliott talk contribs‎ 16,278 bytes 0‎ →‎Usage of the terminology: WP:LQ undo Tag: 2017 wikitext editor

curprev 01:0601:06, 27 January 2024‎ Watsondoe talk contribs‎ 16,278 bytes +19‎ No edit summary undo

curprev 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

curprev 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
curprev 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

curprev 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

curprev 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

curprev 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

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

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

curprev 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
curprev 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

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

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

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

curprev 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

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

curprev 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
curprev 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

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

curprev 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
curprev 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

curprev 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

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

curprev 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

curprev 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

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

curprev 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
curprev 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

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

curprev 23:5823:58, 23 September 2019‎ Jarble talk contribs‎ m 15,938 bytes +4‎ linking undo

curprev 16:2116:21, 11 September 2019‎ Jarble talk contribs‎ m 15,934 bytes +4‎ linking undo

curprev 06:2706:27, 9 September 2019‎ BrownHairedGirl talk contribs‎ m 15,930 bytes −21‎ replace link to deleted Portal:Logic with Portal:Philosophy undo Tag: AWB

curprev 11:4711:47, 7 September 2019‎ InternetArchiveBot talk contribs‎ 15,951 bytes +93‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 18:4618:46, 25 April 2019‎ Butter72 talk contribs‎ m 15,858 bytes −1‎ Reverted 1 edit by 2600:1010:B005:8C0C:94CC:D25A:4141:599B (talk) to last revision by GenQuest (TW) undo Tag: Undo
curprev 18:4118:41, 25 April 2019‎ 2600:1010:b005:8c0c:94cc:d25a:4141:599b talk‎ 15,859 bytes +1‎ →‎References: Fixed typo undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

curprev 05:5405:54, 22 April 2019‎ GenQuest talk contribs‎ 15,858 bytes +105‎ Importing Wikidata short description: "Finite sequence of symbols from a given alphabet that is part of a formal language" (Shortdesc helper) undo

curprev 17:5217:52, 14 January 2019‎ Guy Macon talk contribs‎ 15,753 bytes −19‎ Spamming a template into the external links section of dozens of articles. Undid revision 878078490 by MisterCake (talk) undo Tag: Undo

curprev 21:4021:40, 12 January 2019‎ MisterCake talk contribs‎ 15,772 bytes +19‎ →‎External links undo

curprev 20:4920:49, 26 December 2018‎ Sychonic talk contribs‎ 15,753 bytes −1‎ →‎Introduction: Made singular to match link description undo Tags: Mobile edit Mobile web edit

curprev 09:4909:49, 9 December 2018‎ Freeknowledgecreator talk contribs‎ m 15,754 bytes −14‎ Reverted 1 edit by IdentityBeliever (talk) to last revision by Jarble. (TW) undo Tag: Undo
curprev 09:4909:49, 9 December 2018‎ IdentityBeliever talk contribs‎ 15,768 bytes +14‎ No edit summary undo Tags: Mobile edit Mobile web edit

10 June 2024

22 May 2024

14 April 2024

23 March 2024

16 February 2024

14 February 2024

27 January 2024

26 December 2023

15 October 2023

16 March 2023

25 February 2023

24 February 2023

8 February 2023

18 October 2022

16 October 2022

15 October 2022

14 October 2022

13 July 2022

4 July 2022

21 May 2022

3 March 2022

8 December 2021

7 February 2021

21 December 2020

20 July 2020

15 April 2020

13 February 2020

12 February 2020

10 November 2019

17 October 2019

23 September 2019

11 September 2019

9 September 2019

7 September 2019

25 April 2019

22 April 2019

14 January 2019

12 January 2019

26 December 2018

9 December 2018