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