Редактирование: Изображение:Pvs tree.png
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 141: | Строка 141: | ||
"node19" -> "node30" | "node19" -> "node30" | ||
"node31" [ | "node31" [ | ||
- | label = "(inst | + | label = "(inst 1 \"t!1 + 2\" \"f!1 - 1\")" |
] | ] | ||
"node30" -> "node31" | "node30" -> "node31" |