「証明 (数学)」の変更履歴

2024年8月23日 (金)

• 最新前 04:302024年8月23日 (金) 04:30 Glayhours 会話 投稿記録 m 8,264バイト +36 2400:2411:3ED5:1A00:42AA:F995:99E3:63F7 (会話) による ID:101576540 の版を取り消し 取り消し タグ: 取り消し モバイル編集 モバイルウェブ編集 改良版モバイル編集
• 最新前 04:142024年8月23日 (金) 04:14 2400:2411:3ed5:1a00:42aa:f995:99e3:63f7 会話 8,228バイト −36 →代表的な方法 取り消し タグ: 差し戻し済み ビジュアルエディター

2024年5月31日 (金)

• 最新前 05:522024年5月31日 (金) 05:52 Glayhours 会話 投稿記録 m 8,264バイト −353 couseraの講義は出典になるのでしょうか？Ifridamariahjalmarsson (会話) による ID:100557025 の版を取り消し 取り消し タグ: 取り消し モバイル編集 モバイルウェブ編集 改良版モバイル編集

2024年5月30日 (木)

• 最新前 20:082024年5月30日 (木) 20:08 Ifridamariahjalmarsson 会話 投稿記録 8,617バイト +353 →記述の習慣 取り消し タグ: 差し戻し済み ビジュアルエディター

2023年12月14日 (木)

• 最新前 02:252023年12月14日 (木) 02:25 Nnh 会話 投稿記録 m 8,264バイト +9 59.190.190.72 (会話) による版を ROE100 による版へ巻き戻し 取り消し タグ: 巻き戻し

2023年12月8日 (金)

• 最新前 02:242023年12月8日 (金) 02:24 59.190.190.72 会話 8,255バイト −9 編集の要約なし 取り消し タグ: 差し戻し済み ビジュアルエディター

2023年8月19日 (土)

• 最新前 16:142023年8月19日 (土) 16:14 ROE100 会話 投稿記録 8,264バイト +7 →脚注: 空の脚注を除去 取り消し

2023年8月6日 (日)

• 最新前 17:432023年8月6日 (日) 17:43 ARAKI Satoru 会話 投稿記録 8,257バイト +398 図の追加 取り消し
• 最新前 08:122023年8月6日 (日) 08:12 Mr.R1234 会話 投稿記録 7,859バイト +429 →代表的な方法: 出典追加 取り消し タグ: ビジュアルエディター: 中途切替 新規参加者タスク 新規参加者タスク: 出典

2023年6月9日 (金)

• 最新前 13:062023年6月9日 (金) 13:06 レモンライム 会話 投稿記録 7,430バイト +136 lk:ハッチング, redi:命題, 全称記号, 存在記号, ce, cl, + 取り消し タグ: ビジュアルエディター

2022年12月29日 (木)

• 最新前 17:322022年12月29日 (木) 17:32 Wint7 会話 投稿記録 m 7,294バイト +16 →代表的な方法: [fmt] 取り消し タグ: 2017年版ソースエディター

2022年11月16日 (水)

• 最新前 04:562022年11月16日 (水) 04:56 クエ 会話 投稿記録 7,278バイト +18 読み。 取り消し

2022年11月5日 (土)

• 最新前 06:452022年11月5日 (土) 06:45 121.119.136.94 会話 7,260バイト +763 →記述の習慣 取り消し タグ: ビジュアルエディター

2022年8月30日 (火)

• 最新前 08:072022年8月30日 (火) 08:07 Brown-Joe 会話 投稿記録 6,497バイト 0 文法を修正 取り消し タグ: モバイル編集 モバイルアプリ編集 iOSアプリ編集
• 最新前 08:052022年8月30日 (火) 08:05 Brown-Joe 会話 投稿記録 6,497バイト 0 文法を修正 取り消し タグ: モバイル編集 モバイルアプリ編集 iOSアプリ編集

2022年6月24日 (金)

• 最新前 16:032022年6月24日 (金) 16:03 Oyyo37 会話 投稿記録 m 6,497バイト +23 内部リンクの追加 取り消し

2022年3月16日 (水)

• 最新前 06:162022年3月16日 (水) 06:16 Glayhours 会話 投稿記録 m 6,474バイト +2 126.242.248.90 (会話) による ID:88549830 の版を取り消し 取り消し タグ: 取り消し モバイル編集 モバイルウェブ編集 改良版モバイル編集
• 最新前 06:102022年3月16日 (水) 06:10 126.242.248.90 会話 6,472バイト −2 →証明の形式的定義 取り消し タグ: 差し戻し済み モバイル編集 モバイルウェブ編集

2022年2月11日 (金)

• 最新前 01:582022年2月11日 (金) 01:58 Glayhours 会話 投稿記録 m 6,474バイト +6,442 219.111.158.248 (会話) による ID:87974475 の版を取り消し 取り消し タグ: 取り消し モバイル編集 モバイルウェブ編集 改良版モバイル編集
• 最新前 01:522022年2月11日 (金) 01:52 219.111.158.248 会話 32バイト −6,442 ←ページの置換: 「 {{DEFAULTSORT:しようめい}}」 取り消し タグ: 置換 差し戻し済み ビジュアルエディター

2021年11月23日 (火)

• 最新前 22:282021年11月23日 (火) 22:28 Qmjxa1203 会話 投稿記録 m 6,474バイト +1 編集の要約なし 取り消し タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集
• 最新前 22:272021年11月23日 (火) 22:27 Qmjxa1203 会話 投稿記録 m 6,473バイト +5 証明の文の編集 取り消し タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集

2021年10月5日 (火)

• 最新前 09:432021年10月5日 (火) 09:43 139.101.116.149 会話 6,468バイト −10 編集の要約なし 取り消し タグ: ビジュアルエディター

2021年7月3日 (土)

• 最新前 06:582021年7月3日 (土) 06:58 4th protocol 会話 投稿記録 6,478バイト +188 編集の要約なし 取り消し タグ: 2017年版ソースエディター

2021年4月25日 (日)

• 最新前 11:332021年4月25日 (日) 11:33 Kyosu-tanni 会話 投稿記録 m 6,290バイト −54 →top: -{{工事中}} 取り消し
• 最新前 11:312021年4月25日 (日) 11:31 Kyosu-tanni 会話 投稿記録 m 6,344バイト +21 →代表的な方法: 背理法→+帰謬法とも 取り消し
• 最新前 11:302021年4月25日 (日) 11:30 Kyosu-tanni 会話 投稿記録 6,323バイト +207 →関連項目: +{{Commonscat|Mathematical proof}}。+演繹, 帰納, 命題論理, 証拠, 証明論, シークエント計算, 計算機援用証明（証明#関連項目から抜粋してきました。適宜追加・修正お願いします）。+{{Mathlogic-stub}} 取り消し
• 最新前 11:202021年4月25日 (日) 11:20 Kyosu-tanni 会話 投稿記録 6,116バイト +89 最低限の整理など 取り消し
• 最新前 11:142021年4月25日 (日) 11:14 Kyosu-tanni 会話 投稿記録 m 6,027バイト +55 →top: {{工事中|分割後の整理が完了するまで}} 取り消し
• 最新前 11:132021年4月25日 (日) 11:13 Kyosu-tanni 会話 投稿記録 5,972バイト +5,972 証明（ページID 27991）の版ID 83158344から分割。 ノート:証明#分割提案での合意に基づく タグ: 参考文献（出典）に関する節がない記事の作成 カテゴリを含まない記事の作成