搜索标题、标签和正文；用空格分隔的关键词需同时匹配。
输入关键词开始搜索。
文章先区分事实比较与工程选择，再用属性向量、权重与覆盖掩码描述分歧的结构，区分可核查的事实分歧、事实对齐后仍可能存在的权重分歧，以及不可检验的身份判断，并给出一条按可核查程度排列的处理顺序。
