| 词条 | SPASS |
| 释义 |
An extension of SPASS called SPASS-XDB added support for on-the-fly retrieval of positive unit axioms from external sources.[2] SPASS-XDB can thus incorporate facts coming from relational databases, web services, or linked data servers. Support for arithmetic using Mathematica was also added.[3] References1. ^{{cite web|url=http://www.spass-prover.org/download/index.html |title=Max-Planck-Institut für Informatik - Automation of Logic: Spass |website=Spass-prover.org |date=2010-05-28 |accessdate=2016-08-10}} 2. ^{{cite web|url=http://www.cs.miami.edu/~tptp/ATPSystems/SPASS-XDB/ |title=Spass-Xdb |doi=10.1007/978-3-642-04617-9_36 |website=Cs.miami.edu |date= |accessdate=2016-08-10}} 3. ^{{cite web|url=http://www.karlin.mff.cuni.cz/~stanovsk/math/spassmath.pdf |format=PDF |title=SPASS-XDB goes Mathematical |author1=David Stanovsky |author2=Martin Suda |author3=Geoff Sutcliffe |website=Karlin.mff.cuni.cz |accessdate=2016-08-10}} Notes
| last1 = Weidenbach | first1 = Christoph | last2 = Dimova | first2 = Dilyana | last3 = Fietzke | first3 = Arnaud | last4 = Kumar | first4 = Rohit | last5 = Suda | first5 = Martin | last6 = Wischnewski | first6 = Patrick | contribution = SPASS Version 3.5 | title = CADE-22: 22nd International Conference on Automated Deduction | publisher = Springer | pages = 140–145 | year = 2009 }}. External links
3 : Free theorem provers|Unix programming tools|Max Planck Institute for Informatics |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。