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)
原始文件 (SVG文件,尺寸为152 × 19像素,文件大小:11 KB)
描述Ltlweakuntil2.svg |
English: Example diagram of LTL weak until operator (which doesn't stop) |
日期 | |
来源 | 自己的作品 |
作者 | 英语维基百科的Shuber2 |
Public domainPublic domainfalsefalse |
本作品已被作者英语维基百科的Shuber2释出到公有领域。这适用于全世界。 在一些国家这可能不合法;如果是这样的话,那么: Shuber2无条件地授予任何人以任何目的使用本作品的权利,除非这些条件是法律规定所必需的。Public domainPublic domainfalsefalse |
日期/时间 | 大小 | 用户 | 备注 |
---|---|---|---|
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使用此文件:
此文件中包含有额外的信息。这些信息可能是由数码相机或扫描仪在创建或数字化过程中所添加。
如果文件已从其原始状态修改,某些细节可能无法完全反映修改后的文件。
宽度 | 42.941399mm |
---|---|
高度 | 5.3688774mm |