_:na6ad7288369d47e192e2f5e69df59769xb0
<http://schema.org/itemListElement>
_:na6ad7288369d47e192e2f5e69df59769xb3
<https://gitlab.rts.mpi-sws.org/tchajed/stdpp/-/commit/9765b5fe6114a443d0afd72bd78f646ad89c51b5?view=inline>