2012年10月26日 (金) 10:59時点における版編集昇華融解 (会話 \| 投稿記録) 314 回編集カテゴリの追加 ← 古い編集		2013年4月8日 (月) 10:52時点における版編集取り消し Addbot (会話 \| 投稿記録) 178,576 回編集 m ボット: 言語間リンク 4 件をウィキデータ上の d:q1536492 に転記新しい編集 →
81行目: [[Category:数理論理学]] [[Category:論理学]] ~~[[de:Lineare temporale Logik]]~~ ~~[[el:Γραμμική χρονική λογική]]~~ ~~[[en:Linear temporal logic]]~~ ~~[[it:Logica temporale lineare]]~~

「線形時相論理」の版間の差分