_:nda5ac167059e429e8dde981ecbb6480cxb2
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/blob/4cb6d86d4d462f898faa32881605c14d8d807a06/Documentation/DeveloperHelpSources/changelog.docu>