@第{zbMATH07335962条，作者={Matusinski，Micka{“e}l和M{”u}ller，Simon}，标题={准实闭域的量词消除}，FJournal={Comptes Rendus.Math{\'e}数学。巴黎科学院，期刊＝{C.R.，Math.，Acad.Sci.Paris}，ISSN={1631-073X}，体积={359}，数字＝｛3｝，页码={291--295}，年份={2021}，语言={英语}，DOI={10.5802/crmath.169}，关键词={03C10,03C64,03C60,12J10,12J2}，zbMATH={7335962}，Zbl=｛1473.03017｝}