Expressing High-Level Scientific Claims with Formal Semantics

Open in new window