413 followers
これとかだっけ https://t.co/rwcPxbeyzQ
A Trustworthy Proof Checker
Overview of attention for article published in Journal of Automated Reasoning, November 2003
Altmetric Badge
About this Attention Score
-
In the top 25% of all research outputs scored by Altmetric
-
Among the highest-scoring outputs from this source (#11 of 220)
-
High Attention Score compared to outputs of the same age (80th percentile)
Readers on
- mendeley
- 14 Mendeley