_:nd5001b19794449b1bf38d0c7ca63d6f5xb2
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/ListItem>
<https://gitlab.mpi-sws.org/tchajed/iris-coq/-/graphs/c83e64a123fc397bbffa8305c36c7a95affbe16f/charts>