UDC 519.85 2 algebraic modeling 2 formal methods 2 insertion modeling 2 УДК 519.85 2 алгебраїчне моделювання 2 формальні методи інсерційне моделювання 2 decentralization 1 molecular modeling 1 proton therapy 1 tokenomic equilibrium 1 tokenomics 1 децентралізація 1 молекулярне моделювання 1 протонна терапія 1 токеноміка 1 токеномічна рівновага 1