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