_:n02fd758131824014b33abacd7d4a0d20xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/commit/c9b96a1578b582f41004350edec774f19e9d30ff?view=inline>