John Alan Robinson, 1967'de
çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık
Kaynak: Matematiksel mantık1991 yılında Sovyetler Birliğinin dağılmasından sonra
çözülüm dalgaları Tuva'da da etkisini gösterse de tam bağımsızlığa ulaşılamamıştır.
Kaynak: Tuva Tarihi1991 yılında Sovyetler Birliğinin dağılmasından sonra
çözülüm dalgaları Tuva'da da etkisini gösterse de tam bağımsızlığa ulaşılamamıştır.
Kaynak: Tuva CumhuriyetiBu kategorideki gökadalar, düzensiz yapılara (düzensizlikler), dikkat çekici toz şeritlerine (emilim) veya pütürlü bir görünüme (
çözülüm)
Kaynak: Tuhaf Gökadalar AtlasıBu özellik, entropi (
çözülüm, dağılım,yok oluş) rolünü oynayan yüzey bakımından, tümüyle “termodinamiğin ikinci yasası”nı 92
Kaynak: Kara delik