_:ne948c14fc39e4f689b5bc618288a589exb0
<http://schema.org/itemListElement>
_:ne948c14fc39e4f689b5bc618288a589exb4
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/commit/60c0189ba2385f72aee9a678f5f6a4fd74cb39d1>