University Library Projects
About this community
Sub-communities within this community
Collections in this community
A paper on ordinal partitions by Erdős and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising ...
INTRODUCTION: We tested whether changes in functional networks predict cognitive decline and conversion from the presymptomatic prodrome to symptomatic disease in familial frontotemporal dementia. METHODS: For hypothesis ...
(SAGE Publications, 2022)<jats:p> Why and how do weak states challenge the status quo? This article builds on analyses of hierarchy in International Relations to develop a more comprehensive and inclusive understanding of the concept of revisionism. ...