[1071]Verkleinen, verb. regul. act. klein machen, ein nur im Bergbaue übliches Wort, wo das Gestübe verkleint oder gekleint wird, wenn es klein gestoßen wird. So auch die Verkleinung.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 4. Leipzig 1801, S. 1071.