User contributions for Manfred
Jump to navigation
Jump to search
15 March 2013
- 22:5922:59, 15 March 2013 diff hist +6 Exercise-ch5 →Semantic types
- 22:5922:59, 15 March 2013 diff hist −3 Exercise-ch5 →Semantic types
- 22:5822:58, 15 March 2013 diff hist +50 Exercise-ch5 →Semantic types
- 22:5722:57, 15 March 2013 diff hist +35 Exercise-ch5 →Semantic types
- 22:5622:56, 15 March 2013 diff hist +145 Exercise-ch5 →Semantic types
- 22:5422:54, 15 March 2013 diff hist −17 Exercise-ch5 →Semantic types
- 22:5322:53, 15 March 2013 diff hist −3 Exercise-ch5 →Semantic types
- 22:5222:52, 15 March 2013 diff hist 0 Exercise-ch5 →Semantic types
- 22:5222:52, 15 March 2013 diff hist 0 Exercise-ch5 →Semantic types
- 22:5122:51, 15 March 2013 diff hist +4 Exercise-ch5 →Semantic types
- 22:5122:51, 15 March 2013 diff hist +20 Exercise-ch5 →Semantic types
- 22:5022:50, 15 March 2013 diff hist +2 Exercise-ch5 →Semantic types
- 22:4922:49, 15 March 2013 diff hist +164 Exercise-ch5 →New notation
- 22:4522:45, 15 March 2013 diff hist +6 Exercise-ch5 →New notation
- 22:4422:44, 15 March 2013 diff hist +137 Exercise-ch5 →New notation
- 22:4322:43, 15 March 2013 diff hist +380 Exercise-ch5 →New notation
- 22:3922:39, 15 March 2013 diff hist +186 Exercise-ch5 →New notation
- 22:3722:37, 15 March 2013 diff hist +134 Exercise-ch5 →New notation
- 22:3522:35, 15 March 2013 diff hist +1 Exercise-ch5 →Exercises for chapter 5: Simple LRS
- 22:3522:35, 15 March 2013 diff hist +356 Exercise-ch5 →New notation
- 22:3122:31, 15 March 2013 diff hist +249 N Exercise-ch5 Created page with "= Exercises for chapter 5: Simple LRS = == New notation == <quiz> {What is the correct new way to } {Notation from chapter 2: '''hobbit'''('''frodo''')<br /> New notation:..."
- 22:2622:26, 15 March 2013 diff hist +1 Exercise-ch2 No edit summary
- 22:2522:25, 15 March 2013 diff hist +148 Exercise-ch2 No edit summary
- 21:1221:12, 15 March 2013 diff hist −200 Exercise-ch2 →Formulae without variables
- 20:5320:53, 15 March 2013 diff hist +676 Exercise-ch2 →The syntax of predicate logic
- 20:5120:51, 15 March 2013 diff hist +4 Exercise-ch2 →The syntax of predicate logic
- 20:1120:11, 15 March 2013 diff hist +21 Exercise-ch2 →Formulae
- 20:1020:10, 15 March 2013 diff hist −14 Exercise-ch2 →Formulae
- 20:0420:04, 15 March 2013 diff hist +87 Exercise-ch2 →Formulae
- 20:0120:01, 15 March 2013 diff hist +14 Exercise-ch2 →Formulae
- 19:5619:56, 15 March 2013 diff hist −1 Exercise-ch2 →Formulae
- 19:5319:53, 15 March 2013 diff hist +7 Exercise-ch2 →Formulae
- 19:4819:48, 15 March 2013 diff hist +53 Exercise-ch2 →Formulae
- 19:4619:46, 15 March 2013 diff hist +79 Exercise-ch2 →Formulae
- 19:4419:44, 15 March 2013 diff hist +176 Exercise-ch2 →Formulae
- 19:4219:42, 15 March 2013 diff hist +150 Exercise-ch2 →Formulae
- 19:4019:40, 15 March 2013 diff hist −27 Exercise-ch2 →Formulae
- 19:3619:36, 15 March 2013 diff hist +383 Exercise-ch2 →Formulae
- 19:1619:16, 15 March 2013 diff hist +21 Exercise-ch2 →Formulae
- 19:1419:14, 15 March 2013 diff hist +13 Exercise-ch2 →Formulae
- 19:1319:13, 15 March 2013 diff hist −69 NMTS-Group0 →Our exercises current
- 19:1319:13, 15 March 2013 diff hist −8 NMTS-Group0 →Our exercises
- 19:1219:12, 15 March 2013 diff hist +171 NMTS-Group0 →Our exercises
- 19:1119:11, 15 March 2013 diff hist +7 NMTS-Group0 →Our exercises
- 19:1119:11, 15 March 2013 diff hist +104 NMTS-Group0 →Our exercises
- 18:3118:31, 15 March 2013 diff hist −12 Exercise-ch2 →Formulae
- 18:0118:01, 15 March 2013 diff hist +15 Exercise-ch2 →Formulae
- 18:0018:00, 15 March 2013 diff hist +24 Exercise-ch2 →Formulae
- 18:0018:00, 15 March 2013 diff hist +6 Exercise-ch2 →Formulae
- 17:5917:59, 15 March 2013 diff hist +201 Exercise-ch2 →Formulae
- 17:5717:57, 15 March 2013 diff hist −3 Exercise-ch2 →Formulae
- 17:5517:55, 15 March 2013 diff hist +13 Exercise-ch2 →Formulae
- 17:5417:54, 15 March 2013 diff hist +1 Exercise-ch2 →Formulae
- 17:5417:54, 15 March 2013 diff hist +15 Exercise-ch2 →Formulae
- 17:5317:53, 15 March 2013 diff hist +36 Exercise-ch2 →Formulae
- 17:5117:51, 15 March 2013 diff hist 0 Exercise-ch2 →Formulae
- 17:4917:49, 15 March 2013 diff hist +164 N Exercise-ch2 Created page with "= Additional Exercises for Chapter 2: Predicate Logic = == Formulae == Klick on the expressions that are well-formed formulae. <hiero>P2</hiero> <quiz> </quiz>"
12 February 2013
- 10:2710:27, 12 February 2013 diff hist +1 NMTS Meeting 15 →Transcription (in the glossary and elsewhere) current
- 08:5908:59, 12 February 2013 diff hist −9 Appendix LRS Principles No edit summary
- 08:5708:57, 12 February 2013 diff hist +6 Appendix LRS Principles →Semantics Principle
- 08:5608:56, 12 February 2013 diff hist +117 Appendix LRS Principles →Semantics Principle
- 08:5408:54, 12 February 2013 diff hist +6 Appendix LRS Principles →LRS Projection Principle
- 08:5308:53, 12 February 2013 diff hist +33 Appendix LRS Principles →Semantics Principle
- 08:5308:53, 12 February 2013 diff hist +6 Appendix LRS Principles →Internal Content Raising Principle
- 08:5308:53, 12 February 2013 diff hist −1 Appendix LRS Principles →Internal Content Raising Principle
- 08:5308:53, 12 February 2013 diff hist +43 Appendix LRS Principles →Internal Content Raising Principle
- 08:5208:52, 12 February 2013 diff hist +116 Appendix LRS Principles →External Content Principle
- 08:5108:51, 12 February 2013 diff hist +356 Appendix LRS Principles →External Content Principle
- 08:4908:49, 12 February 2013 diff hist +2 Appendix LRS Principles →Internal Content Raising Principle
- 08:4808:48, 12 February 2013 diff hist +112 Appendix LRS Principles →Internal Content Raising Principle
- 08:4708:47, 12 February 2013 diff hist +405 Appendix LRS Principles →LRS Projection Principle
- 08:4508:45, 12 February 2013 diff hist +63 Appendix LRS Principles →Semantics Principle
- 08:4408:44, 12 February 2013 diff hist +21 Appendix LRS Principles →Semantics Principle
- 08:4208:42, 12 February 2013 diff hist −2 Appendix LRS Principles →Semantics Principle
- 08:4208:42, 12 February 2013 diff hist +398 Appendix LRS Principles →Semantics Principle
- 08:3708:37, 12 February 2013 diff hist +6 Appendix LRS Principles →LRS Projection Principle
- 08:3708:37, 12 February 2013 diff hist −3 Appendix LRS Principles →LRS Projection Principle
- 08:3708:37, 12 February 2013 diff hist +476 Appendix LRS Principles No edit summary
- 08:3308:33, 12 February 2013 diff hist +109 Appendix LRS Principles No edit summary
- 08:3108:31, 12 February 2013 diff hist +1 Appendix LRS Principles →Content Principle
- 08:3008:30, 12 February 2013 diff hist +2 Appendix Signature No edit summary current
- 08:2908:29, 12 February 2013 diff hist +7 Appendix Signature No edit summary
- 08:2908:29, 12 February 2013 diff hist +1 Appendix Signature No edit summary
- 08:2708:27, 12 February 2013 diff hist 0 Basic Glossary →C
- 08:2608:26, 12 February 2013 diff hist +43 Basic Glossary →V
- 08:2608:26, 12 February 2013 diff hist 0 Basic Glossary →T
- 08:2608:26, 12 February 2013 diff hist +49 Basic Glossary →P
- 08:2408:24, 12 February 2013 diff hist 0 Basic Glossary →S
- 08:2408:24, 12 February 2013 diff hist +19 Basic Glossary →N
- 08:2408:24, 12 February 2013 diff hist +12 Basic Glossary →N
- 08:1808:18, 12 February 2013 diff hist −144 NMTS-Group2 →Part 3 - Relations between sentences
- 08:1008:10, 12 February 2013 diff hist +339 Basic Glossary No edit summary
- 08:0408:04, 12 February 2013 diff hist +265 Teaching No edit summary
- 08:0008:00, 12 February 2013 diff hist 0 Glossary:Synonym No edit summary current
- 07:5907:59, 12 February 2013 diff hist 0 Glossary:Synonym No edit summary
- 01:0301:03, 12 February 2013 diff hist −69 NMTS-Group0 No edit summary
11 February 2013
- 23:1523:15, 11 February 2013 diff hist +372 NMTS Meeting 15 →Transcription:
- 23:1223:12, 11 February 2013 diff hist +494 NMTS Meeting 15 →Term papers
- 23:0523:05, 11 February 2013 diff hist +35 NMTS-Group1 →Comments by the NMTS team
- 23:0423:04, 11 February 2013 diff hist +27 NMTS-Group1 →Comments by the NMTS team