↓ Skip to main content

The Seventeen Provers of the World

Overview of attention for book
Attention for Chapter 2: Informal
Altmetric Badge

Citations

dimensions_citation
47 Dimensions

Readers on

mendeley
244 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Informal
Chapter number 2
Book title
The Seventeen Provers of the World
Published in
Lecture notes in computer science, January 2006
DOI 10.1007/11542384_2
Book ISBNs
978-3-54-030704-4, 978-3-54-032888-9
Authors

Henk Barendregt

Editors

Freek Wiedijk

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 244 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 2 <1%
Portugal 1 <1%
Colombia 1 <1%
Chile 1 <1%
France 1 <1%
United Kingdom 1 <1%
Switzerland 1 <1%
Romania 1 <1%
New Zealand 1 <1%
Other 2 <1%
Unknown 232 95%

Demographic breakdown

Readers by professional status Count As %
Student > Master 40 16%
Student > Ph. D. Student 32 13%
Student > Bachelor 26 11%
Researcher 22 9%
Student > Doctoral Student 12 5%
Other 42 17%
Unknown 70 29%
Readers by discipline Count As %
Social Sciences 36 15%
Design 25 10%
Arts and Humanities 18 7%
Business, Management and Accounting 15 6%
Engineering 15 6%
Other 60 25%
Unknown 75 31%