Semantics (computer science): Revision history

29 November 2024

• curprev 13:0113:01, 29 November 2024 Citation bot talk contribs 18,016 bytes −54 Removed URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Programming language semantics | #UCB_Category 12/17 undo

19 July 2024

• curprev 06:2106:21, 19 July 2024 BombCraft8 talk contribs 18,070 bytes −2 Undid revision 1235422682 by 2001:569:BD92:4100:F89C:436C:BCF9:FF99 (talk) undo Tag: Undo
• curprev 06:1906:19, 19 July 2024 2001:569:bd92:4100:f89c:436c:bcf9:ff99 talk 18,072 bytes +2 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

10 April 2024

• curprev 22:4422:44, 10 April 2024 STEMinfo talk contribs m 18,070 bytes −2 →Variations: grammar undo
• curprev 22:4022:40, 10 April 2024 STEMinfo talk contribs 18,072 bytes +22 →Approaches: marked statement missing citation undo
• curprev 22:3822:38, 10 April 2024 STEMinfo talk contribs 18,050 bytes 0 →History: corrected tense undo
• curprev 22:3622:36, 10 April 2024 STEMinfo talk contribs 18,050 bytes +22 →Describing relationships: marked citation needed undo
• curprev 22:3422:34, 10 April 2024 STEMinfo talk contribs m 18,028 bytes +2 grammar undo

23 March 2024

• curprev 15:1915:19, 23 March 2024 Thiagovscoelho talk contribs 18,026 bytes +21 No edit summary undo

16 February 2024

• curprev 16:5016:50, 16 February 2024 Sir Ibee talk contribs 18,005 bytes +64 Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

13 January 2024

• curprev 18:0318:03, 13 January 2024 78.22.198.37 talk 17,941 bytes −5 Undid revision 1195259635 by 2409:4043:4D8D:D851:0:0:1888:320A (talk) undo Tag: Undo
• curprev 17:4617:46, 13 January 2024 78.22.198.37 talk 17,946 bytes +6 No edit summary undo
• curprev 02:0502:05, 13 January 2024 2409:4043:4d8d:d851::1888:320a talk 17,940 bytes +5 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

27 November 2023

• curprev 14:3114:31, 27 November 2023 OAbot talk contribs m 17,935 bytes +17 Open access bot: doi updated in citation with #oabot. undo

7 November 2023

• curprev 05:1305:13, 7 November 2023 OAbot talk contribs m 17,918 bytes +19 Open access bot: doi updated in citation with #oabot. undo

27 August 2023

• curprev 07:0607:06, 27 August 2023 WOSlinker talk contribs m 17,899 bytes +11 add {{refend}} undo

26 August 2023

• curprev 19:4519:45, 26 August 2023 RedWolf talk contribs 17,888 bytes +579 citations undo

24 August 2023

• curprev 05:1105:11, 24 August 2023 OAbot talk contribs m 17,309 bytes +17 Open access bot: doi updated in citation with #oabot. undo

16 August 2023

• curprev 00:3700:37, 16 August 2023 82.6.91.134 talk 17,292 bytes +2 No edit summary undo
• curprev 00:3700:37, 16 August 2023 82.6.91.134 talk 17,290 bytes +114 No edit summary undo Tag: Disambiguation links added

7 May 2023

• curprev 11:2111:21, 7 May 2023 InternetArchiveBot talk contribs 17,176 bytes +176 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.3) (Eastmain - 13643 undo

31 March 2023

• curprev 20:5820:58, 31 March 2023 Jarble talk contribs 17,000 bytes +14 adding Template:Semantics undo

30 January 2023

• curprev 06:5306:53, 30 January 2023 OAbot talk contribs m 16,986 bytes +34 Open access bot: doi added to citation with #oabot. undo

22 January 2023

• curprev 12:1112:11, 22 January 2023 Praseodymium-141 talk contribs 16,952 bytes −36 there are inline citations undo Tag: 2017 wikitext editor

4 January 2023

• curprev 03:1603:16, 4 January 2023 Citation bot talk contribs 16,988 bytes +19 Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1604/2500 undo

20 November 2022

• curprev 14:3414:34, 20 November 2022 'wɪnd talk contribs m 16,969 bytes −7 →History: improve wording undo
• curprev 14:3314:33, 20 November 2022 'wɪnd talk contribs 16,976 bytes +2,006 →History: Add first attempt; move to top to be consistency with other articles undo

10 August 2022

• curprev 09:5909:59, 10 August 2022 Citation bot talk contribs 14,970 bytes +29 Add: bibcode. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 3653/3849 undo

30 July 2022

• curprev 03:3403:34, 30 July 2022 Caleb Stanford talk contribs 14,941 bytes −237 attempt to improve lead undo Tag: 2017 wikitext editor

29 July 2022

• curprev 18:0518:05, 29 July 2022 OlliverWithDoubleL talk contribs 15,178 bytes +18 shortened article description, links undo Tags: Mobile edit Mobile app edit iOS app edit

10 January 2022

• curprev 06:5306:53, 10 January 2022 Citation bot talk contribs 15,160 bytes +231 Alter: pages, template type. Add: url, doi-access, pmc, pmid, pages, s2cid, isbn, volume, series, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 762/960 undo

9 January 2022

• curprev 14:5914:59, 9 January 2022 Laiwoonsiu talk contribs m 14,929 bytes −1 Corrected minor typos. undo
• curprev 10:2910:29, 9 January 2022 Laiwoonsiu talk contribs 14,930 bytes +260 Improved the references. undo
• curprev 07:4007:40, 9 January 2022 Rodw talk contribs m 14,670 bytes +40 Disambiguating links to Springer (link changed to Springer Publishing; link changed to Springer Publishing) using DisamAssist. undo
• curprev 04:3504:35, 9 January 2022 Laiwoonsiu talk contribs 14,630 bytes +2,421 Added inline citations as per the recommendation of the administrator. Improved other references as well. undo Tag: Disambiguation links added

9 December 2021

• curprev 04:1604:16, 9 December 2021 Laiwoonsiu talk contribs 12,209 bytes +75 Added denotational and operational semantics to algebraic semantics. undo

7 August 2021

• curprev 11:4811:48, 7 August 2021 Qwerfjkl talk contribs m 12,134 bytes −4 Removed 'The' from the beginning of the short description per WP:SDFORMAT. (via WP:JWB) undo

26 June 2021

• curprev 16:2316:23, 26 June 2021 Simon1791 talk contribs 12,138 bytes +177 →Variations: add source undo
• curprev 16:1816:18, 26 June 2021 Simon1791 talk contribs 11,961 bytes 0 →Approaches undo
• curprev 16:1716:17, 26 June 2021 Simon1791 talk contribs 11,961 bytes −188 →Approaches: the next sentence is fully correct, this one is not and has no supporting reference. undo
• curprev 16:1516:15, 26 June 2021 Simon1791 talk contribs 12,149 bytes −323 This sentence relates to theorem proving not semantics., and has no place in the introduction undo

24 June 2021

• curprev 22:0322:03, 24 June 2021 Simon1791 talk contribs 12,472 bytes +157 source undo

4 April 2021

• curprev 14:1014:10, 4 April 2021 2a02:1812:1536:d00:ddec:e13b:cdc2:cdbb talk 12,315 bytes +30 No edit summary undo

10 February 2021

• curprev 15:3015:30, 10 February 2021 213.37.178.64 talk 12,285 bytes 0 →See also undo

1 December 2020

• curprev 06:2306:23, 1 December 2020 Monkbot talk contribs m 12,285 bytes −7 Task 18 (cosmetic): eval 16 templates: del empty params (2×); hyphenate params (16×); del |ref=harv (1×); undo Tag: AWB

17 November 2020

• curprev 22:2522:25, 17 November 2020 84.147.32.233 talk 12,292 bytes +36 Not to be confused with computational semantics. undo

18 September 2020

• curprev 01:5101:51, 18 September 2020 Boanuge talk contribs m 12,256 bytes +52 == See also == * Ontology_(information_science) undo

22 August 2020

• curprev 21:3421:34, 22 August 2020 Widefox talk contribs 12,204 bytes +36 Added {{More footnotes}} tag (TW) undo
• curprev 21:3321:33, 22 August 2020 Widefox talk contribs 12,168 bytes +96 →top: markup, links undo
• curprev 21:1421:14, 22 August 2020 Widefox talk contribs 12,072 bytes +119 Importing Wikidata short description: "The field concerned with the rigorous mathematical study of the meaning of programming languages" (Shortdesc helper) undo