@文章{zbMATH05943623，作者={V{\“a}{\”a}n{\“a}nen，Jouko和Hodges，Wilfrid}，标题={被解释为原子公式的变量相关性}，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={161}，数字={6}，页码={817--828}，年份={2010}，语言={英语}，DOI={10.1016/j.apal.2009.06.009}，关键词={03B60.03B15,03C80,03C85}，zbMATH={5943623}，Zbl={1225.03026}}