Patent activity in the mining industry decreased in Q3 2022  Mining Technology