Merge branch 'master' of https://gl.kwarc.info/GravityDrowned/semantification-oeis-zbmath into master