@prefix this: <https://w3id.org/np/RAUnFkFI3kOIesMXAugSEewqxTGhmJOt2JImTdZRL_lvs> .
@prefix sub: <https://w3id.org/np/RAUnFkFI3kOIesMXAugSEewqxTGhmJOt2JImTdZRL_lvs/> .
@prefix schema: <http://schema.org/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix nt: <https://w3id.org/np/o/ntemplate/> .
@prefix fabio: <http://purl.org/spar/fabio/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix orcid: <https://orcid.org/> .
@prefix ns1: <http://purl.org/np/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix ror: <https://ror.org/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix bibo: <http://purl.org/ontology/bibo/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  <http://id.crossref.org/issn/2376-5992> dct:title "PeerJ Computer Science" .
  
  <https://doi.org/10.7717/peerj-cs.1159> a fabio:Article;
    dct:date "2023-02-21";
    dct:isPartOf <http://id.crossref.org/issn/2376-5992>;
    dct:title "Nanopublication-based semantic publishing and reviewing: a field study with formalization papers";
    bibo:authorList sub:author-list;
    bibo:pageStart "e1159";
    bibo:volume "9" .
  
  orcid:0000-0002-1267-0234 schema:affiliation ror:008xxew50;
    foaf:name "Tobias Kuhn" .
  
  orcid:0000-0002-3357-9130 schema:affiliation ror:00x7ekv49;
    foaf:name "Davide Ceolin" .
  
  orcid:0000-0002-7114-6459 schema:affiliation ror:008xxew50;
    foaf:name "Cristina-Iulia Bucur" .
  
  orcid:0000-0002-7748-4715 schema:affiliation ror:008xxew50;
    foaf:name "Jacco van Ossenbruggen" .
  
  ror:008xxew50 foaf:name "Vrije Universiteit Amsterdam" .
  
  ror:00x7ekv49 foaf:name "Centrum Wiskunde & Informatica, Amsterdam, Netherlands" .
  
  sub:author-list rdf:_1 orcid:0000-0002-7114-6459;
    rdf:_2 orcid:0000-0002-1267-0234;
    rdf:_3 orcid:0000-0002-3357-9130;
    rdf:_4 orcid:0000-0002-7748-4715 .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo orcid:0000-0002-1267-0234, orcid:0000-0002-3357-9130,
      orcid:0000-0002-7114-6459, orcid:0000-0002-7748-4715;
    prov:wasDerivedFrom <https://doi.org/10.7717/peerj-cs.1159> .
}

sub:pubinfo {
  orcid:0000-0002-1267-0234 foaf:name "Tobias Kuhn" .
  
  orcid:0000-0002-3357-9130 foaf:name "Davide Ceolin" .
  
  orcid:0000-0002-7114-6459 foaf:name "Cristina-Iulia Bucur" .
  
  orcid:0000-0002-7748-4715 foaf:name "Jacco van Ossenbruggen" .
  
  this: dct:created "2026-06-30T15:12:45.000+02:00"^^xsd:dateTime;
    dct:creator <https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot>;
    dct:license <https://creativecommons.org/publicdomain/zero/1.0/>;
    npx:hasNanopubType fabio:ScholarlyWork;
    npx:introduces <https://doi.org/10.7717/peerj-cs.1159>;
    npx:supersedes <https://w3id.org/np/RAy5u2gZPF8yA3QbP5ZBQeRRbo4M2q7CRsJc_x-p8wBgI>;
    rdfs:label "Nanopublication-based semantic publishing and reviewing: a field study with formalization papers";
    nt:wasCreatedFromProvenanceTemplate ns1:RAGXx_k9eQMnXaCbsXMsJbGClwZtQEGNg0GVJu6amdAVw;
    nt:wasCreatedFromPubinfoTemplate <https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8>,
      <https://w3id.org/np/RAoTD7udB2KtUuOuAe74tJi1t3VzK0DyWS7rYVAq1GRvw>, <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI>;
    nt:wasCreatedFromTemplate <https://w3id.org/np/RA6NErVvGFJ1AflK02qqnB4jiQeF2EHl7mlbA7kp0d-lk> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArRL5MjH1KfuE89dpKsIiscF/THrJ4uSvhl0NgaC8x3TdTDrL00kCnlH+2g7PMYhaUQIGWq27TTXHAGp7ehO8yLjRNeDCc8zjUCQJqLbzay3DB51PCiz50OsMgxiZC1+e0bVdk/CAQV4oVo+VgI+awHI1bTT4Yp7pR2I67imf1PIcwczGVhn8EQwtNdWQOZ63wDgUCY+6IubHBQzjLfbYh0828UETEyIV28T7fvf5+y4A5M590InmgkLGpJbRXoL0pnCm1BtFOoxeAVqfivbxIZWPYN2Yd0cSfqwIIUYyaLFpjDrBwc4iJdOus4UQ9OYqkeZDMpU3opU8jWKDIm77jwIDAQAB";
    npx:hasSignature "MMyF8p2O0iS9yi6syTBS7ycvlM2XVZbg4HB9FZ/WVxY3pxnCU++M6NfRNsJHoxEKAa2SxFoY6Q2S013NZCt14pp3NaMcSHBO5Bcpq89mnoh2ScGZWqaRju3DnoBF87tGr/MEBloRGbXodTboK4RJ8/tuxVfAcvWZHMha09fNjmbvfOILWXSR+RbzVkEjs7hCev6l+qacO7XhN6WXHMP8QZPIbJuICTsrT110wH8s0e1uHTsrO6PEfcOZNZ02AQjcW/+pVjRcEs7GFAsnDCYYtYSejplfmuPwMR4rZJqr8CMvrePh5ugbH6SvfdhhDghZt0fA9cNCqFmaD/IC5IgKuA==";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0000-0002-1267-0234, <https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot> .
}