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