ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
「シークエント」の版間の差分
言語
ウォッチリストに追加
編集
履歴の双方向閲覧
← 古い編集
新しい編集 →
削除された内容
追加された内容
ビジュアル
ウィキテキスト
2012年6月24日 (日) 18:32時点における版
編集
114.160.121.71
(
会話
)
編集の要約なし
← 古い編集
2013年4月12日 (金) 03:16時点における版
編集
取り消し
EmausBot
(
会話
|
投稿記録
)
ボット
678,596
回編集
m
ボット: 言語間リンク 3 件を
ウィキデータ
上の
d:Q843632
に転記
新しい編集 →
50行目:
[[Category:論理学]]
[[Category:数学に関する記事]]
[[en:Sequent]]
[[it:Sequente]]
[[zh:相继式]]