@第{zbMATH07634129条，作者={Ro{\ss}kopf，Simon和Nipkow，Tobias}，Title={用于{Isabelle}的metalogic}的形式化和验证检查器，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={67}，数字={1}，页码={21}，注意＝{Id/No 1}，年份={2023}，语言={英语}，DOI={10.1007/s10817-022-09648-w}，关键词={68V15,03B35,68V20}，zbMATH={7634129}，Zbl=｛1502.68353｝}