Zusammenfassung Es existieren zahlreiche Motive und Barrieren zur Nutzung von Social Software in Unternehmen und Organisationen. Ein mögliches Anwendungsszenario ist das interorganisationale Krisenmanagement von Behörden und Organisationen mit Sicherheitsaufgaben, Unternehmen und Bürgern bei Großschadenslagen. In diesem Beitrag werden Motive und Barrieren der Nutzung von Social Software in Unte...

I present a tactic, BasicElim, for Type Theory based proof systems to apply elimination rules in a reenement setting. Applicable rules are parametric in their conclusion, expressing the leverage hypotheses ~ x yield on any ~ x we choose. represents the motive for an elimination: BasicElim's job is to construct a suited to the goal at hand. If these ~ x inhabit an instance of 's domain, I adopt ...