User contributions for Manfred
Jump to navigation
Jump to search
5 April 2013
- 10:0910:09, 5 April 2013 diff hist +10 Template:CreatedByStudents1213 No edit summary
- 10:0810:08, 5 April 2013 diff hist +162 N Template:CreatedByStudents1213 Created page with "<span color="blue">The following exercise has been created by student participants of the project ''e-Learning Resources for Semantics'' (e-LRS).</span>"
- 10:0510:05, 5 April 2013 diff hist +1,649 N Exercise First Order Models Created page with "{{CreatedByStudents1213}} '''The real world''' At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They a..."
- 10:0310:03, 5 April 2013 diff hist 0 Textbook-chapters →Material
- 10:0210:02, 5 April 2013 diff hist +196 Textbook-chapters →Material
- 10:0010:00, 5 April 2013 diff hist −1,634 Exercise-ch2 →The syntax of predicate logic
- 09:5809:58, 5 April 2013 diff hist +2,005 N Exercise Syntax of Predicate Logic Created page with " <!-- ∀ ∃ ∧ ∨ ⊂ ⊃ ¬ --> For the following exercises we use names and properties from the ''The Lord of the Rings'' novels. Names: '''frodo'''..."
- 09:4809:48, 5 April 2013 diff hist +119 Exercise-ch2 →The syntax of predicate logic
- 09:4609:46, 5 April 2013 diff hist +37 Textbook-chapters →Material
15 March 2013
- 23:3623:36, 15 March 2013 diff hist +8 Exercise-ch6 →Quantifier denotation
- 23:3523:35, 15 March 2013 diff hist +1 Exercise-ch6 →Quantifier denotation
- 23:3423:34, 15 March 2013 diff hist +78 Exercise-ch6 →Quantifier denotation
- 23:3123:31, 15 March 2013 diff hist −6 Exercise-ch6 →Quantifier denotation
- 23:3023:30, 15 March 2013 diff hist +234 N Exercise-ch6 Created page with "= Exercises for chapter 6: Quantifiers = == Quantifier denotation == <quiz display="simple"> {Provide the meaning of the following quantifiers.<br /> Example: ''(at least) t..."
- 23:2323:23, 15 March 2013 diff hist +48 Exercise-ch5 No edit summary
- 23:2123:21, 15 March 2013 diff hist +101 Exercise-ch5 →Semantic types
- 23:2023:20, 15 March 2013 diff hist +7 Exercise-ch5 →New notation
- 23:1023:10, 15 March 2013 diff hist +2 Exercise-ch5 →Semantic types
- 23:1023:10, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:1023:10, 15 March 2013 diff hist 0 Exercise-ch5 →Semantic types
- 23:0923:09, 15 March 2013 diff hist +94 Exercise-ch5 →Semantic types
- 23:0623:06, 15 March 2013 diff hist −73 Exercise-ch5 →Semantic types
- 23:0623:06, 15 March 2013 diff hist −2 Exercise-ch5 →Semantic types
- 23:0523:05, 15 March 2013 diff hist +31 Exercise-ch5 →Semantic types
- 23:0523:05, 15 March 2013 diff hist +8 Exercise-ch5 →Semantic types
- 23:0523:05, 15 March 2013 diff hist +33 Exercise-ch5 →Semantic types
- 23:0323:03, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:0323:03, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:0223:02, 15 March 2013 diff hist +52 Exercise-ch5 →Semantic types
- 23:0123:01, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:0123:01, 15 March 2013 diff hist +111 Exercise-ch5 →Semantic types
- 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