The Seventeen Provers of the World

Overview of attention for book

Cover of 'The Seventeen Provers of the World'

Table of Contents

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 4 X users

Citations

dimensions_citation: 47 Dimensions

Readers on

mendeley: 75 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 5 X posts from 4 X users, with an upper bound of 11,105 followers.

RT @stacked_automat: The Seventeen Provers of the World (2006) : Widijk, Freek DOI: https://t.co/uysBDhicFH #comparison #logic #programming…

Reply Repost Favourite

The Seventeen Provers of the World (2006) : Widijk, Freek DOI: https://t.co/uysBDhicFH #comparison #logic #programming #prover #review #my_bibtex

Reply Repost Favourite

The Seventeen Provers of the World (2006) : Widijk, Freek DOI: https://t.co/uysBDhicFH #comparison #logic #programming #prover #review #my_bibtex

Reply Repost Favourite

@andrejbauer have you seen this? https://t.co/XY3L7dtxkT

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 1 additional X posts.