https://9dok.net/document/zgw2lm52-rechner-ubung-zu-theorembeweiser-und-ihre-anwendungen.html