「DPLLアルゴリズム」の変更履歴

2022年8月1日 (月)

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

2019年1月26日 (土)

• 最新前 22:532019年1月26日 (土) 22:53‎ 125.30.44.162 会話‎ 13,935バイト +2‎ →‎規則: カンマを読点に統一 取り消し タグ: モバイル編集 モバイルウェブ編集

2018年8月22日 (水)

• 最新前 13:132018年8月22日 (水) 13:13‎ まつもとひ 会話 投稿記録‎ m 13,933バイト +32‎ Category:自動定理証明を追加 (HotCat使用) 取り消し

2018年2月23日 (金)

• 最新前 08:052018年2月23日 (金) 08:05‎ Ef3 会話 投稿記録‎ m 13,901バイト +4‎ →‎規則: ln 取り消し タグ: 2017年版ソースエディター

2018年1月5日 (金)

• 最新前 08:042018年1月5日 (金) 08:04‎ 青子守歌 会話 投稿記録‎ m 13,897バイト +199‎ lk 取り消し

2015年12月6日 (日)

• 最新前 16:012015年12月6日 (日) 16:01‎ 謗法 会話 投稿記録‎ m 13,698バイト −44‎ -error 取り消し

2014年6月17日 (火)

• 最新前 06:252014年6月17日 (火) 06:25‎ 133.28.209.222 会話‎ 13,742バイト 0‎ 包含規則において，節"C"の全てのリテラルが他の節"D"に含まれている場合，除去されるべき節は"D"である． 取り消し

2014年3月21日 (金)

• 最新前 08:052014年3月21日 (金) 08:05‎ MoreNet 会話 投稿記録‎ m 13,742バイト +12‎ 編集の要約なし 取り消し

2014年3月16日 (日)

• 最新前 22:572014年3月16日 (日) 22:57‎ MoreNet 会話 投稿記録‎ m 13,730バイト −16‎ 編集の要約なし 取り消し

2013年4月9日 (火)

• 最新前 06:232013年4月9日 (火) 06:23‎ EmausBot 会話 投稿記録‎ m 13,746バイト −171‎ ボット: 言語間リンク 8 件をウィキデータ上の d:Q2030088 に転記 取り消し

2012年12月18日 (火)

• 最新前 20:332012年12月18日 (火) 20:33‎ 116.82.67.6 会話‎ 13,917バイト −22‎ →‎充足可能な論理式 取り消し

2011年12月1日 (木)

• 最新前 13:382011年12月1日 (木) 13:38‎ WikitanvirBot 会話 投稿記録‎ m 13,939バイト +22‎ r2.7.1) (ロボットによる 追加: fr:Algorithme DPLL 取り消し

2011年5月29日 (日)

• 最新前 07:432011年5月29日 (日) 07:43‎ Phw 会話 投稿記録‎ m 13,917バイト +626‎ 手続きでの消されたインデントの回復、記述の一部補足など 取り消し

2011年3月8日 (火)

• 最新前 05:232011年3月8日 (火) 05:23‎ Hottaimo 会話 投稿記録‎ m 13,291バイト −37‎ 編集の要約なし 取り消し

2010年11月25日 (木)

• 最新前 07:372010年11月25日 (木) 07:37‎ 60.41.183.214 会話‎ 13,328バイト −22‎ 編集の要約なし 取り消し

2010年5月21日 (金)

• 最新前 14:502010年5月21日 (金) 14:50‎ 222.11.196.254 会話‎ 13,350バイト 0‎ →‎概要 取り消し

2010年4月13日 (火)

• 最新前 04:462010年4月13日 (火) 04:46‎ Phw 会話 投稿記録‎ 13,350バイト −108‎ 文言微調整、誤記修正など 取り消し

2010年4月9日 (金)

• 最新前 04:452010年4月9日 (金) 04:45‎ Phw 会話 投稿記録‎ 13,458バイト +13,458‎ ←新しいページ: ''''DPLLアルゴリズム'''（''{{lang|en|Davis-Putnam-Logemann-Loveland algorithm}}''）、あるいは'''Davis-Putnam-Logemann-Lovelandアルゴリズム'''と...'