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