@第{zbMATH07499757条，作者={Sawicki，Damian和Grabowski，Adam}，Title={在弱结合格和近格上}，FJournal={形式化数学}，Journal＝{形式化数学}，ISSN={1426-2630}，体积={29}，数字={2}，页码={77--85}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0008}，关键词={68V20,06B05,06B75,68V15}，zbMATH={7499757}，Zbl={1483.68493}}