- 14 Jun, 2013 12 commits
-
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
When doing normalization, remove all HBox axioms mentioning the role that is treated as the "I"-binder.
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
- 13 Jun, 2013 7 commits
-
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
- 10 Jun, 2013 9 commits
-
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
Mainly remove these optimizations: - For some atomic concept C: H(f*, C) ↦ C - For some closed concept C: H(f*, C) ↦ H(*, C)
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
This is just some refactoring.
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
- 19 Apr, 2013 7 commits
-
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
- 18 Apr, 2013 1 commit
-
-
Thorsten Wißmann authored
-
- 17 Apr, 2013 4 commits
-
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-