Statistics for Classification of formal methods use, type, sophistication, and subdiscipline in the journal Philosophical Studies, 1999, 2005, 2007, 2009, 2015, 2017, 2019
Total visits
| views | |
|---|---|
| Classification of formal methods use, type, sophistication, and subdiscipline in the journal Philosophical Studies, 1999, 2005, 2007, 2009, 2015, 2017, 2019 | 190 |
Total visits per month
| views | |
|---|---|
| May 2024 | 4 |
| June 2024 | 2 |
| July 2024 | 0 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 1 |
File Visits
| views | |
|---|---|
| readme_formal_methods_2021.txt | 98 |
| formal_methods_interrater_reliability.html | 48 |
| phil_studies_7y_july_foranalysis_master.csv | 32 |
| Stages in the Formal Methods Project.pdf | 26 |
| formal_methods_interrater_reliability.ipynb | 24 |
| Formal-methods.html | 19 |
| phil_studies_7y_july_interrater_reliability.csv | 14 |
| Formal methods.Rmd | 10 |
| null | 5 |
| null | 4 |
Top country views
| views | |
|---|---|
| United States | 103 |
| China | 12 |
| Ireland | 10 |
| Germany | 6 |
| Italy | 6 |
| Kazakhstan | 6 |
| Nigeria | 6 |
| Canada | 2 |
| Colombia | 2 |
| Finland | 2 |
| United Kingdom | 2 |
| Kenya | 2 |
| Netherlands | 2 |
| Pakistan | 2 |
| Romania | 2 |
| Singapore | 2 |
| Argentina | 1 |
| Austria | 1 |
| Bangladesh | 1 |
| Chile | 1 |
| Algeria | 1 |
| Spain | 1 |
| France | 1 |
| Hong Kong SAR China | 1 |
| Indonesia | 1 |
| India | 1 |
| Iran | 1 |
| Japan | 1 |
| South Korea | 1 |
| Kuwait | 1 |
| Latvia | 1 |
| Mongolia | 1 |
| Philippines | 1 |
| Russia | 1 |
| Sweden | 1 |
| Ukraine | 1 |
| Uzbekistan | 1 |
| Vietnam | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 34 |
| Minneapolis | 28 |
| Turin | 6 |
| Beijing | 5 |
| Boardman | 3 |
| Dublin | 3 |
| Amsterdam | 2 |
| Hopkins | 2 |
| Jyväskylä | 2 |
| Karachi | 2 |
| Lagos | 2 |
| Medellín | 2 |
| Abuja | 1 |
| Alabel | 1 |
| Albolote | 1 |
| Alexandria | 1 |
| Anchorage | 1 |
| Andover | 1 |
| Bandhagen | 1 |
| Birdsboro | 1 |
| Bucharest | 1 |
| Buenos Aires | 1 |
| Buffalo | 1 |
| Chicago | 1 |
| Des Moines | 1 |
| Dongguan | 1 |
| Eden Prairie | 1 |
| Fellbach | 1 |
| Houston | 1 |
| Ilorin | 1 |
| Kōshi | 1 |
| Melbourne | 1 |
| Messaad | 1 |
| Miami | 1 |
| New York | 1 |
| Orlando | 1 |
| Oxford | 1 |
| Paris | 1 |
| Saint Paul | 1 |
| Seattle | 1 |
| Seoul | 1 |
| Singapore | 1 |
| Tsuen Wan | 1 |
| Tver | 1 |
| Ulan Bator | 1 |
| Vienna | 1 |
| Winnipeg | 1 |
| Zhengzhou | 1 |