User contributions for LogicAndAI
Results for LogicAndAI talk block log uploads logs global block log global account filter log
A user with 35 edits. Account created on 6 September 2024.
29 October 2024
- 08:4608:46, 29 October 2024 diff hist +15 Sitting Bull sculpture Added another picture from another angle. Tag: Visual edit
- 08:4408:44, 29 October 2024 diff hist +243 Sitting Bull sculpture Added Infobox Tag: Visual edit
- 08:3308:33, 29 October 2024 diff hist +75 Sitting Bull sculpture added categories. Tag: Visual edit
28 October 2024
- 17:0317:03, 28 October 2024 diff hist +1 Sitting Bull sculpture Otterpool->Otterspool Tag: Visual edit
- 17:0217:02, 28 October 2024 diff hist +87 Sitting Bull sculpture added image. Tag: Visual edit
- 16:5916:59, 28 October 2024 diff hist +305 Sitting Bull sculpture Added link to the www.liverpoolecho.co.uk website for an article on the topic. Tag: Visual edit
- 16:5716:57, 28 October 2024 diff hist +27 Otterspool Promenade added link to wikipedia page. Tag: Visual edit
- 16:5616:56, 28 October 2024 diff hist +478 Otterspool Promenade added a sentence on the sitting bull sculpture. Tag: Visual edit
- 16:5316:53, 28 October 2024 diff hist +300 N Sitting Bull sculpture Added a new page on the sitting bull sculpture. Tag: Visual edit
- 16:1416:14, 28 October 2024 diff hist +28 William H. Zimmer Power Station →See also: added a link to Beckjord Power Station in See Also (due to their geographical closeness) Tag: Visual edit
- 16:0616:06, 28 October 2024 diff hist +22 William H. Zimmer Power Station updated the article to reflect closure of the power station on May 31, 2022. Tag: Visual edit
27 October 2024
- 13:4013:40, 27 October 2024 diff hist +5 Computer Aided Verification Minor change. current Tag: Visual edit
- 09:0609:06, 27 October 2024 diff hist +34 User:LogicAndAI New Message (simulated automatically as part of The Wikipedia Adventure) current
- 09:0309:03, 27 October 2024 diff hist 0 User:LogicAndAI minor changes. Tag: Visual edit
- 09:0209:02, 27 October 2024 diff hist +34 User:LogicAndAI New Message (simulated automatically as part of The Wikipedia Adventure)
- 09:0209:02, 27 October 2024 diff hist −3 User:LogicAndAI Minor change. Tag: Visual edit
- 08:5908:59, 27 October 2024 diff hist +568 User talk:LogicAndAI New Message (simulated automatically as part of The Wikipedia Adventure) current
- 08:2408:24, 27 October 2024 diff hist −6,208 Computer Aided Verification Removed list of CAV recipients due to potential issues with copyright. Tag: Visual edit
25 October 2024
- 16:4416:44, 25 October 2024 diff hist +33 m Computer Aided Verification No edit summary Tag: Visual edit
- 16:4116:41, 25 October 2024 diff hist +6,448 Computer Aided Verification Added list of CAV awards since 2008. Tags: Visual edit Disambiguation links added
- 10:3010:30, 25 October 2024 diff hist +613 m Thomas Henzinger →Career: Added link to google scholar and mathematician's genealogy pages. Tag: Visual edit
- 10:2610:26, 25 October 2024 diff hist −171 Thomas Henzinger →Career: Moved this part to recognition. Tag: Visual edit
- 10:2310:23, 25 October 2024 diff hist +323 Thomas Henzinger →Recognition: Added academy membership information. Tag: Visual edit
- 10:2010:20, 25 October 2024 diff hist +401 Thomas Henzinger Improved clarity and flow for the recognition section. Tag: Visual edit
22 October 2024
- 12:4712:47, 22 October 2024 diff hist −129 Alternating timed automaton →Formal definition: removed ambiguity. Tags: Visual edit Newcomer task Newcomer task: copyedit
- 12:4612:46, 22 October 2024 diff hist +105 Alternating timed automaton →Definition: Improved explanation. Tags: Visual edit Newcomer task Newcomer task: copyedit
- 12:3412:34, 22 October 2024 diff hist +5 Alternating timed automaton added missing reference. Tags: Visual edit Newcomer task Newcomer task: copyedit
- 11:0411:04, 22 October 2024 diff hist +693 Alternating timed automaton Improved clarity and flow by rephrasing the sentences in the introductory paragraph. Tags: Visual edit Newcomer task Newcomer task: copyedit
- 10:3510:35, 22 October 2024 diff hist +14 m User:LogicAndAI change in interest ordering
21 October 2024
- 14:1914:19, 21 October 2024 diff hist +20 m Royal Society Wolfson Fellowship added information about visiting fellowship strand.
- 14:0914:09, 21 October 2024 diff hist +170 m Royal Society Wolfson Fellowship No edit summary
12 September 2024
- 17:4417:44, 12 September 2024 diff hist +331 m William H. Zimmer Power Station Added link indicating Vistra's ownership of the station. Tags: Visual edit Newcomer task Newcomer task: references
- 17:3417:34, 12 September 2024 diff hist −15 m AeroGear →Coding principles and objectives Tags: Visual edit Newcomer task Newcomer task: copyedit
- 17:2917:29, 12 September 2024 diff hist +289 m AeroGear →History: Minor copy-edits and added info on the latest version. Tags: Visual edit Newcomer task Newcomer task: copyedit
6 September 2024
- 15:3615:36, 6 September 2024 diff hist +642 N User:LogicAndAI Added an intro page
