Expressing High-Level Scientific Claims with Formal Semantics
Full identifier: https:/doi.org/10.1145/3460210.3493561
Searching for classes... 
Searching for term descriptions...
Searching for instances...
Searching for parts...
Searching for templates...
References