_:n41fe18a08d824ad28a3cd499cd8a5ef2xb2
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/commit/760ba3b11fdd59dde9860e0ef5a790e75bd7ed89>