. . . . . . . . "The provenance of this formalization is a specific type of provenance, namely, it is the result of a \"formalization activity\". This should be used in the provenance field with all the corresponding details pertaining to this \"formalization activity\"." . "4" . . . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCJlM78d80R+gFMoQB1IG3f7AbqqGOCIv4HmZd1cx1KgEWMUUpPsojFNvx84fC/TltcJ8F8JafnbhDXW2HM2MhdK4yC04ROEV1vIgSzjDicHfiqXvMqdPuMyQp4mmCEY7mUoeEW10mWZqjk+S9TnmiAQbFGcpExP8aosr2aTR7CSQIDAQAB" . "IX6/KH/i72/o/TooZsDyZOh3XvpGH9RFRhUtDzkElEJumwmwh6N5GG4Vgg2JYikrC4dxJxBjtaK2PkvqML8NUukmV1te9iEwhZs5mQPw2pPRaHTwagoBjtlFnOj/G4TBo7X2N+WAFjrodTKQP96qaTliGqzbhxuoGhtEhPKjzpo=" . . "2021-10-04T13:20:40.154+03:00"^^ . . . . .