https://9dok.net/document/q05v2dex-theorembeweiserpraktikum-anwendungen-in-der-sprachtechnologie.html