https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/Head https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/assertion https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/provenance https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/pubinfo https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/assertion http://id.crossref.org/issn/2376-5992 http://purl.org/dc/terms/title PeerJ Computer Science https://doi.org/10.7717/peerj-cs.1159 http://purl.org/dc/terms/date 2023-02-21 https://doi.org/10.7717/peerj-cs.1159 http://purl.org/dc/terms/isPartOf http://id.crossref.org/issn/2376-5992 https://doi.org/10.7717/peerj-cs.1159 http://purl.org/dc/terms/title Nanopublication-based semantic publishing and reviewing: a field study with formalization papers https://doi.org/10.7717/peerj-cs.1159 http://purl.org/ontology/bibo/authorList https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/author-list https://doi.org/10.7717/peerj-cs.1159 http://purl.org/ontology/bibo/pageStart e1159 https://doi.org/10.7717/peerj-cs.1159 http://purl.org/ontology/bibo/volume 9 https://doi.org/10.7717/peerj-cs.1159 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/spar/fabio/Article https://orcid.org/0000-0002-1267-0234 http://schema.org/affiliation https://ror.org/008xxew50 https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://orcid.org/0000-0002-3357-9130 http://schema.org/affiliation https://ror.org/00x7ekv49 https://orcid.org/0000-0002-3357-9130 http://xmlns.com/foaf/0.1/name Davide Ceolin https://orcid.org/0000-0002-7114-6459 http://schema.org/affiliation https://ror.org/008xxew50 https://orcid.org/0000-0002-7114-6459 http://xmlns.com/foaf/0.1/name Cristina-Iulia Bucur https://orcid.org/0000-0002-7748-4715 http://schema.org/affiliation https://ror.org/008xxew50 https://orcid.org/0000-0002-7748-4715 http://xmlns.com/foaf/0.1/name Jacco van Ossenbruggen https://ror.org/008xxew50 http://xmlns.com/foaf/0.1/name Vrije Universiteit Amsterdam https://ror.org/00x7ekv49 http://xmlns.com/foaf/0.1/name Centrum Wiskunde & Informatica, Amsterdam, Netherlands https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_1 https://orcid.org/0000-0002-7114-6459 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_2 https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_3 https://orcid.org/0000-0002-3357-9130 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_4 https://orcid.org/0000-0002-7748-4715 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/provenance https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-3357-9130 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-7114-6459 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-7748-4715 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://doi.org/10.7717/peerj-cs.1159 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/pubinfo https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://orcid.org/0000-0002-3357-9130 http://xmlns.com/foaf/0.1/name Davide Ceolin https://orcid.org/0000-0002-7114-6459 http://xmlns.com/foaf/0.1/name Cristina-Iulia Bucur https://orcid.org/0000-0002-7748-4715 http://xmlns.com/foaf/0.1/name Jacco van Ossenbruggen https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://purl.org/dc/terms/created 2026-02-24T21:00:57.000+01:00 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://purl.org/dc/terms/creator https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://purl.org/dc/terms/license https://creativecommons.org/publicdomain/zero/1.0/ https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://purl.org/nanopub/x/hasNanopubType http://purl.org/spar/fabio/ScholarlyWork https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://purl.org/nanopub/x/introduces https://doi.org/10.7717/peerj-cs.1159 https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://purl.org/nanopub/x/supersedes https://w3id.org/np/RAtO8f1Z51Tg3aTzmsZnd2xUaViKkKlsS2DwARCS4Txlg https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI http://www.w3.org/2000/01/rdf-schema#label Nanopublication-based semantic publishing and reviewing: a field study with formalization papers https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArRL5MjH1KfuE89dpKsIiscF/THrJ4uSvhl0NgaC8x3TdTDrL00kCnlH+2g7PMYhaUQIGWq27TTXHAGp7ehO8yLjRNeDCc8zjUCQJqLbzay3DB51PCiz50OsMgxiZC1+e0bVdk/CAQV4oVo+VgI+awHI1bTT4Yp7pR2I67imf1PIcwczGVhn8EQwtNdWQOZ63wDgUCY+6IubHBQzjLfbYh0828UETEyIV28T7fvf5+y4A5M590InmgkLGpJbRXoL0pnCm1BtFOoxeAVqfivbxIZWPYN2Yd0cSfqwIIUYyaLFpjDrBwc4iJdOus4UQ9OYqkeZDMpU3opU8jWKDIm77jwIDAQAB https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/sig http://purl.org/nanopub/x/hasSignature DqhZV7a9GZHWMtgxhnRIBhJsFMPYTTEKHrKpSGit4VTxh2JQKgtpz+vZUgttjOKJBsp3unI41M5M907Lpe8HNTZuw5fLDQF7cGnwztgFSKnolExUueE2Zh6FO+HEjUyh/1BQxewNDWGfmN0SfDnhWdgYaHeN1++6OXurwgJcPENDeducnOo3Rhm7pibTWl+xTjMmEOlmWOGIaWYR2AYiM0tKCLclA67iSYwNtWKewAp8BgFND3L0MTEoVKdcNADz+iiDExO8W1cZyAGw683h0olzzn/VIqc1f3j/u0UmsXjTB833pDazik0Zmt0Ts7Tu6gdlJhtMiSUbu39qfCioNQ== https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI/sig http://purl.org/nanopub/x/signedBy https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot