Ein Verfahren im Bergbau, bei dem Lösungsmittel verwendet werden, um nützliche Materialien aus dem Gestein zu extrahieren.