「二階述語論理」の変更履歴

2023年10月10日 (火)

• 最新前 09:132023年10月10日 (火) 09:13‎ 雪舟 会話 投稿記録‎ 16,512バイト +4‎ →‎参考文献 取り消し

2023年6月26日 (月)

• 最新前 07:212023年6月26日 (月) 07:21‎ 雪舟 会話 投稿記録‎ 16,508バイト −20‎ 編集の要約なし 取り消し

2022年9月24日 (土)

• 最新前 11:112022年9月24日 (土) 11:11‎ 240b:11:4921:210:55dd:8a92:1c98:87db 会話‎ 16,528バイト +12‎ →‎二階論理の表現能力 取り消し タグ: ビジュアルエディター

2022年8月1日 (月)

• 最新前 09:472022年8月1日 (月) 09:47‎ 112.137.116.41 会話‎ 16,516バイト +24‎ →‎参考文献 取り消し

2021年5月24日 (月)

• 最新前 08:572021年5月24日 (月) 08:57‎ 240d:1a:34:bb00:2d94:c547:68ed:3b8b 会話‎ 16,492バイト +11‎ →‎参考文献 取り消し

2020年5月28日 (木)

• 最新前 13:172020年5月28日 (木) 13:17‎ Kik 会話 投稿記録‎ m 16,481バイト +11‎ ノート:Well-formed_formula#整論理式という用語は造語ではないか？ 取り消し

2020年4月20日 (月)

• 最新前 04:182020年4月20日 (月) 04:18‎ 185.26.156.212 会話‎ 16,470バイト +12‎ →‎参考文献 取り消し

2018年1月27日 (土)

• 最新前 04:222018年1月27日 (土) 04:22‎ Tomorrow g 会話 投稿記録‎ 16,458バイト +26‎ →‎参考文献 取り消し

2017年9月25日 (月)

• 最新前 00:432017年9月25日 (月) 00:43‎ InternetArchiveBot 会話 投稿記録‎ 16,432バイト +185‎ 1個の出典を修正し、0個にリンク切れのタグを追加しました。 #IABot (v1.5.3) 取り消し

2014年10月19日 (日)

• 最新前 23:592014年10月19日 (日) 23:59‎ Masahiro Sakai 会話 投稿記録‎ 16,247バイト +9‎ The most general second-order logic の訳を修正 取り消し
• 最新前 23:562014年10月19日 (日) 23:56‎ Masahiro Sakai 会話 投稿記録‎ 16,238バイト +6‎ 誤訳修正: 汎用二階述語論理→全称量化二階述語論理 取り消し

2014年1月24日 (金)

• 最新前 12:272014年1月24日 (金) 12:27‎ おまぁ～ 会話 投稿記録‎ m 16,232バイト 0‎ 編集の要約なし 取り消し

2013年4月30日 (火)

• 最新前 06:442013年4月30日 (火) 06:44‎ Addbot 会話 投稿記録‎ m 16,232バイト −344‎ ボット: 言語間リンク 10 件をウィキデータ上の d:q1548746 に転記 取り消し

2012年12月2日 (日)

• 最新前 19:052012年12月2日 (日) 19:05‎ Rubinbot 会話 投稿記録‎ m 16,576バイト +58‎ r2.5.4) (ロボットによる 追加: fr:Logique d'ordre supérieur#Logique du second ordre 取り消し

2012年9月30日 (日)

• 最新前 13:402012年9月30日 (日) 13:40‎ ZéroBot 会話 投稿記録‎ m 16,518バイト +36‎ r2.7.1) (ロボットによる 追加: he:לוגיקה מסדר שני 取り消し

2012年7月29日 (日)

• 最新前 09:562012年7月29日 (日) 09:56‎ Tiyoringo 会話 投稿記録‎ m 16,482バイト 0‎ 編集の要約なし 取り消し

2012年3月30日 (金)

• 最新前 00:202012年3月30日 (金) 00:20‎ HiW-Bot 会話 投稿記録‎ m 16,482バイト +38‎ r2.7.2) (ロボットによる 追加: de:Prädikatenlogik zweiter Stufe 取り消し

2011年3月14日 (月)

• 最新前 09:462011年3月14日 (月) 09:46‎ 114.22.225.36 会話‎ 16,444バイト −3‎ 編集の要約なし 取り消し

2010年12月19日 (日)

• 最新前 02:252010年12月19日 (日) 02:25‎ Masahiro Sakai 会話 投稿記録‎ 16,447バイト +6‎ effectivenessの訳を「有効性」からより一般的な訳語である「実効性」に。 取り消し

2010年2月7日 (日)

• 最新前 16:332010年2月7日 (日) 16:33‎ MondalorBot 会話 投稿記録‎ m 16,441バイト +30‎ ロボットによる 追加: ca:Lògica de segon ordre 取り消し

2009年10月1日 (木)

• 最新前 18:022009年10月1日 (木) 18:02‎ MakoBot 会話 投稿記録‎ m 16,411バイト +16‎ Robot adding DEFAULTSORT 取り消し

2009年9月23日 (水)

• 最新前 19:022009年9月23日 (水) 19:02‎ MakoBot 会話 投稿記録‎ m 16,395バイト +38‎ ロボットによる: カテゴリ追加 Category:数学に関する記事 取り消し

2009年9月21日 (月)

• 最新前 22:582009年9月21日 (月) 22:58‎ D'ohBot 会話 投稿記録‎ m 16,357バイト +50‎ ロボットによる 追加: uk:Логіка другого порядку 取り消し

2009年9月18日 (金)

• 最新前 12:422009年9月18日 (金) 12:42‎ 江口磐世☆ 会話 投稿記録‎ m 16,307バイト +58‎ lang 取り消し

2009年7月9日 (木)

• 最新前 06:372009年7月9日 (木) 06:37‎ Futaru 会話 投稿記録‎ 16,249バイト +72‎ →‎二階論理の表現能力: 英語版に倣って修正 取り消し
• 最新前 06:282009年7月9日 (木) 06:28‎ Futaru 会話 投稿記録‎ 16,177バイト +15‎ →‎二階論理の表現能力: 英語版に倣って、解説文の内容を論理式に一致させた 取り消し

2008年10月10日 (金)

• 最新前 08:482008年10月10日 (金) 08:48‎ DragonBot 会話 投稿記録‎ m 16,162バイト +30‎ ロボットによる 追加: sv:Andra ordningens logik 取り消し

2008年8月9日 (土)

• 最新前 11:322008年8月9日 (土) 11:32‎ Yotaloop 会話 投稿記録‎ 16,132バイト +67‎ リンク henkin→ヘンキン 取り消し

2008年6月8日 (日)

• 最新前 16:592008年6月8日 (日) 16:59‎ Melan 会話 投稿記録‎ m 16,065バイト +4‎ →‎文法 取り消し

2008年6月6日 (金)

• 最新前 21:382008年6月6日 (金) 21:38‎ Melan 会話 投稿記録‎ 16,061バイト 0‎ 編集の要約なし 取り消し

2008年3月10日 (月)

• 最新前 12:512008年3月10日 (月) 12:51‎ Loveless 会話 投稿記録‎ m 16,061バイト +32‎ ロボットによる 追加: es:Lógica de segundo orden 取り消し

2008年2月22日 (金)

• 最新前 05:352008年2月22日 (金) 05:35‎ Melan 会話 投稿記録‎ m 16,029バイト 0‎ 編集の要約なし 取り消し

2008年2月20日 (水)

• 最新前 00:292008年2月20日 (水) 00:29‎ Melan 会話 投稿記録‎ 16,029バイト +16,029‎ en:Second-order logic（2008年2月7日 19:43:56(UTC)）の翻訳（一部省略）