Большая Советская Энциклопедия
Колошниковый газ
отходящий газ доменных печей; см. в статьях Доменное производство , Доменный газ .