@第{zbMATH07720262条，作者={Faizrahmanov，Marat}，标题={的本地版本{斯拉曼}-{韦纳}定理和有限差分下闭合的族}，FJournal＝{圣母院形式逻辑期刊}，Journal={圣母院J.形式逻辑}，ISSN={0029-4527}，体积={64}，数字={2}，页码={197--203}，年份={2023}，语言={英语}，DOI={10.1215/00294527-10670074}，关键词={03D45,03C57,03D80}，zbMATH={7720262}}