полости в земной коре, искусственно образуемые в результате ведения горных работ, напр. бремсберг, гезенк, квершлаг, штрек, шурф.
Значение ГОРНЫЕ ВЫРАБОТКИ в Большом энциклопедическом словаре
Что такое ГОРНЫЕ ВЫРАБОТКИ
Большой энциклопедический словарь. 2012