Sign In

Login

Password

Forgot Password ? Sign Up

TPTP (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "TPTP" in Japanese language version.

refsWebsite
Global rank Japanese rank
2doi.org
2nd place
6th place
1tptp.org
low place
low place
1researchgate.net
120th place
616th place
1semanticscholar.org
11th place
1,537th place
1aaai.org
9,352nd place
low place

aaai.org

doi.org

  • Hoder, Kryštof; Voronkov, Andrei (2009). “Comparing Unification Algorithms in First-Order Theorem Proving”. KI 2009: Advances in Artificial Intelligence. Lecture Notes in Computer Science. 5803. pp. 435–443. doi:10.1007/978-3-642-04617-9_55. ISBN 978-3-642-04616-2. https://www.researchgate.net/publication/221562903 
  • Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff (2008). “THF0 – The Core of the TPTP Language for Higher-Order Logic”. Automated Reasoning. Lecture Notes in Computer Science. 5195. pp. 491–506. doi:10.1007/978-3-540-71070-7_41. ISBN 978-3-540-71069-1 

researchgate.net

  • Hoder, Kryštof; Voronkov, Andrei (2009). “Comparing Unification Algorithms in First-Order Theorem Proving”. KI 2009: Advances in Artificial Intelligence. Lecture Notes in Computer Science. 5803. pp. 435–443. doi:10.1007/978-3-642-04617-9_55. ISBN 978-3-642-04616-2. https://www.researchgate.net/publication/221562903 

semanticscholar.org

tptp.org