. . . . . "an activity" . . "Generated by a formalization activity" . . . . . . . . "a source quote" . . . "URI of the source used by this formalization activity" . . . . . . . . . . . . . . . . . . . . . . . . . . . . "is a" . "used" . "has the value" . "was associated with" . "was generated by" . "was quoted from" . "formalization activity" . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB" . "Xj9aUYpu3jOccwguOHr5Z2YrvOYIDPzwx3LVPjKL9/04dpKyEm3l5hKin6Lj1Onesi+V+sTv5+FmbcNiTvPvbAHbedyz46Rvhj7txtJRrP9rWX1l8ThrOjuvNEeKKkMjV/MtcEye8YkyhrAVh7ymI3XjJpL+dID1gh8vyxs1H3Y=" . . . "2024-11-19T09:59:39.313Z"^^ . . . . . "Provenance template: Generated by a formalization activity" . . . . . . "Tobias Kuhn" .