@第{zbMATH07499760条，作者={Mitsuishi，Takashi}，Title={由三角形函数和分段线性函数组成的隶属函数的一些性质}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={29}，数字={2}，页码={103--115}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0011}，关键词={68V20,03E72,93C42}，zbMATH={7499760}，Zbl={1483.68491}}