User contributions for Manfred
Jump to navigation
Jump to search
11 February 2013
- 19:4219:42, 11 February 2013 diff hist +1 NMTS Meeting 15 →Teilnahmenachweis, short term paper, Leistungsnachweis
- 19:4219:42, 11 February 2013 diff hist +203 NMTS Meeting 15 →Teilnahmenachweis, short term paper, Leistungsnachweis
- 19:4019:40, 11 February 2013 diff hist −1 NMTS Meeting 15 →Term papers
- 19:4019:40, 11 February 2013 diff hist +10 NMTS Meeting 15 →Term papers
- 19:3919:39, 11 February 2013 diff hist +165 NMTS Meeting 15 →Term papers
- 19:3419:34, 11 February 2013 diff hist +100 NMTS Meeting 15 →Term papers
- 19:3019:30, 11 February 2013 diff hist 0 NMTS Meeting 15 →Term papers
- 19:2919:29, 11 February 2013 diff hist +2,277 NMTS Meeting 15 →Term papers
5 February 2013
- 01:2701:27, 5 February 2013 diff hist +587 N NMTS Meeting 15 Created page with "= Term papers = Your assessed performance consists of: # the wiki page of your group with pointers to '''all''' wikipages that were produced by your group # additional files ..."
- 00:5500:55, 5 February 2013 diff hist −4 NMTS Meeting 14 →Exercise 5: Quantifiers current
31 January 2013
- 23:4223:42, 31 January 2013 diff hist −1 NMTS Meeting 14 →Exercise 8: Sorts and types
- 23:4223:42, 31 January 2013 diff hist +433 NMTS Meeting 14 →Exercise 8: Sorts and types
- 23:2823:28, 31 January 2013 diff hist +57 NMTS Meeting 14 →Exercise 8: Sorts and types
- 23:2323:23, 31 January 2013 diff hist +21 NMTS Meeting 14 →Exercise 9: Predicate logic
- 23:2023:20, 31 January 2013 diff hist +23 NMTS Meeting 14 →Formal encoding
- 23:1723:17, 31 January 2013 diff hist +57 NMTS Meeting 14 →Exercise 1: Ambiguity
30 January 2013
- 02:1402:14, 30 January 2013 diff hist −145 NMTS Meeting 14 →Practice
- 02:1302:13, 30 January 2013 diff hist −144 NMTS Meeting 14 →Exercises
- 02:1302:13, 30 January 2013 diff hist +62 NMTS Meeting 14 →Exercises
- 02:1102:11, 30 January 2013 diff hist +119 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:1002:10, 30 January 2013 diff hist +321 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0702:07, 30 January 2013 diff hist +1 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0702:07, 30 January 2013 diff hist −12 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0502:05, 30 January 2013 diff hist +4 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0502:05, 30 January 2013 diff hist +490 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0002:00, 30 January 2013 diff hist +143 NMTS Meeting 14 →Exercise 2: Basic semantic relations
- 01:5701:57, 30 January 2013 diff hist +1 NMTS Meeting 14 →Exercise 2: Basic semantic relations
- 01:5701:57, 30 January 2013 diff hist +12 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5701:57, 30 January 2013 diff hist +21 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5601:56, 30 January 2013 diff hist −3 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5601:56, 30 January 2013 diff hist 0 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5501:55, 30 January 2013 diff hist 0 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5201:52, 30 January 2013 diff hist +132 NMTS Meeting 14 →Exercise 9: Predicate logic
- 01:5001:50, 30 January 2013 diff hist +154 NMTS Meeting 14 →Exercise 4: Implicature
- 01:4901:49, 30 January 2013 diff hist +89 NMTS Meeting 14 →Exercise 3: Presuppositions
- 01:1101:11, 30 January 2013 diff hist +2 NMTS Meeting 13 →Group 8: Sorts and types current
- 01:1001:10, 30 January 2013 diff hist −2 NMTS Meeting 13 →Group 8: Sorts and types
- 01:1001:10, 30 January 2013 diff hist −2 NMTS Meeting 13 →Group 8: Sorts and types
- 01:0901:09, 30 January 2013 diff hist +2 NMTS Meeting 13 →Group 8: Sorts and types
- 01:0101:01, 30 January 2013 diff hist +214 N File:Slides-SortsAndTypes.pdf Slides produced by Group 8 for the presentation on January 29, 2013. This pdf version contains the notes made during the seminar meeting. current
- 00:5900:59, 30 January 2013 diff hist +5 NMTS Meeting 13 →Group 8: Sorts and types
- 00:5800:58, 30 January 2013 diff hist +1 NMTS Meeting 13 →Group 8: Sorts and types
- 00:5800:58, 30 January 2013 diff hist +87 NMTS Meeting 13 →Group 8: Sorts and types
29 January 2013
- 10:3210:32, 29 January 2013 diff hist +52 Group1-Ex2-c-Solutions No edit summary
- 10:3110:31, 29 January 2013 diff hist −13 Group1-Ex2-c-Solutions No edit summary
- 10:3110:31, 29 January 2013 diff hist −16 Group1-Ex2-c-Solutions No edit summary
- 10:1710:17, 29 January 2013 diff hist −495 NMTS-Group8 →Exercise I (Types)
- 10:1710:17, 29 January 2013 diff hist +495 NMTS-Group8 →Exercise I (Types)
- 08:0908:09, 29 January 2013 diff hist +119 NMTS Meeting 13 No edit summary
- 08:0808:08, 29 January 2013 diff hist +147 NMTS Meeting 14 →Practice