@第{zbMATH06065760条，作者＝{卡托恩、乔斯特·皮特和克林克、丹尼尔和勒克、马丁和沃尔夫、维雷纳}，标题={概率系统的三值抽象}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={81}，数字={4}，Pages＝{356-389}，年份={2012}，语言={英语}，DOI={10.1016/j.jlap.2012.03.007}，关键词={68Q87，68Q60，03B70}，zbMATH={6065760}，Zbl={1277.68219}}