主な公開記録
Wikipediaの取得できる記録をまとめて表示しています。 記録の種類、実行した利用者 (大文字小文字は区別)、影響を受けたページ (大文字小文字は区別) による絞り込みができます。
- 2018年8月22日 (水) 13:03 まつもとひ 会話 投稿記録 がページ「Category:自動定理証明」を作成しました (←新しいページ: 「自動定理証明に関するカテゴリ。 {{DEFAULTSORT:しとうていりしようめい}} Category:電子計算の数学 Category:理論…」)
- 2018年8月22日 (水) 11:55 まつもとひ 会話 投稿記録 がページ「Category:部分構造論理」を作成しました (←新しいページ: 「部分構造論理に関するカテゴリ。 {{DEFAULTSORT:ふふんこうそうろんり}} Category:証明論 Category:形式体系 Catego…」)
- 2018年8月22日 (水) 10:53 まつもとひ 会話 投稿記録 がページ「矛盾許容型論理」を作成しました (←矛盾許容論理へのリダイレクト) タグ: 新規リダイレクト
- 2018年8月22日 (水) 10:53 まつもとひ 会話 投稿記録 がページ「Category:矛盾許容型論理」を作成しました (←新しいページ: 「矛盾許容型論理に関するカテゴリ。 {{デフォルトソート:むしゆんきようかたろんり}} Category:形式体系 Categor…」)
- 2018年8月22日 (水) 10:31 まつもとひ 会話 投稿記録 がページ「Category:命題論理の定理」を作成しました (←新しいページ: 「命題論理の定理に関するカテゴリ。 ていり めいたいろんり」)
- 2018年8月22日 (水) 10:25 利用者アカウント まつもとひ 会話 投稿記録 が自動的に作成されました