File:Ltlweakuntil2.svg
此 SVG 檔案的 PNG 預覽的大小：152 × 19 像素。 其他解析度：320 × 40 像素 | 640 × 80 像素 | 1,024 × 128 像素 | 1,280 × 160 像素 | 2,560 × 320 像素。
原始檔案 （SVG 檔案，表面大小：152 × 19 像素，檔案大小：11 KB）
摘要
| 描述 |
English: Example diagram of LTL weak until operator (which doesn't stop) |
| 日期 | |
| 來源 | 自己的作品 |
| 作者 | 英文維基百科的Shuber2 |
授權條款
|
此作品已由其作者，英文維基百科的Shuber2，釋出至公有領域。此授權條款在全世界均適用。 這可能在某些國家不合法，如果是的話： Shuber2授予任何人有權利使用此作品於任何用途，除受法律約束外，不受任何限制。 |
原始上傳日誌
The original description page was here. All following user names refer to en.wikipedia.
| 日期/時間 | 尺寸 | 使用者 | 備註 |
|---|---|---|---|
| 2019-02-13 19:28 | 152×19× (11248 bytes) | Shuber2 | Example diagram of LTL weak until operator (which doesn't stop) |
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
| 日期/時間 | 縮圖 | 尺寸 | 使用者 | 備註 | |
|---|---|---|---|---|---|
| 目前 | 2019年2月18日 (一) 04:30 | | 152 × 19（11 KB） | Magog the Ogre | Transferred from en.wikipedia via #commonshelper |
檔案用途
下列頁面有用到此檔案：
全域檔案使用狀況
以下其他 wiki 使用了這個檔案：
- en.wikipedia.org 的使用狀況
- es.wikipedia.org 的使用狀況
