_:nb2b44dddce1944ba92a1d876db4a5e18xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/BreadcrumbList>
<https://gitlab.mpi-sws.org/tchajed/iris-coq/-/commit/7b00cda2e81db4b6d1fc4bad37bde09b61b48877?view=parallel>