имя существительное рудничный газ, гремучий газ
рудничный газ
noun a combustible mine gas that consists chiefly of methane; also the explosive mixture of this gas with air