@第{zbMATH07499762条，作者={Schwarzweller，Christoph}，标题={拆分字段}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={29}，数字={3}，Pages＝{129-139}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0013}，关键词={68V20,12F05}，zbMATH={7499762}，Zbl={1483.68494}}