[Achtung: Schreibweise von 1811] Der Grubentscherper, des -s, plur. ut nom. sing eben daselbst, ein großes Messer, welches die Bergleute neben der Grubentasche führen, und in der Grube gebrauchen. Siehe Tscherper. Gefunden auf https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009132_2_3_3301
[Achtung: Schreibweise von 1811] Der Grubentscherper, des -s, plur. ut nom. sing eben daselbst, ein großes Messer, welches die Bergleute neben der Grubentasche führen, und in der Grube gebrauchen. Siehe Tscherper.