@第{zbMATH07644141条，作者={Feng、Renyan和Wang、Yisong和Qian、Ren和Yang、Lei和Chen、Panfeng}，标题={命题{{\（\mu\）}}-演算}中的知识遗忘，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={91}，数字={1}，Pages＝{1-43}，年份＝{2023}，语言={英语}，DOI={10.1007/s10472-022-09803-4}，关键词={68Txx}，zbMATH={7644141}}