. . . . . . . . "The provenance of this formalization should be a \"FormalizationActivity\". There the original article and the original quote from the article need to be specified, together with the author(s) of the formalization." . "5" . . . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCJlM78d80R+gFMoQB1IG3f7AbqqGOCIv4HmZd1cx1KgEWMUUpPsojFNvx84fC/TltcJ8F8JafnbhDXW2HM2MhdK4yC04ROEV1vIgSzjDicHfiqXvMqdPuMyQp4mmCEY7mUoeEW10mWZqjk+S9TnmiAQbFGcpExP8aosr2aTR7CSQIDAQAB" . "A8lIXgFoqUPF3TF+br9+BpGcSCpfgWnUIJQaev02iPCVnFujuAsAhaVyefNYq88+3KwiwvdJHYJSTF6N4Fna9iffAl4IL0xh40r0PJGzDl9Lstt+nKhdZlj1ilufL9ExJ3JF6ur+KOa6bm40+c2OPRgxDCyZLq9Ph9bcU4Defhw=" . . "2021-10-11T10:44:08.175+03:00"^^ . . . . . . .