相关更改
输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。
缩写列表：
- 新
- 该编辑创建了新页面（见新页面列表）
- 小
- 该编辑为小编辑
- 机
- 该编辑由机器人执行
- (±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 留言 贡献 | ||||