БСЭ1/Газ рудничный

ГАЗ РУДНИЧНЫЙ, смесь болотного газа и воздуха, образующая в каменноугольных шахтах взрывчатые смеси, см. Гремучий газ.