дегазація гірничих виробок
дегазация горных выработок - degassing of mines (workings, entries) - Entgasung der Grubenbaue - процеси (природні або штучні) вилучення рудникових газів з їхніх джерел або консервації і наступного знищення газів з метою зниження їх надходження та попередження раптових виділень у гірничі виробки. Розрізняють такі види Д.г.в.: загороджувальна, передова, зближених пластів, попередня та ін.