相关更改
←可靠性
输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。
缩写列表：
- 新
- 该编辑创建了新页面（见新页面列表）
- 小
- 该编辑为小编辑
- 机
- 该编辑由机器人执行
- (±123)
- 该页面字节数的前后变化
2026年1月26日 (星期一)
| 06:18 | 独立性 差异历史 +505 Gsxab 留言 贡献 | ||||
|
|
06:16 | 一致性 4次更改 历史 +816 [Gsxab （4×）] | |||
|
|
06:16 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
04:19 （当前 | 之前） +23 Gsxab 留言 贡献 | ||||
|
|
04:16 （当前 | 之前） +700 Gsxab 留言 贡献 | ||||
|
|
02:41 （当前 | 之前） +93 Gsxab 留言 贡献 | ||||
2026年1月25日 (星期日)
| 13:18 | 一致性 差异历史 +79 Gsxab 留言 贡献 | ||||
|
|
13:17 | 完备性（逻辑） 2次更改 历史 +759 [Gsxab （2×）] | |||
|
|
13:17 （当前 | 之前） −14 Gsxab 留言 贡献 | ||||
|
|
13:13 （当前 | 之前） +773 Gsxab 留言 贡献 | ||||
| 13:15 | 模板:证明论 差异历史 +32 Gsxab 留言 贡献 | ||||
2026年1月23日 (星期五)
| 新 13:38 | 普遍有效公式 差异历史 +109 Gsxab 留言 贡献 （重定向页面至谓词公式分类#有效式） | ||||
|
|
12:35 | 元定理 3次更改 历史 +308 [Gsxab （3×）] | |||
|
|
12:35 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
12:35 （当前 | 之前） +299 Gsxab 留言 贡献 | ||||
|
|
07:15 （当前 | 之前） +9 Gsxab 留言 贡献 | ||||
| 12:31 | 保存重言性 差异历史 +1,602 Gsxab 留言 贡献 | ||||
|
|
12:16 | 保存真实性 5次更改 历史 +1,392 [Gsxab （5×）] | |||
|
|
12:16 （当前 | 之前） +36 Gsxab 留言 贡献 | ||||
|
|
12:04 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
12:04 （当前 | 之前） +674 Gsxab 留言 贡献 | ||||
|
|
11:41 （当前 | 之前） +132 Gsxab 留言 贡献 | ||||
|
|
11:28 （当前 | 之前） +550 Gsxab 留言 贡献 | ||||
|
|
10:52 | 变形规则 3次更改 历史 +132 [Gsxab （3×）] | |||
|
|
10:52 （当前 | 之前） +3 Gsxab 留言 贡献 | ||||
|
|
10:51 （当前 | 之前） +4 Gsxab 留言 贡献 | ||||
|
|
07:27 （当前 | 之前） +125 Gsxab 留言 贡献 | ||||
2026年1月22日 (星期四)
|
|
06:02 | 公理（逻辑） 3次更改 历史 +567 [Gsxab （3×）] | |||
|
|
06:02 （当前 | 之前） +37 Gsxab 留言 贡献 （→分类） | ||||
|
|
05:56 （当前 | 之前） −2 Gsxab 留言 贡献 | ||||
|
|
05:55 （当前 | 之前） +532 Gsxab 留言 贡献 | ||||
|
|
05:42 | 模板:证明论 2次更改 历史 +13 [Gsxab （2×）] | |||
|
|
05:42 （当前 | 之前） +13 Gsxab 留言 贡献 | ||||
|
|
04:23 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
| 05:16 | 定理 差异历史 +24 Gsxab 留言 贡献 | ||||
| 05:03 | 演绎 差异历史 +843 Gsxab 留言 贡献 | ||||
|
|
04:23 | 证明 2次更改 历史 +1,317 [Gsxab （2×）] | |||
|
|
04:23 （当前 | 之前） +1,137 Gsxab 留言 贡献 | ||||
|
|
03:55 （当前 | 之前） +180 Gsxab 留言 贡献 | ||||