↓ Skip to main content
What is this page? Embed badge

A Fully Automatic Theorem Prover with Human-Style Output

Overview of attention for article published in Journal of Automated Reasoning, June 2016
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • One of the highest-scoring outputs from this source (#3 of 136)
  • High Attention Score compared to outputs of the same age (91st percentile)

Mentioned by

blogs
1 blog
twitter
21 X users

Citations

dimensions_citation
38 Dimensions

Readers on

mendeley
16 Mendeley
citeulike
1 CiteULike
Summary Blogs X Dimensions citations
So far, Altmetric has seen 1 blog post.

This page is provided by Altmetric.