_:n507a7ac3d5c546c8ba68c79ae11dfd57xb2
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/ListItem>
<https://gitlab.mpi-sws.org/simonspies/stdpp/-/compare?from=master&to=8a4313430018ac41f6acf651b07b02e2a7a9fece>