User contributions for 92.233.71.83
Jump to navigation
Jump to search
19 October 2024
- 15:4415:44, 19 October 2024 diff hist +1,202 N Quantaloid No edit summary current
- 15:2115:21, 19 October 2024 diff hist +18,957 N Closure operator No edit summary current
18 October 2024
- 13:2013:20, 18 October 2024 diff hist +5,751 N BL (logic) No edit summary current
- 13:1413:14, 18 October 2024 diff hist +23,263 N Monoidal t-norm logic No edit summary current