User contributions for 82.6.91.134
Appearance
Results for 82.6.91.134 talk block log logs global block log filter log
12 September 2023
- 08:0708:07, 12 September 2023 diff hist +14 Hermann Weyl No edit summary Tags: Mobile edit Mobile web edit
16 August 2023
- 00:3700:37, 16 August 2023 diff hist +2 Semantics (computer science) No edit summary
- 00:3700:37, 16 August 2023 diff hist +114 Semantics (computer science) No edit summary Tag: Disambiguation links added
30 July 2023
- 13:4613:46, 30 July 2023 diff hist +1 Dorothy Stein →Career
- 13:4613:46, 30 July 2023 diff hist 0 Dorothy Stein →Career
28 July 2023
26 July 2023
- 00:5400:54, 26 July 2023 diff hist +8 Proof theory No edit summary
19 July 2023
- 00:0500:05, 19 July 2023 diff hist +52 Solomon Feferman →Life
18 July 2023
- 23:5823:58, 18 July 2023 diff hist −3 Solomon Feferman →Life
- 23:5723:57, 18 July 2023 diff hist +293 Solomon Feferman →Life
- 23:5423:54, 18 July 2023 diff hist −264 Solomon Feferman No edit summary Tag: Manual revert
- 23:5423:54, 18 July 2023 diff hist 0 Solomon Feferman No edit summary Tag: Reverted
- 23:5123:51, 18 July 2023 diff hist +264 Solomon Feferman No edit summary Tag: Reverted
- 23:4523:45, 18 July 2023 diff hist +27 Dana Scott No edit summary
- 23:4423:44, 18 July 2023 diff hist +16 Dana Scott No edit summary