1. Außerdem wurden die Projektverfahren für Überwachung, Berichterstattung, Risikobegrenzung, Bewältigung von Veränderungen, Einbeziehung der Beteiligten und Qualitätsmanagement formalisiert.

In addition, project processes for monitoring, reporting, risk management, change management, stakeholder involvement and quality management were formalised.

2. Die Presburger-Arithmetik ist erheblich schwächer als die Peano-Arithmetik, in der sowohl Addition als auch Multiplikation formalisiert werden.

Presburger arithmetic is much weaker than Peano arithmetic, which includes both addition and multiplication operations.