合同专用条款 12份文件引用(2005–2022) 软件作者： 乔·亨德里克斯；Manuel Clavel；何塞·梅塞盖尔 相关软件： 莫德；ITP；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
最惠国待遇 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）