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