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