@prefix this: <http://purl.org/np/RAJuRVQkk-PrEvPx7gYF86G5X9ROwgEWAal4AcxM3cR6w> .
@prefix sub: <http://purl.org/np/RAJuRVQkk-PrEvPx7gYF86G5X9ROwgEWAal4AcxM3cR6w#> .
@prefix po: <http://www.essepuntato.it/2008/12/pattern#> .
@prefix prop2: <http://purl.org/np/RAmSGm2kK6B_EsTw8BDu-BXLY5y35h_vx0umBn4LQPWc4> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix pav: <http://purl.org/pav/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix doco: <http://purl.org/spar/doco/> .
@prefix c4o: <http://purl.org/spar/c4o/> .
sub:Head {
  this: np:hasAssertion sub:assertion ;
    np:hasProvenance sub:provenance ;
    np:hasPublicationInfo sub:pubinfo ;
    a np:Nanopublication .
}
sub:assertion {
  sub:paragraph c4o:hasContent "Proposition 2. The number of microtasks generated in each stage is linear with respect to the number of triples assessed." ;
    po:contains <http://purl.org/nanopub/temp/linkflows/sample-paper-1/v1/prop2#formula> ;
    a doco:Paragraph .
  prop2: npx:introduces <http://purl.org/nanopub/temp/linkflows/sample-paper-1/v1/prop2#formula> .
}
sub:provenance {
  sub:assertion prov:hadPrimarySource <http://dx.doi.org/10.3233/SW-160239> ;
    prov:wasAttributedTo <https://orcid.org/0000-0003-0530-4305> .
}
sub:pubinfo {
  this: dc:created "2019-11-08T18:05:11+01:00"^^xsd:dateTime ;
    pav:createdBy <https://orcid.org/0000-0002-7114-6459> .
}