@thesis{6351,
  title = {Eine beweistheoretische Anwendung der },
  degree_type = {Diplom},
  institution = {Westfälische Wilhelms-Universität Münster, Münster},
  school = {Biologische Kybernetik},
  month = may,
  year = {1998},
  slug = {6351},
  author = {Harmeling, S.},
  month_numeric = {5}
}