Assertion: model | /r/HasProperty | formal
Facets:
value: in epidemiology
type: LOCATION
value: to the extent
type: OTHER
Source sentences:
text: If a model is machine-readable and formal to the extent that it has a well-defined behavioral interpretation, test cases can in principle be derived mechanically.
text: a model where Goodstein's theorem fails must be non-standard.
text: Models are a standard practice in epidemiology, but have assumed newfound prominence in 2020 as they guide governments to impose massive disruptions to everyday life in an attempt to manage the spread of COVID-19.