萨奇莫 92份文件引用(1988–2023) 软件作者： Manthey，R.，Bry，F。 相关软件： TPTP；水獭；SETHEO… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；群论和推广（20-XX）…
萨彻姆ID 6篇文献引用(1995–2004) 软件作者： 唐纳德·洛夫兰（Donald W.Loveland）。；阿德南·H·叶海亚。 相关软件： 萨奇莫；DWAM；DCTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨特赫莫-JS 1份文件引用(2013) 软件作者： Hagopian，R.、Davidson，J.、Datta，R.，Jarvis，G.、Sjölander，K。 相关软件： Rec-I-DCM3；普罗瓦林；SATe… 主要字段： 生物学和其他自然科学（92-XX）