рудничный, совокупность горных выработок около шахтного ствола, предназначенных для обслуживания подземного хозяйства и соединяющих ствол с главными откаточными и вентиляционными выработками (см. Околоствольный двор ) .
Значение ДВОР РУДНИЧНЫЙ в Большой советской энциклопедии, БСЭ
Что такое ДВОР РУДНИЧНЫЙ
Большая советская энциклопедия, БСЭ. 2012