Justification of the basic algorithms of the mine safety information systemVolodymyr Shevchenko and Anton SlashchovE3S Web Conf., 109 (2019) 00086DOI: https://doi.org/10.1051/e3sconf/201910900086