HypGraph 示例下载记录包验证它

中文

EnglishEspañolFrançaisDeutsch简体中文

本页为译文。以英文版为准： English

一个有争议的答案 · 两方根据同一份道路登记册回答同一个问题。Ada 犯了一个诚实的错误：30 公里，而仪器统计出 4 条路线中有 1 条更短。记录拒绝了它（COUNT_CONTRADICTS），她改正为 29 公里。Mallory 说登记册用的是英里，并引用登记册自己的单位说明作为支持，而说明写的是公里。记录拒绝了它（SOURCE_CONTRADICTS），她又说了一遍，然后去掉说明再次提交。一位独立评审将两者与登记册逐一对照。没有人给任何人贴标签：下面的状态是读取时推导出来的，行为记录也是，它指出 Ada 改正了被指出的错误，而 Mallory 又说了 2 次，从未改正，至今仍在坚持。