Dataset Description: Formalization of Elementary Number Theory in Mizar.

Published in: CICM (2020)

Keyphrases

small number
knowledge representation
representative set
data sets
search engine
memory requirements
formal model
computational effort
fixed number
maximum number