C. Okulmus: "Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen"; Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-04.