「ユニフィケーション」の変更履歴

版の絞り込み表示隠す

この日まで:

タグ絞り込み:

選択したものを除く

差分を表示するには比較したい版のラジオボタンを選択し、エンターキーを押すか、下部のボタンを押します。
凡例: (最新) = 最新版との比較、(前) = 直前の版との比較、m = 細部の編集、日時は個人設定で未設定ならUTC

最新前 03:082022年8月9日 (火) 03:08‎ Mariobanana 会話投稿記録‎ 26,751バイト +57‎ 編集の要約なし取り消し

最新前 13:572022年6月8日 (水) 13:57‎ Dušan Kreheľ (bot) 会話投稿記録‎ 26,694バイト −23‎ More used with only one reference definition: 1 new reference and 1 new reference call. 取り消し

最新前 09:082022年2月22日 (火) 09:08‎ Vcvfou698069 会話投稿記録‎ 26,717バイト +32‎ 編集の要約なし取り消し

最新前 01:322021年8月5日 (木) 01:32‎ H sakurai777 会話投稿記録‎ 26,685バイト +767‎ 編集の要約なし取り消し
最新前 01:282021年8月5日 (木) 01:28‎ H sakurai777 会話投稿記録‎ 25,918バイト +120‎ 編集の要約なし取り消しタグ: ビジュアルエディター: 中途切替

最新前 09:412021年6月23日 (水) 09:41‎ 240d:1a:34:bb00:44e6:8fd3:fe92:3c94 会話‎ 25,798バイト −3‎ 編集の要約なし取り消し

最新前 13:322019年10月16日 (水) 13:32‎ にこかん会話投稿記録‎ 25,801バイト +43‎ 編集の要約なし取り消し
最新前 13:312019年10月16日 (水) 13:31‎ にこかん会話投稿記録‎ 25,758バイト +18‎ 編集の要約なし取り消し

最新前 15:192019年1月13日 (日) 15:19‎ MirasBot 会話投稿記録‎ m 25,740バイト −6‎ →‎高階ユニフィケーション: URL修正 using AWB 取り消し

最新前 21:062019年1月2日 (水) 21:06‎ Texvc2LaTeXBot 会話投稿記録‎ m 25,746バイト +6‎ 廃止された数式構文をmw:Extension:Math/Roadmapに従って置き換える取り消し

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

最新前 13:392017年10月15日 (日) 13:39‎ Kwakita 会話投稿記録‎ m 25,708バイト 0‎ x_0, ..., x_n のような記述を x_1, ..., x_n に変更しました．「一階の項」の定義にあわせる変更です．取り消しタグ: ビジュアルエディター

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

最新前 21:062017年1月13日 (金) 21:06‎ Cewbot 会話投稿記録‎ m 25,665バイト −41‎ bot: 解消済み仮リンク結びを内部リンクに置き換えます取り消し

最新前 10:412014年12月27日 (土) 10:41‎ 埊会話投稿記録‎ m 25,706バイト +41‎ Category:論理プログラミングを追加 (HotCat使用) 取り消し

最新前 02:152014年7月2日 (水) 02:15‎ 117.55.65.133 会話‎ 25,665バイト 0‎ 編集の要約なし取り消し

最新前 15:162013年5月20日 (月) 15:16‎ Melan 会話投稿記録‎ m 24,771バイト 0‎ →‎構造上再帰的なユニフィケーション取り消し

最新前 23:272013年5月14日 (火) 23:27‎ TakaoOzaki 会話投稿記録‎ 24,771バイト +17‎ →‎論理プログラミングでのユニフィケーション取り消し
最新前 21:562013年5月14日 (火) 21:56‎ TakaoOzaki 会話投稿記録‎ 24,754バイト −18‎ →‎論理プログラミングでのユニフィケーション取り消し
最新前 21:532013年5月14日 (火) 21:53‎ TakaoOzaki 会話投稿記録‎ 24,772バイト +939‎ →‎論理プログラミングでのユニフィケーション取り消し

最新前 09:072013年5月9日 (木) 09:07‎ 116.81.79.9 会話‎ 23,833バイト −46‎ 編集の要約なし取り消し

最新前 23:262013年4月23日 (火) 23:26‎ Melan 会話投稿記録‎ 23,879バイト +19,248‎ en:Unification (computer science)（2013年2月27日 20:15:51(UTC)）の翻訳をマージ取り消しタグ: サイズの大幅な増減

最新前 17:552013年4月8日 (月) 17:55‎ Addbot 会話投稿記録‎ m 4,631バイト −351‎ ボット: 言語間リンク 11 件をウィキデータ上の d:q609057 に転記取り消し

最新前 20:162012年7月16日 (月) 20:16‎ EmausBot 会話投稿記録‎ m 4,982バイト −4‎ r2.7.2+) (ロボットによる変更: fa:یکسان‌سازی (رایانه) 取り消し

最新前 20:482011年12月26日 (月) 20:48‎ WikitanvirBot 会話投稿記録‎ m 4,986バイト +50‎ r2.7.1) (ロボットによる追加: ru:Частный случай формулы 取り消し

最新前 05:272011年2月2日 (水) 05:27‎ EmausBot 会話投稿記録‎ m 4,936バイト +7‎ r2.6.4) (ロボットによる変更: en:Unification (computer science) 取り消し

最新前 11:132010年12月14日 (火) 11:13‎ Tanhabot 会話投稿記録‎ m 4,929バイト +48‎ [r2.7.1] ロボットによる追加: fa:یکسان‌سازی (کامپیوتر) 取り消し

最新前 09:082010年11月20日 (土) 09:08‎ MystBot 会話投稿記録‎ m 4,881バイト −27‎ ロボットによる除去: fa:یکسان سازی 取り消し

最新前 08:002010年6月10日 (木) 08:00‎ Xqbot 会話投稿記録‎ m 4,908バイト +2‎ ロボットによる変更: vi:Hợp nhất (phép toán) 取り消し

最新前 16:052010年5月24日 (月) 16:05‎ DSisyphBot 会話投稿記録‎ m 4,906バイト +12‎ ロボットによる変更: en:Unification (computing) 取り消し

最新前 23:112010年4月8日 (木) 23:11‎ Alexbot 会話投稿記録‎ m 4,894バイト +27‎ ロボットによる追加: fa:یکسان سازی 取り消し

最新前 09:502009年11月27日 (金) 09:50‎ 雪罹冬霞会話投稿記録‎ m 4,867バイト +16‎ →‎Prolog におけるユニフィケーション取り消し

最新前 23:522009年10月2日 (金) 23:52‎ Loveless 会話投稿記録‎ m 4,851バイト +32‎ ロボットによる追加: pl:Unifikacja (informatyka) 取り消し

最新前 17:512009年10月1日 (木) 17:51‎ MakoBot 会話投稿記録‎ m 4,819バイト −9‎ Robot adding DEFAULTSORT 取り消し

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

最新前 15:232009年8月26日 (水) 15:23‎ Synthebot 会話投稿記録‎ m 4,790バイト −18‎ ロボットによる除去: pl:Unifikacja 取り消し

最新前 14:382009年8月24日 (月) 14:38‎ Zorrobot 会話投稿記録‎ m 4,808バイト +19‎ ロボットによる追加: no:Unifikasjon 取り消し

最新前 22:492009年2月27日 (金) 22:49‎ MystBot 会話投稿記録‎ m 4,789バイト +25‎ ロボットによる変更: bg:Унификация (информатика) 取り消し

最新前 19:552008年7月5日 (土) 19:55‎ Goregore 会話投稿記録‎ m 4,764バイト +10‎ →‎ユニフィケーションの例: リンク先の修正取り消し

最新前 16:562008年6月8日 (日) 16:56‎ Melan 会話投稿記録‎ m 4,754バイト +4‎ 編集の要約なし取り消し

最新前 05:282007年12月10日 (月) 05:28‎ Melan 会話投稿記録‎ m 4,750バイト +17‎ →‎Prolog におけるユニフィケーション取り消し

最新前 13:082007年10月12日 (金) 13:08‎ SieBot 会話投稿記録‎ m 4,733バイト +32‎ robot Adding: vi:Hợp nhất (lô gích) 取り消し

最新前 06:402007年6月14日 (木) 06:40‎ Melan 会話投稿記録‎ m 4,701バイト −9‎ →‎参考文献取り消し

最新前 13:292007年6月5日 (火) 13:29‎ Loveless 会話投稿記録‎ m 4,710バイト +28‎ robot Adding: bg:Унификация 取り消し

2022年8月9日 (火)

2022年6月8日 (水)

2022年2月22日 (火)

2021年8月5日 (木)

2021年6月23日 (水)

2019年10月16日 (水)

2019年1月13日 (日)

2019年1月2日 (水)

2018年8月22日 (水)

2017年10月15日 (日)

2017年9月20日 (水)

2017年1月13日 (金)

2014年12月27日 (土)

2014年7月2日 (水)

2013年11月5日 (火)

2013年5月20日 (月)

2013年5月14日 (火)

2013年5月9日 (木)

2013年4月23日 (火)

2013年4月8日 (月)

2012年7月16日 (月)

2011年12月26日 (月)

2011年2月2日 (水)

2010年12月14日 (火)

2010年11月20日 (土)

2010年6月10日 (木)

2010年5月24日 (月)

2010年4月8日 (木)

2009年11月27日 (金)

2009年10月2日 (金)

2009年10月1日 (木)

2009年9月23日 (水)

2009年8月26日 (水)

2009年8月24日 (月)

2009年2月27日 (金)

2008年7月5日 (土)

2008年6月8日 (日)

2007年12月10日 (月)

2007年10月12日 (金)

2007年6月14日 (木)

2007年6月5日 (火)