Двор рудничный


Двор рудничный
        совокупность горных выработок около шахтного ствола, предназначенных для обслуживания подземного хозяйства и соединяющих ствол с главными откаточными и вентиляционными выработками (см. Околоствольный двор).

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.