[显示"修订历史"] [显示"一般信息"] [显示"网页点击次数和编辑次数"]
网页大小：683
此页正文的SHA编码： 43D47BCB0BBAE24F47BB7821354348C221FBA9FB
此页包含 0 个附件。
此页连到以下网页： 推理, 谓词, 子句, 合取, 文字.
