@第{zbMATH07681056条，作者={Cie{'s}li{'n}ski，Cezary and{L}e{L}yk，Mateusz and Wcis{L}o，Bartosz}，标题={析取正确性的两半}，FJournal={数理逻辑杂志}，日志={J.数学日志.}，ISSN={0219-0613}，体积={23}，数字={2}，页码={28}，注={Id/编号2250026}，年份={2023}，语言={英语}，DOI＝{10.1142/s02190632250026x}，关键词={03H15,03F30,03C62}，zbMATH={7681056}，Zbl={1523.03031}}