Опубликованный пакет / CLIR
logic.temporal
v0.1.0The Open Logic Text
LTL и CTL: авторское изложение правил чтения
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| LTL и CTL: авторское изложение правил чтения — редакция репозитория | ru | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
The Open Logic Text
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| content/applied-modal-logic/temporal-logic/extra-temporal-operators.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/applied-modal-logic/temporal-logic/introduction.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/applied-modal-logic/temporal-logic/possible-histories.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.