_:nc01a38d4def14a1db3eeb8033d2c84b8xb1
<http://schema.org/name>
"OpenFlipper-Free"
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/commits/22c6ad01fec202eeb3716fab400aecbf7102d8ee>