@inproceedings{Fisseni2018,
  author    = {Bernhard Fisseni},
  title     = {ProofML - eine Annotationssprache f{\"u}r nat{\"u}rlichsprachige mathematische Beweise},
  series = {Sprachtechnologie, mobile Kommunikation und linguistische Ressourcen. Beitr{\"a}ge zur GLDV-Tagung 2005 in Bonn},
  editor    = {Bernhard Fisseni and Hans-Christian Schmitz and Bernhard Schr{\"o}der and Petra Wagner},
  publisher = {Lang},
  address   = {Frankfurt am Main [u.a.]},
  isbn      = {3-631-53874-X},
  url       = {https://nbn-resolving.org/urn:nbn:de:bsz:mh39-82509},
  pages     = {604 -- 618},
  year      = {2018},
  abstract  = {Mathematische Texte sind nat{\"u}rlichsprachlich (ggf. mit formelsprachliche Anteilen), nicht formalsprachlich. ProofML ist ein Dateiformat, das erlaubt, sie so zu annotieren, da{\"s} der nat{\"u}rlichsprachlichen eine logische Struktur zugeordnet wird.},
  language  = {de}
}