@phdthesis{Chouaffe2009,
  type      = {Bachelor Thesis},
  author    = {Franck Edmond Chouaff{\´e}},
  title     = {Entwicklung eines KMS (Knowledge Management System) f{\"u}r die Erstellung von Mizar-Beweisen (KMS-MIZAR)},
  url       = {https://nbn-resolving.org/urn:nbn:de:101:1-200911251135},
  year      = {2009},
  abstract  = {Es soll f{\"u}r die Sprache Mizar ein Suchprogramm erstellt werden. Das entwickelte Programm nimmt eine Benutzereingabe entgegen, und gibt gefundene Treffer aus. Andererseits kann das Programm aus einem XML-Dokument, das ein Mizar-Theorem enth{\"a}lt, ein Mizar-Beweisrahmen erzeugen.},
  language  = {de}
}