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