Газовыделение —
Горные выработки, выделение метана или др. природного газа из толщи полезного ископаемого и вмещающих пород в подземные горные выработки. Различают...
Большая советская энциклопедия
Газовыделение —
(a. gas emission, gas evolution, gas liberation; н. Gasentwicklung, Gasausscheidung; ф. liberation de gaz; и. emision de gas) — выделение газов в атмосферу шахты или карьера в результате ведения горн. работ. B карьерах осн. источники...
Горная энциклопедия