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