_:n2d37a4f6fc244915b871ac1f894b7489xb0
<http://schema.org/itemListElement>
_:n2d37a4f6fc244915b871ac1f894b7489xb2
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/-/commit/f5ecf3aee726dfe45a3b2d9b287394cc95885717?view=parallel>