Published March 25, 2022
| Version v1.0
Software
Open
LaraHack/formalization_papers_supplemental: formalization_papers_supplemental-v1.0
Authors/Creators
Description
The supplemental materials that accompany the scientific article "Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization Papers" by Bucur, C.I, Kuhn, T., Ceolin, D., van Ossenbruggen, J.
Files
LaraHack/formalization_papers_supplemental-v1.0.zip
Files
(4.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9a77ad0b5844b892bda549a5fdfc30d3
|
4.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/LaraHack/formalization_papers_supplemental/tree/v1.0 (URL)