User contributions for Manfred
Jump to navigation
Jump to search
23 May 2023
- 19:5619:56, 23 May 2023 diff hist +761 SoSe23: Semantics 1 →Meeting 6
- 19:5619:56, 23 May 2023 diff hist −763 SoSe23: Semantics 1 →Variable assignment funcion
- 19:5519:55, 23 May 2023 diff hist +139 SoSe23: Semantics 1 No edit summary
3 May 2023
- 00:1500:15, 3 May 2023 diff hist +1,992 SoSe23: Semantics 1 →Meeting 4
- 00:1400:14, 3 May 2023 diff hist −2 SoSe23: Semantics 1 →Literary scenario
- 00:1400:14, 3 May 2023 diff hist −4 SoSe23: Semantics 1 →Meeting 1
- 00:1400:14, 3 May 2023 diff hist −4 SoSe23: Semantics 1 →Meeting 2
- 00:1300:13, 3 May 2023 diff hist −17 SoSe23: Semantics 1 →Meeting 3
- 00:1300:13, 3 May 2023 diff hist +607 SoSe23: Semantics 1 →Computing the truth value of atomic formulae
25 April 2023
- 22:5022:50, 25 April 2023 diff hist +383 SoSe23: Semantics 1 →Meeting 3
- 22:4622:46, 25 April 2023 diff hist +32 SoSe23: Semantics 1 No edit summary
19 April 2023
- 12:0712:07, 19 April 2023 diff hist +1 Wiki-ch2 →Models current
- 12:0612:06, 19 April 2023 diff hist +1 Wiki-ch2 →Models
- 10:5010:50, 19 April 2023 diff hist +3 SoSe23: Semantics 1 →Models
- 10:5010:50, 19 April 2023 diff hist +1,267 Wiki-ch2 →Models
- 10:4910:49, 19 April 2023 diff hist 0 SoSe23: Semantics 1 →Models
- 10:4810:48, 19 April 2023 diff hist −7 SoSe23: Semantics 1 →Models
- 10:4810:48, 19 April 2023 diff hist −18 SoSe23: Semantics 1 →Models
- 10:4710:47, 19 April 2023 diff hist +641 SoSe23: Semantics 1 →Models
- 10:4410:44, 19 April 2023 diff hist +1 SoSe23: Semantics 1 →Models