Semantification OEIS zbMATH