Encyclopedia
Vacuum Pump
Vacuum pump - a device for removing gas-air mixtures from the shaft via pipeline
Source: ORDER OF ROSTECHKHIMZOR dated 24.08.2006 No. 797
"ON APPROVAL AND INTRODUCTION INTO FORCE OF METHODOLOGICAL RECOMMENDATIONS ON THE PROCEDURE FOR DEGASSING COAL MINES"
(together with "METHODOLOGICAL RECOMMENDATIONS... RD-15-09-2006")