[840] Schleifen (Demolierung, Demolition), die Zerstörung der Verteidigungsanlagen einer Festung durch Abtragen der Anschüttungen und Abbrechen des Mauerwerkes oder durch Sprengung (Demolitionsminen).
Adelung-1793: Schleifen
Herder-1854: Schleifen
Lueger-1904: Schleifen [3] · Schleifen- oder Gegenschaltung · Schleifen [1] · Schleifen [2]
Meyers-1905: Schleifen [1]
Pierer-1857: Schleifen · Klar schleifen