相关更改
输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。
缩写列表：
- 新
- 该编辑创建了新页面（见新页面列表）
- 小
- 该编辑为小编辑
- 机
- 该编辑由机器人执行
- (±123)
- 该页面字节数的前后变化
2026年1月16日 (星期五)
|
|
10:57 | 自然演绎系统 5次更改 历史 +1,125 [Gsxab （5×）] | |||
|
|
10:57 （当前 | 之前） −20 Gsxab 留言 贡献 | ||||
|
|
09:48 （当前 | 之前） +68 Gsxab 留言 贡献 （→谓词逻辑） | ||||
|
|
09:45 （当前 | 之前） +136 Gsxab 留言 贡献 （→谓词逻辑） | ||||
|
|
09:29 （当前 | 之前） +2 Gsxab 留言 贡献 | ||||
|
|
04:26 （当前 | 之前） +939 Gsxab 留言 贡献 | ||||
2026年1月15日 (星期四)
| 14:55 | 自然演绎系统 差异历史 +1,051 Gsxab 留言 贡献 | ||||
|
|
13:14 | 形式化公理系统（逻辑） 2次更改 历史 +412 [Gsxab （2×）] | |||
|
|
13:14 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
12:20 （当前 | 之前） +412 Gsxab 留言 贡献 | ||||
|
|
13:13 | 公理系统（逻辑） 3次更改 历史 +676 [Gsxab （3×）] | |||
|
|
13:13 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
13:12 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
13:10 （当前 | 之前） +676 Gsxab 留言 贡献 | ||||
2026年1月14日 (星期三)
| 03:48 | 形式化公理系统（逻辑） 差异历史 +82 Gsxab 留言 贡献 | ||||
|
|
03:38 | 公理系统（逻辑） 3次更改 历史 +336 [Gsxab （3×）] | |||
|
|
03:38 （当前 | 之前） +247 Gsxab 留言 贡献 | ||||
|
|
03:35 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
03:34 （当前 | 之前） +89 Gsxab 留言 贡献 | ||||
| 03:31 | 自然演绎系统 差异历史 +72 Gsxab 留言 贡献 | ||||