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