@文章{zbMATH06483243，作者={Biscaia，M.和Henriques，D.和Mateus，P.}，Title={近似{Skolem}问题的可判定性及其在{Markov}链动力学性质逻辑验证中的应用，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={16}，数字={1}，页码={17}，注={Id/No 4}，年份={2015年}，语言={英语}，DOI={10.1145/2666772}，关键词={68Q60,03B25,03B44,11U05,60J20,68Q87}，zbMATH={6483243}，Zbl={1354.68168}}