_:n726b4482b10a42baabf8d9cdeb41dd6dxb3
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.lrde.epita.fr/spot/spot/-/blob/e9893586cc30abf011a66abda120c412ab776bad/src/tgbaalgos/simulation.cc>