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