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