「自動定理証明」の変更履歴

2023年1月7日 (土)

• 最新前 09:182023年1月7日 (土) 09:18‎ Cherio1970 会話 投稿記録‎ m 27,490バイト +1‎ 編集の要約なし 取り消し

2022年10月7日 (金)

• 最新前 13:012022年10月7日 (金) 13:01‎ おいらのオイラー 会話 投稿記録‎ 27,489バイト +3‎ →‎最初の実装 取り消し

2021年4月25日 (日)

• 最新前 12:462021年4月25日 (日) 12:46‎ Kyosu-tanni 会話 投稿記録‎ 27,486バイト +16‎ リンク修正: 証明→証明 (数学)（分割に伴う） 取り消し

2021年3月16日 (火)

• 最新前 14:382021年3月16日 (火) 14:38‎ SeitenBot 会話 投稿記録‎ m 27,470バイト +14‎ Botによる: {{Normdaten}}を追加 取り消し

2018年8月22日 (水)

• 最新前 12:572018年8月22日 (水) 12:57‎ まつもとひ 会話 投稿記録‎ 27,456バイト +34‎ category 取り消し

2018年5月28日 (月)

• 最新前 07:092018年5月28日 (月) 07:09‎ 新規作成 会話 投稿記録‎ m 27,422バイト +38‎ 編集の要約なし 取り消し

2018年5月26日 (土)

• 最新前 10:432018年5月26日 (土) 10:43‎ 61.116.242.150 会話‎ 27,384バイト −38‎ 「プレスブルガー算術」を「プレスバーガー算術」とした上で当該ページへのリンクを修正 取り消し タグ: ビジュアルエディター

2017年2月22日 (水)

• 最新前 06:442017年2月22日 (水) 06:44‎ JapaneseA 会話 投稿記録‎ m 27,422バイト −13‎ 編集の要約なし 取り消し

2015年10月31日 (土)

• 最新前 21:402015年10月31日 (土) 21:40‎ Sillycrown 会話 投稿記録‎ 27,435バイト +6‎ →‎論理学的背景 取り消し

2015年10月1日 (木)

• 最新前 22:152015年10月1日 (木) 22:15‎ Sillycrown 会話 投稿記録‎ 27,429バイト +73‎ →‎問題の決定可能性 取り消し

2014年8月6日 (水)

• 最新前 14:062014年8月6日 (水) 14:06‎ 神奈川エーフレッツ 会話 投稿記録‎ 27,356バイト +12‎ 編集の要約なし 取り消し

2014年6月14日 (土)

• 最新前 12:522014年6月14日 (土) 12:52‎ Phw 会話 投稿記録‎ m 27,344バイト +12‎ →‎最初の実装 取り消し

2013年3月20日 (水)

• 最新前 06:122013年3月20日 (水) 06:12‎ EmausBot 会話 投稿記録‎ m 27,332バイト −485‎ ボット: 言語間リンク 10 件をウィキデータ上の (d:Q431667 に転記) 取り消し

2013年1月30日 (水)

• 最新前 00:182013年1月30日 (水) 00:18‎ Melan 会話 投稿記録‎ m 27,817バイト +1‎ →‎最初の実装 取り消し
• 最新前 00:072013年1月30日 (水) 00:07‎ Melan 会話 投稿記録‎ 27,816バイト +15,789‎ en:Automated theorem proving（2013年1月19日 7:36:33(UTC)）の翻訳（一部）をマージ 取り消し タグ: サイズの大幅な増減

2012年11月3日 (土)

• 最新前 12:442012年11月3日 (土) 12:44‎ Synthebot 会話 投稿記録‎ m 12,027バイト +91‎ r2.6.4) (ロボットによる 追加: ru:Автоматическое доказательство, zh:定理机器证明 取り消し
• 最新前 10:572012年11月3日 (土) 10:57‎ Synthebot 会話 投稿記録‎ m 11,936バイト −126‎ r2.6.4) (ロボットによる 除去: de:Computerbeweis, ru:Автоматическое доказательство теорем, zh:自動定理證明 取り消し

2012年7月29日 (日)

• 最新前 10:322012年7月29日 (日) 10:32‎ Tiyoringo 会話 投稿記録‎ m 12,062バイト 0‎ 編集の要約なし 取り消し

2012年5月21日 (月)

• 最新前 05:552012年5月21日 (月) 05:55‎ MerlIwBot 会話 投稿記録‎ m 12,062バイト +40‎ ロボットによる 追加: fa:اثبات قضیه خودکار 取り消し

2011年9月16日 (金)

• 最新前 14:212011年9月16日 (金) 14:21‎ MetaNest 会話 投稿記録‎ 12,022バイト −6‎ →‎概要 取り消し
• 最新前 14:202011年9月16日 (金) 14:20‎ MetaNest 会話 投稿記録‎ 12,028バイト −494‎ 編集の要約なし 取り消し

2011年5月26日 (木)

• 最新前 04:002011年5月26日 (木) 04:00‎ Insanity 会話 投稿記録‎ m 12,522バイト +262‎ 定義文, category 取り消し

2010年4月5日 (月)

• 最新前 05:372010年4月5日 (月) 05:37‎ Phw 会話 投稿記録‎ m 12,260バイト +304‎ 他の言語　不足分追加 取り消し
• 最新前 05:282010年4月5日 (月) 05:28‎ Phw 会話 投稿記録‎ m 11,956バイト +57‎ →‎関連著名人 取り消し

2010年3月16日 (火)

• 最新前 00:162010年3月16日 (火) 00:16‎ 61.86.183.33 会話‎ 11,899バイト +57‎ →‎関連項目 取り消し

2010年3月8日 (月)

• 最新前 05:172010年3月8日 (月) 05:17‎ Phw 会話 投稿記録‎ m 11,842バイト +133‎ →‎関連著名人 取り消し

2010年2月17日 (水)

• 最新前 23:322010年2月17日 (水) 23:32‎ Sierpinski 会話 投稿記録‎ m 11,709バイト +20‎ →‎概要 取り消し

2010年2月7日 (日)

• 最新前 03:392010年2月7日 (日) 03:39‎ 220.214.194.147 会話‎ 11,689バイト −15‎ ハーブランドでは無くエルブランなので訂正します 取り消し

2009年8月7日 (金)

• 最新前 05:512009年8月7日 (金) 05:51‎ 219.121.142.221 会話‎ 11,704バイト +25‎ 編集の要約なし 取り消し

2008年4月12日 (土)

• 最新前 19:012008年4月12日 (土) 19:01‎ Melan 会話 投稿記録‎ m 11,679バイト +4‎ →‎一階述語論理の定理証明 取り消し

2007年12月31日 (月)

• 最新前 17:552007年12月31日 (月) 17:55‎ たね 会話 投稿記録‎ m 11,675バイト −22‎ -インテル (企業) 取り消し

2007年10月21日 (日)

• 最新前 04:212007年10月21日 (日) 04:21‎ Melan 会話 投稿記録‎ m 11,697バイト +14‎ →‎一階述語論理の定理証明 取り消し

2007年6月14日 (木)

• 最新前 06:282007年6月14日 (木) 06:28‎ Melan 会話 投稿記録‎ m 11,683バイト −9‎ →‎関連項目 取り消し

2007年1月27日 (土)

• 最新前 18:002007年1月27日 (土) 18:00‎ Y gotoh 会話 投稿記録‎ m 11,692バイト +57‎ 編集の要約なし 取り消し

2007年1月13日 (土)

• 最新前 18:312007年1月13日 (土) 18:31‎ VolkovBot 会話 投稿記録‎ m 11,635バイト +78‎ robot Adding: ru:Автоматическое доказательство теорем 取り消し

2006年11月18日 (土)

• 最新前 05:022006年11月18日 (土) 05:02‎ Melan 会話 投稿記録‎ 11,557バイト +11,557‎ en:Automated theorem proving 18:24, 31 October 2006 版の翻訳（一部省略）