_:nb6b597c2fde348309479d0a9df9ca02bxb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.mn.tu-dresden.de/amdis/amdis-core/-/blame/c089668db0cc88cf0c6363001473ccb48829bb36/src/amdis/ProblemStat.inc.hpp?page=1>