Приведенная система обозначений дает аналоги в системах с частичным планированием для большинства основных выражений, используемых в этой главе. Построение не рассмотренных здесь конструкций также не представляет труда. Теперь, производя в доказательствах этой главы замену обозначений, введенных для систем с полным планированием, на соответствующие им обозначения для систем с частичным планированием ( приведенные к виду систем с полным планированием), можно непосредственно убедиться в том, что все доказательства этой главы сохраняются и для систем с частичным планированием.