
Grubenholz ist das Holz, welches 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. == Geschichtliches == Holz war seit Jahrhunderten der v...
Gefunden auf
https://de.wikipedia.org/wiki/Grubenholz
[Achtung: Schreibweise von 1811] Das Grubenholz, des -es, plur. inus. dasjenige Holz, welches zum Behuf des Grubenbaues nöthig ist S. Holzkux.
Gefunden auf
https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009132_2_3_3292

Eine Sammelbezeichnung für Hölzer bzw. Holzelemente, die in bergbaulichen Betrieben über und unter Tage verbaut werden.
Gefunden auf
https://www.stalys.de/data/ix04.htm

geschältes, astarmes Rundholz für den Grubenausbau.
Gefunden auf
https://www.wissen.de//lexikon/grubenholz
Keine exakte Übereinkunft gefunden.