Hello, Sorry for the late answer.
Sosciencity doesn't touch the mining productivity techs in any way. What might have happened was that some mod hid these techs. This state then persisted in the savegame. You might be able to resolve this with this command:
/c for _, force in pairs(game.forces) do
force.reset_recipes()
force.reset_technologies()
force.reset_technology_effects()
end