A ship mill, more commonly known as a boat mill, is a type of watermill. The milling and grinding technology and the drive (waterwheel) are built on a floating platform on this type of mill.[1] Its first recorded use dates back to mid-6th century AD Italy.[2]
Wikander 2000, 383
was invoked but never defined (see the help page).