User contributions for Manfred
Jump to navigation
Jump to search
15 May 2013
- 13:5513:55, 15 May 2013 diff hist −121 ExerciseFOModels-d →Properties
- 13:5413:54, 15 May 2013 diff hist +84 ExerciseFOModels-d No edit summary
- 13:4913:49, 15 May 2013 diff hist +115 ExerciseFOModels-d →Navigation
- 13:4113:41, 15 May 2013 diff hist +2,214 N ExerciseFOModels-d Created page with " ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/> '''Names:'''<br/><br/> I ('''alice''') = ''Alice''<br/><br/> I ('''paul''') = ''Paul''<br/><br/> I ('''tom''') = ''Tom..."
- 13:3913:39, 15 May 2013 diff hist +7 Exercise First Order Models No edit summary
- 12:4412:44, 15 May 2013 diff hist +30 Exercise Semantics of Predicate Logic No edit summary
- 12:3112:31, 15 May 2013 diff hist 0 Exercise Semantics of Predicate Logic No edit summary
- 12:2912:29, 15 May 2013 diff hist +12 AnswerEX2-b1 No edit summary current
- 11:2511:25, 15 May 2013 diff hist +199 N Lara's Term Paper Created page with "= Glossary entries = Links to additionally created glossary entries = Wiki pages = Links to additionally created wiki pages = Online excercises = Links to additionally ..."
- 11:2311:23, 15 May 2013 diff hist +22 NMTS-Group5 →Members
5 May 2013
- 16:1516:15, 5 May 2013 diff hist −4 NMTS-Group1 →Exercise III
- 15:4915:49, 5 May 2013 diff hist +8 Exercise Syntax of Predicate Logic →Exercise 1 current
- 15:4915:49, 5 May 2013 diff hist +10 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4815:48, 5 May 2013 diff hist −58 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4515:45, 5 May 2013 diff hist −1 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4515:45, 5 May 2013 diff hist +1 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4415:44, 5 May 2013 diff hist −39 Exercise Syntax of Predicate Logic →Exercise 1
- 15:1715:17, 5 May 2013 diff hist +33 Exercise Syntax of Predicate Logic No edit summary
- 15:1615:16, 5 May 2013 diff hist +2 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:1415:14, 5 May 2013 diff hist +654 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:1115:11, 5 May 2013 diff hist +191 Exercise Syntax of Predicate Logic No edit summary
- 15:1015:10, 5 May 2013 diff hist +23 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:0915:09, 5 May 2013 diff hist −24 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:0715:07, 5 May 2013 diff hist −13 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:0615:06, 5 May 2013 diff hist +202 Exercise Syntax of Predicate Logic No edit summary
- 15:0415:04, 5 May 2013 diff hist +196 Exercise Syntax of Predicate Logic No edit summary
2 May 2013
- 15:1115:11, 2 May 2013 diff hist −1 Teaching →Previous courses
- 15:1115:11, 2 May 2013 diff hist +100 Teaching →Courses
23 April 2013
- 23:2523:25, 23 April 2013 diff hist +5 Exercise-ch1 →Exercises
- 23:2523:25, 23 April 2013 diff hist −5 Exercise-ch1 →Exercises
- 23:2523:25, 23 April 2013 diff hist +13 Exercise-ch1 →Exercises
- 23:1823:18, 23 April 2013 diff hist +4 Exercise-ch1 →Exercises
- 23:1223:12, 23 April 2013 diff hist −5 Exercise-ch1 →Exercises
- 23:1123:11, 23 April 2013 diff hist +1 Exercise-ch1 →Exercises
- 23:1123:11, 23 April 2013 diff hist +13 Exercise-ch1 →Exercises
- 23:1123:11, 23 April 2013 diff hist 0 Exercise-ch1 →Exercises
- 23:1023:10, 23 April 2013 diff hist +122 N File:Exercise-sheet-ambiguity.pdf Introductory exercises on types of ambiguity. current
- 23:0323:03, 23 April 2013 diff hist +134 Exercise-ch1 →Exercises
- 23:0023:00, 23 April 2013 diff hist −676 Exercise-ch1 →Links
- 23:0023:00, 23 April 2013 diff hist +662 Types of ambiguity →Links
12 April 2013
- 21:2921:29, 12 April 2013 diff hist +153 Types of ambiguity →Scope ambiguity
11 April 2013
- 18:2118:21, 11 April 2013 diff hist +3 Types of ambiguity →References
- 18:2018:20, 11 April 2013 diff hist +434 Types of ambiguity →References
- 18:1618:16, 11 April 2013 diff hist +63 Types of ambiguity →References
- 18:1518:15, 11 April 2013 diff hist 0 Types of ambiguity →References
- 18:1518:15, 11 April 2013 diff hist +334 Types of ambiguity →References
- 16:3116:31, 11 April 2013 diff hist +73 Types of ambiguity →Scope ambiguity
- 16:3016:30, 11 April 2013 diff hist +6 Glossary:Scope Ambiguity →Definition current
- 16:2916:29, 11 April 2013 diff hist +2 Glossary:Scope Ambiguity →Definition
- 16:2816:28, 11 April 2013 diff hist +183 Glossary:Scope Ambiguity No edit summary