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
July 2024 0
August 2024 0
September 2024 0
October 2024 0
November 2024 1
December 2024 0
January 2025 0

File Visits

views
readme_formal_methods_2021.txt 98
formal_methods_interrater_reliability.html 51
phil_studies_7y_july_foranalysis_master.csv 33
Stages in the Formal Methods Project.pdf 27
formal_methods_interrater_reliability.ipynb 26
Formal-methods.html 23
phil_studies_7y_july_interrater_reliability.csv 15
Formal methods.Rmd 11
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
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