gas explosion


gas explosion

[′gas ik‚splō·zhən] (mining engineering) An explosion of firedamp in a coal mine; coal dust apparently does not play a significant part.