• 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 我们目前的自动扣款系统水獭设计。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • 验证9

  • 引用172篇文章[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。
  • 肉豆蔻4

  • 在198篇文章中引用[sw06905]
  • 有限模型查找器Mace4。Mace4是一个程序。。。
  • OEIS

  • 引用了3218篇文章[sw07248]
  • 整数序列的在线百科全书。这个。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 计算逻辑手册。这本书是。。。