GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
列克西格拉姆 2份文件引用(1992–2001) 软件作者： 西蒙·迪克（Simon Dik）；威廉·梅伊斯（Willem Meijs）；派克·沃森 相关软件： 莫库姆；中医药；WordNet++… 主要字段： 计算机科学（68-XX）
多WiBi 1份文件引用(2016) 软件作者： 弗拉蒂、蒂齐亚诺；Daniele Vannella；托马索·帕西尼；罗伯特·纳维利 相关软件： DBpedia；自由基；曼陀罗… 主要字段： 计算机科学（68-XX）
VF库 1份文件引用(2001) 软件作者： Kakugawa，H。；西基米，M。；北高桥。；汤村，S。；韩达，K。 相关软件： GTK+；Emacs公司；VPtoVF… 主要字段： 计算机科学（68-XX）
XL时间 1份文件引用(2023) 软件作者： 曹玉伟；威廉·格罗夫斯；萨哈，塔奈·库马尔；Joel R.Tetreault。；亚历克斯·杰姆斯；彭浩；Yu，Philip S。 相关软件： 胭脂；玛丽安；BERT… 主要字段： 计算机科学（68-XX）