_:n4683983154984cbd9031b6f7afa58bd3xb3
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/ListItem>
<https://gitlab.mpi-sws.org/amaurremi/iris-coq/-/network/88638cdaec12bd6063cdb037e56770df3f6c83cb>