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