跳转到内容

File:Ltlalways.svg

页面内容不支持其他语言。
這個文件來自維基共享資源
维基百科，自由的百科全书

原始文件 （SVG文件，尺寸为152 × 19像素，文件大小：11 KB）

摘要

描述
English: Example diagram of LTL always operator
日期
来源 自己的作品
作者 英语维基百科的Shuber2

许可协议

Public domain 本作品已被作者英语维基百科的Shuber2释出到公有领域。这适用于全世界。
在一些国家这可能不合法；如果是这样的话，那么：
Shuber2无条件地授予任何人以任何目的使用本作品的权利，除非这些条件是法律规定所必需的。

原始上传日志

原始描述頁面位於這裡。下列使用者名稱均來自en.wikipedia。
日期/时间 大小 用户 备注
2019-02-13 19:21 152×19× (11191 bytes) Shuber2 Example diagram of LTL always operator

说明

添加一行文字以描述该文件所表现的内容

此文件中描述的项目

描繪內容

文件历史

点击某个日期/时间查看对应时刻的文件。

日期/时间缩⁠略⁠图大小用户备注
当前2019年2月18日 (一) 04:312019年2月18日 (一) 04:31版本的缩略图152 × 19（11 KB）Magog the OgreTransferred from en.wikipedia via #commonshelper

以下页面使用本文件：

全域文件用途

以下其他wiki使用此文件：

元数据

此文件中包含有扩展的信息。这些信息可能是由数码相机或扫描仪在创建或数字化过程中所添加。

如果此文件的源文件已经被修改，一些信息在修改后的文件中将不能完全反映出来。

检索自“https://zh.wikipedia.org/wiki/File:Ltlalways.svg”