Free variables and bound variables: Revision history

30 January 2024

• curprev 14:4114:41, 30 January 2024‎ Kvng talk contribs‎ 15,266 bytes +10‎ bold redirects undo

27 January 2024

• curprev 23:3523:35, 27 January 2024‎ Oneequalsequalsone talk contribs‎ 15,256 bytes −60‎ No edit summary undo Tag: Visual edit

8 January 2024

• curprev 02:0802:08, 8 January 2024‎ AnomieBOT talk contribs‎ m 15,316 bytes +18‎ Dating maintenance tags: {{Explain}} undo
• curprev 00:0800:08, 8 January 2024‎ Oneequalsequalsone talk contribs‎ 15,298 bytes +11‎ {{explain}} undo Tag: Visual edit

11 November 2023

• curprev 17:2517:25, 11 November 2023‎ Kvng talk contribs‎ m 15,287 bytes 0‎ caps undo

24 September 2023

• curprev 00:4500:45, 24 September 2023‎ Rgdboer talk contribs‎ m 15,287 bytes −22‎ dab Dummy variable (statistics) undo

26 July 2023

• curprev 04:4104:41, 26 July 2023‎ HeyElliott talk contribs‎ 15,309 bytes −6‎ MOS:BOLDLEAD undo Tag: Visual edit

16 July 2023

• curprev 00:1100:11, 16 July 2023‎ Tulanir talk contribs‎ 15,315 bytes +58‎ Formatting + clarified opening undo Tag: Visual edit

17 June 2023

• curprev 05:3305:33, 17 June 2023‎ 2d37 talk contribs‎ 15,257 bytes +76‎ →‎Further reading: add undo

30 May 2023

• curprev 01:1901:19, 30 May 2023‎ DarrylNoakes talk contribs‎ m 15,181 bytes −13‎ Changed style of first math expression undo

20 May 2023

• curprev 20:3520:35, 20 May 2023‎ Doctormatt talk contribs‎ 15,194 bytes −30‎ MOS:NOTE undo

14 March 2023

• curprev 09:2009:20, 14 March 2023‎ Comp.arch talk contribs‎ m 15,224 bytes +4‎ No edit summary undo Tag: 2017 wikitext editor

11 March 2023

• curprev 00:2100:21, 11 March 2023‎ C7XWiki talk contribs‎ 15,220 bytes +1‎ No edit summary undo

5 March 2023

• curprev 15:4415:44, 5 March 2023‎ Siddharthist talk contribs‎ 15,219 bytes +72‎ →‎Natural language: Unsourced undo Tag: 2017 wikitext editor

4 March 2023

• curprev 23:1623:16, 4 March 2023‎ C7XWiki talk contribs‎ 15,147 bytes +18‎ May be slightly clearer undo
• curprev 23:1523:15, 4 March 2023‎ C7XWiki talk contribs‎ 15,129 bytes +541‎ Two "layers" of definitions undo

11 January 2023

• curprev 02:0802:08, 11 January 2023‎ Jarfuls of Tweed talk contribs‎ 14,588 bytes +98‎ added a "not to be confused with...." comment at the top of the page undo Tag: Visual edit

16 December 2022

• curprev 03:1703:17, 16 December 2022‎ 70.172.129.241 talk‎ 14,490 bytes +9‎ →‎Examples undo

11 July 2022

• curprev 22:5322:53, 11 July 2022‎ DubleH talk contribs‎ 14,481 bytes +2‎ changed "we use bound variables" to "bound variables are used". undo
• curprev 22:5222:52, 11 July 2022‎ DubleH talk contribs‎ 14,479 bytes −7‎ changed "most of the proofs" to "most proofs" undo

20 May 2022

• curprev 13:2413:24, 20 May 2022‎ MichaelMaggs talk contribs‎ 14,486 bytes −70‎ p undo

16 November 2021

• curprev 22:4722:47, 16 November 2021‎ K6ka talk contribs‎ m 14,556 bytes +124‎ Reverted edits by 87.81.46.71 (talk) to last version by Mreatwashacked undo Tag: Rollback
• curprev 22:4722:47, 16 November 2021‎ 87.81.46.71 talk‎ 14,432 bytes −124‎ No edit summary undo Tag: Reverted
• curprev 22:4622:46, 16 November 2021‎ Mreatwashacked talk contribs‎ 14,556 bytes −12‎ Reverting edit(s) by 87.81.46.71 (talk) to rev. 1054096551 by Jmcclaskey54: Vandalism (RW 16.1) undo Tags: RW Undo
• curprev 22:4622:46, 16 November 2021‎ 87.81.46.71 talk‎ 14,568 bytes +8‎ No edit summary undo Tag: Reverted
• curprev 22:4522:45, 16 November 2021‎ 87.81.46.71 talk‎ 14,560 bytes +4‎ No edit summary undo Tag: Reverted

8 November 2021

• curprev 01:3401:34, 8 November 2021‎ Jmcclaskey54 talk contribs‎ 14,556 bytes +16‎ clarity undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 01:3201:32, 8 November 2021‎ Jmcclaskey54 talk contribs‎ 14,540 bytes −19‎ clearer language; removed an unnecessary link undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 01:3001:30, 8 November 2021‎ Jmcclaskey54 talk contribs‎ 14,559 bytes +32‎ clearer wording and a more relevant link text undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 00:4900:49, 8 November 2021‎ Jmcclaskey54 talk contribs‎ 14,527 bytes +89‎ minor changes for completeness and clarity undo Tags: Mobile edit Mobile web edit Advanced mobile edit

7 November 2021

• curprev 07:3507:35, 7 November 2021‎ Jmcclaskey54 talk contribs‎ 14,438 bytes +47‎ minor formatting change; addition of an internal link undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 07:2807:28, 7 November 2021‎ Jmcclaskey54 talk contribs‎ 14,391 bytes +294‎ Rewritten for general clarity undo Tags: Mobile edit Mobile web edit Advanced mobile edit

23 October 2021

• curprev 00:2700:27, 23 October 2021‎ 1.43.246.197 talk‎ 14,097 bytes +1‎ Fix grammar in proof outline undo

24 September 2021

• curprev 11:4411:44, 24 September 2021‎ DanGrayson talk contribs‎ m 14,096 bytes −6‎ undo undo Tag: Manual revert
• curprev 04:1404:14, 24 September 2021‎ SHRUTIsNeg talk contribs‎ 14,102 bytes +6‎ →‎top undo Tags: Reverted Mobile edit Mobile app edit Android app edit

28 August 2021

• curprev 15:5315:53, 28 August 2021‎ DanGrayson talk contribs‎ m 14,096 bytes −35‎ Undid revision 1041039583 by 94.129.65.124 (talk), because it introduces a broken link. undo Tag: Undo
• curprev 06:0506:05, 28 August 2021‎ 94.129.65.124 talk‎ 14,131 bytes +35‎ Administratior right undo Tags: Reverted Visual edit Mobile edit Mobile web edit

29 March 2021

• curprev 14:1614:16, 29 March 2021‎ Filterfish talk contribs‎ m 14,096 bytes +1‎ →‎Examples undo
• curprev 13:2413:24, 29 March 2021‎ Filterfish talk contribs‎ m 14,095 bytes +1‎ →‎Examples undo

16 March 2021

• curprev 11:1611:16, 16 March 2021‎ ExcellentWheatFarmer talk contribs‎ 14,094 bytes +135‎ Importing Wikidata short description: "Classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier" (Shortdesc helper) undo

12 February 2021

• curprev 22:3722:37, 12 February 2021‎ SirMeowMeow talk contribs‎ m 13,959 bytes −3‎ Undoing edits by Hellacioussatyr (talk) because the user is everywhere, making tiny edits and converting Latex into other templates. undo Tag: Visual edit

8 February 2021

• curprev 12:4712:47, 8 February 2021‎ Hellacioussatyr talk contribs‎ 13,962 bytes +5‎ →‎Examples undo Tag: 2017 wikitext editor

7 February 2021

• curprev 23:4823:48, 7 February 2021‎ 2601:601:9880:af00:47d:5e84:2c08:ce7b talk‎ 13,957 bytes −101‎ →‎Formal explanation: Debatable, dubious, subjective. undo Tags: Mobile edit Mobile web edit

2 February 2021

• curprev 02:4602:46, 2 February 2021‎ Hellacioussatyr talk contribs‎ m 14,058 bytes −2‎ →‎Variable-binding operators undo Tag: Visual edit

30 January 2021

• curprev 21:1021:10, 30 January 2021‎ DanGrayson talk contribs‎ 14,060 bytes −255‎ fix a mistake -- dummy variables are bound variables, not free variables, and the reference given disagrees, too. undo

12 January 2021

• curprev 16:3116:31, 12 January 2021‎ Narky Blert talk contribs‎ 14,315 bytes +35‎ Link to DAB page repaired per WP:INTDAB undo

22 December 2020

• curprev 08:0608:06, 22 December 2020‎ Chongkian talk contribs‎ 14,280 bytes +20‎ add navbox undo

11 December 2020

• curprev 20:0320:03, 11 December 2020‎ Hotmedal talk contribs‎ 14,260 bytes +271‎ Added distinguish because it is widely called dummy variable. ACK the existing mention in the article. undo

31 October 2020

• curprev 06:5106:51, 31 October 2020‎ Rdp060707 talk contribs‎ m 13,989 bytes −323‎ Reverted 1 edit by 2603:8081:190A:4EAE:9031:7C0D:396D:23D4 (talk) to last revision by Hellacioussatyr undo Tags: Twinkle Undo
• curprev 06:5006:50, 31 October 2020‎ 2603:8081:190a:4eae:9031:7c0d:396d:23d4 talk‎ 14,312 bytes +323‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit adding email address