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