Text this: Key techniques for precise measuring gas content in deep coal mine: In-situ pressure- and gas-preserved coring