_:neaf7cd43c46a47f9a6cc6eeb1e1a47f9xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/commit/4b98d19d401c3ada2dae4919dee59360dc5d6c99?view=parallel>