「ホーン節」の変更履歴

2023年9月1日 (金)

• 最新前 16:022023年9月1日 (金) 16:02‎ ぐしー 会話 投稿記録‎ m 7,947バイト +9‎ 曖昧さ回避ページ論理式へのリンクを解消、リンク先を論理式 (数学)に変更(DisamAssist使用) 取り消し

2023年2月12日 (日)

• 最新前 14:222023年2月12日 (日) 14:22‎ Shinsa82 会話 投稿記録‎ m 7,938バイト −30‎ →‎論理プログラミングにおける用法: ホーン節 (GHC) として許されない記法で書いていたものを削除 取り消し
• 最新前 14:202023年2月12日 (日) 14:20‎ Shinsa82 会話 投稿記録‎ 7,968バイト −10‎ →‎ホーン節（Horn clause）: リテラルと命題変数の区別を正確にした。 取り消し
• 最新前 14:132023年2月12日 (日) 14:13‎ Shinsa82 会話 投稿記録‎ m 7,978バイト +127‎ →‎節（clause）: これ以降の部分の説明を楽にするために、正負リテラルの説明を追加。 取り消し
• 最新前 14:062023年2月12日 (日) 14:06‎ Shinsa82 会話 投稿記録‎ 7,851バイト +309‎ →‎論理プログラミングにおける用法: 主に、リテラルと原始命題変数の区別をはっきりさせた 取り消し

2023年2月4日 (土)

• 最新前 12:592023年2月4日 (土) 12:59‎ 加藤勝憲 会話 投稿記録‎ 7,542バイト +31‎ →‎概要: 著者名ではなく著作名に変更。 取り消し タグ: 2017年版ソースエディター

2018年6月20日 (水)

• 最新前 22:132018年6月20日 (水) 22:13‎ 299b69a 会話 投稿記録‎ m 7,511バイト +26‎ エポニム 取り消し タグ: 2017年版ソースエディター

2018年3月28日 (水)

• 最新前 08:362018年3月28日 (水) 08:36‎ 175.177.5.134 会話‎ 7,485バイト −5‎ 誤記を修正 取り消し タグ: ビジュアルエディター

2018年1月28日 (日)

• 最新前 04:132018年1月28日 (日) 04:13‎ Tomorrow g 会話 投稿記録‎ m 7,490バイト +3‎ Category:数理論理学を除去; Category:標準形 (論理)を追加 (HotCat使用) 取り消し

2017年1月10日 (火)

• 最新前 09:102017年1月10日 (火) 09:10‎ MomijiRoBot 会話 投稿記録‎ m 7,487バイト −51‎ Bot: ¬ → ¬ ,Replaced HTML character entity reference to the equivalent character/string∵Check Wikipedia #11 取り消し

2014年10月16日 (木)

• 最新前 12:242014年10月16日 (木) 12:24‎ 神奈川エーフレッツ 会話 投稿記録‎ 7,538バイト 0‎ 編集の要約なし 取り消し

2014年7月29日 (火)

• 最新前 12:342014年7月29日 (火) 12:34‎ Phw 会話 投稿記録‎ m 7,538バイト +8‎ →‎概要 取り消し

2014年3月10日 (月)

• 最新前 15:462014年3月10日 (月) 15:46‎ MoreNet 会話 投稿記録‎ m 7,530バイト +18‎ 編集の要約なし 取り消し

2014年2月27日 (木)

• 最新前 16:262014年2月27日 (木) 16:26‎ MoreNet 会話 投稿記録‎ m 7,512バイト −67‎ 編集の要約なし 取り消し

2013年11月10日 (日)

• 最新前 15:382013年11月10日 (日) 15:38‎ I.hidekazu 会話 投稿記録‎ m 7,579バイト −33‎ →‎概要 取り消し
• 最新前 15:362013年11月10日 (日) 15:36‎ I.hidekazu 会話 投稿記録‎ 7,612バイト −442‎ 完全性定理、エルブランの定理、導出原理等理解していないものが多いが、文献から大まかに分かる範囲で概要を記載した。 取り消し
• 最新前 15:192013年11月10日 (日) 15:19‎ I.hidekazu 会話 投稿記録‎ m 8,054バイト +63‎ →‎論理プログラミングにおける用法 取り消し
• 最新前 15:172013年11月10日 (日) 15:17‎ I.hidekazu 会話 投稿記録‎ 7,991バイト +59‎ →‎定義: 読みにくいところを修正。 取り消し
• 最新前 15:112013年11月10日 (日) 15:11‎ I.hidekazu 会話 投稿記録‎ 7,932バイト +1,263‎ 山崎(2000)を元にホーン節の定義を数理論理学と論理プログラミングとしてのことばの使い方を分けた形で記載した。 取り消し

2013年11月4日 (月)

• 最新前 17:182013年11月4日 (月) 17:18‎ I.hidekazu 会話 投稿記録‎ m 6,669バイト −17‎ →‎関連項目 取り消し

2013年11月3日 (日)

• 最新前 13:442013年11月3日 (日) 13:44‎ I.hidekazu 会話 投稿記録‎ m 6,686バイト +6‎ →‎ホーン節（Horn clause） 取り消し
• 最新前 13:372013年11月3日 (日) 13:37‎ I.hidekazu 会話 投稿記録‎ 6,680バイト −3‎ →‎ホーン節（Horn clause） 取り消し
• 最新前 13:362013年11月3日 (日) 13:36‎ I.hidekazu 会話 投稿記録‎ 6,683バイト +1,506‎ →‎ホーン節（Horn clause）: 定義部分を項目「導出」から移動。いくつか手直し。命題論理のみの記述となっているので、文献を見つけ次第一階述語論理についても記載する。 取り消し
• 最新前 13:002013年11月3日 (日) 13:00‎ I.hidekazu 会話 投稿記録‎ 5,177バイト +230‎ →‎参考文献: 参考文献を追加 取り消し
• 最新前 12:572013年11月3日 (日) 12:57‎ I.hidekazu 会話 投稿記録‎ 4,947バイト +7‎ →‎定義 取り消し
• 最新前 12:462013年11月3日 (日) 12:46‎ I.hidekazu 会話 投稿記録‎ 4,940バイト +637‎ 節について改めて定義を記載した。 取り消し
• 最新前 12:122013年11月3日 (日) 12:12‎ I.hidekazu 会話 投稿記録‎ 4,303バイト +204‎ 細かい修正 取り消し

2013年10月31日 (木)

• 最新前 17:362013年10月31日 (木) 17:36‎ I.hidekazu 会話 投稿記録‎ 4,099バイト +227‎ 関連項目を追加 取り消し
• 最新前 17:282013年10月31日 (木) 17:28‎ I.hidekazu 会話 投稿記録‎ 3,872バイト +510‎ 冒頭の説明などを整理した。 取り消し

2013年4月14日 (日)

• 最新前 03:572013年4月14日 (日) 03:57‎ EmausBot 会話 投稿記録‎ m 3,362バイト −304‎ ボット: 言語間リンク 13 件をウィキデータ上の d:Q933932 に転記 取り消し

2011年7月22日 (金)

• 最新前 06:242011年7月22日 (金) 06:24‎ EmausBot 会話 投稿記録‎ m 3,666バイト +29‎ r2.6.4) (ロボットによる 追加: kk:Хорн өрнегі 取り消し

2009年9月22日 (火)

• 最新前 22:032009年9月22日 (火) 22:03‎ MakoBot 会話 投稿記録‎ m 3,637バイト +39‎ ロボットによる: カテゴリ追加 Category:数学に関する記事 取り消し

2009年7月19日 (日)

• 最新前 20:412009年7月19日 (日) 20:41‎ Rubinbot 会話 投稿記録‎ m 3,598バイト +35‎ ロボットによる 追加: ru:Дизъюнкт Хорна 取り消し

2009年5月25日 (月)

• 最新前 09:372009年5月25日 (月) 09:37‎ Melan 会話 投稿記録‎ m 3,563バイト 0‎ 編集の要約なし 取り消し

2009年2月21日 (土)

• 最新前 19:512009年2月21日 (土) 19:51‎ Yotaloop 会話 投稿記録‎ 3,563バイト −4‎ 言語テンプレ 取り消し

2009年2月5日 (木)

• 最新前 17:232009年2月5日 (木) 17:23‎ ArthurBot 会話 投稿記録‎ m 3,567バイト 0‎ ロボットによる 変更: nl:Horn-clausule 取り消し

2008年11月4日 (火)

• 最新前 01:012008年11月4日 (火) 01:01‎ Yotaloop 会話 投稿記録‎ m 3,567バイト +21‎ Alfred Horn→アルフレッド・ホーン 取り消し

2008年8月25日 (月)

• 最新前 12:422008年8月25日 (月) 12:42‎ Ptbotgourou 会話 投稿記録‎ m 3,546バイト +2‎ ロボットによる 変更: zh:霍恩子句 取り消し

2007年10月25日 (木)

• 最新前 19:202007年10月25日 (木) 19:20‎ BotMultichill 会話 投稿記録‎ m 3,544バイト +21‎ ロボットによる 追加: nl:Horn clausule 取り消し

2007年8月4日 (土)

• 最新前 04:542007年8月4日 (土) 04:54‎ Melan 会話 投稿記録‎ 3,523バイト +3,523‎ en:Horn clause（2007年7月31日 22:39:34(UTC)）の翻訳