Grubenholz ist das Holz, das in einem Bergwerk verwendet wird. Definiert wird der Begriff Grubenholz durch den Verwendungszweck, somit werden alle Holzarten und Holzformen zum Grubenholz gezählt, die in bergbaulichen Betrieben, gleich ob im Tagebau oder im Untertagebau, verwendet werden.
Wort | Synonyme |
Grubenholz | Stempel |