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