[215] Der Minirer, des -s, plur. ut nom. sing. in der heutigen Kriegskunst, besondere Leute, welche zum Miniren gebraucht werden; Schanzgräber.
Herder-1854: Minirer
Pierer-1857: Minirer