User contributions for Manfred
Jump to navigation
Jump to search
15 March 2013
- 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