Gebirgsdruck (Bergbau)

Größe der Belastung eines Grubenbaus durch das darüber anstehende Gebirge. Der Gebirgsdruck ist eine Kenngröße für das Gebirgsverhalten bei der Schaffung bergmännischer Hohlräume.