as list of identifiers in critical positions inside
statements can be automatically extracted from the fully
structured representation of mathematical objects. This
information can then be exploited for searching and
retrieving. The precise list of metadata will be defined
as list of identifiers in critical positions inside
statements can be automatically extracted from the fully
structured representation of mathematical objects. This
information can then be exploited for searching and
retrieving. The precise list of metadata will be defined