_:n1f0357f606be4bbcad1bf7af6ba52a9bxb0
<http://schema.org/itemListElement>
_:n1f0357f606be4bbcad1bf7af6ba52a9bxb2
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/commit/f49832e46d0e433302ddd96640ecb2b164f86f16>