@收款{zbMATH02244749，作者={Kerber，Manfred}，标题={从{MKRP}到{{\（\Omega\）}}mega}，BookTitle={机械化数学推理。纪念J“org H.Siekmann 60岁生日的论文。}，国际标准图书编号={3-540-25051-4}，页码={139--153}，年份={2005}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b106663}，关键词={68T15,68-02,68-03}，zbMATH={2244749}，Zbl=｛1098.68698｝}