File:Ltlalways.png
出典:ウィキメディア・コモンズ (Wikimedia Commons)
ナビゲーションに移動
検索に移動
Ltlalways.png (202 × 45 ピクセル、ファイルサイズ: 995バイト、MIME タイプ: image/png)
ファイル情報
構造化データ
キャプション
This PNG image was uploaded in a graphics format such as GIF, PNG, JPEG, or SVG. However, it consists purely or largely of information which is better suited to representation in wikitext (possibly using MediaWiki's special syntax for tables, math, or music). This will make the information easier to edit, as well as make it accessible to users of screen readers and text-based browsers.
If possible, please replace any inclusions of this image in articles (noted under the “File links” header) with properly formatted wikitext. After doing so, please consider nominating this image for deletion. Deutsch ∙ English ∙ +/− |
概要[編集]
解説Ltlalways.png | Example diagram of LTL always operator |
日付 | |
原典 | 投稿者自身による著作物 |
作者 | Juan Antonio Navarro Perez |
ライセンス[編集]
Public domainPublic domainfalsefalse |
この著作物の著作権者である私は、この著作物における権利を放棄しパブリックドメインとします。これは全世界で適用されます。 一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。 私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。 |
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2006年11月14日 (火) 13:18 | 202 × 45 (995バイト) | NavarroJ (トーク | 投稿記録) | {{Information |Description=Example diagram of LTL always operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} |
このファイルは上書きできません。
ファイルの使用状況
このファイルを使用しているページはありません。
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- de.wikipedia.org での使用状況
- el.wikipedia.org での使用状況
- fr.wikipedia.org での使用状況
- ja.wikipedia.org での使用状況
- pt.wikipedia.org での使用状況