@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix orcid: <https://orcid.org/> .
@prefix this: <http://purl.org/np/RAb-J3rnNfB8lmlmxI2RuxwYwoxMnmao9uCR7C5i0yQCg> .
@prefix sub: <http://purl.org/np/RAb-J3rnNfB8lmlmxI2RuxwYwoxMnmao9uCR7C5i0yQCg#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix pav: <http://purl.org/pav/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@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 "Definition 3. (Verify Stage). Given a set T of RDF triples and mappings φ̇(T ), the Verify stage consists on crowdsourcing mappings as follows φ̈ : φ̇(T ) → φ̇(T ). The input of the Verify stage is represented as, V i = (T , φ̇(T )) which corresponds to the output of the Find stage (V i = F o ), and the output of the Verify stage is represented as V o = (T , φ̈(T )).";
    a doco:Paragraph .
}

sub:provenance {
  sub:assertion prov:hadPrimarySource <http://dx.doi.org/10.3233/SW-160239>;
    prov:wasAttributedTo orcid:0000-0003-0530-4305 .
}

sub:pubinfo {
  this: dcterms:created "2019-11-08T18:05:11+01:00"^^xsd:dateTime;
    pav:createdBy orcid:0000-0002-7114-6459 .
}