Mineral Springs, Ohio

Mineral Springs is an unincorporated community in Adams County, Ohio.[1]

History

A post office called Mineral Springs was established in 1868 and remained in operation until 1919.[2] The community was named for a mineral spa near it.[3]

gollark: Not sure if that went anywhere.
gollark: GPT-3 apparently was able to generate valid code if prompted properly.
gollark: I don't think "what if we autogenerated programs" is a hugely original idea. It's just very hard.
gollark: There's a neat easy thing to train GPT-2 instances. I did that with my discord messages.
gollark: Those are used for inferencing, not training, and stuff has worked fine for ages without them.

References

  1. U.S. Geological Survey Geographic Names Information System: Mineral Springs, Ohio
  2. "Adams County". Jim Forte Postal History. Retrieved 12 December 2015.
  3. Evans, Nelson Wiley; Stivers, Emmons B. (1900). A History of Adams County, Ohio: From Its Earliest Settlement to the Present Time. E B. Stivers. p. 445.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.