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无条件地授予任何人以任何目的使用本作品的权利，除非这些条件是法律规定所必需的。 |
原始上传日志
原始描述頁面位於這裡。下列使用者名稱均來自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上的用途
