Dotsenko, S.; Kharchenko, V.; Morozova, O.; Rucinski, A.; Dotsenko, S. (ХАІ, 2022)
The three hypotheses about the explainability of artificial intelligence and the theory of machine identification can be further defined as statements or theorems and strictly proved.