@prefix this: <
http://purl.org/np/RABHv15OEJjzHyn_TMESU991_XGGcO7f0A3l4-qnqq1og
> .
@prefix sub: <
http://purl.org/np/RABHv15OEJjzHyn_TMESU991_XGGcO7f0A3l4-qnqq1og#
> .
@prefix np: <
http://www.nanopub.org/nschema#
> .
@prefix rdf: <
http://www.w3.org/1999/02/22-rdf-syntax-ns#
> .
@prefix npx: <
http://purl.org/nanopub/x/
> .
@prefix pplan: <
http://purl.org/net/p-plan#
> .
@prefix xsd: <
http://www.w3.org/2001/XMLSchema#
> .
@prefix rdfs: <
http://www.w3.org/2000/01/rdf-schema#
> .
@prefix prov: <
http://www.w3.org/ns/prov#
> .
sub:Head
{
this:
np:hasAssertion
sub:assertion
;
np:hasProvenance
sub:provenance
;
np:hasPublicationInfo
sub:pubInfo
;
a
np:Nanopublication
.
}
sub:assertion
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#a
> ;
a
pplan:Entity
;
rdf:value
1 ;
rdfs:label
"a" .
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#b
> ;
a
pplan:Entity
;
rdf:value
4 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#out1
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-04T20:31:41.635638"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-04T20:31:41.635630"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
}
sub:provenance
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#a
> ;
a
pplan:Entity
;
rdf:value
1 ;
rdfs:label
"a" .
sub:assertion
prov:generatedAtTime
"2021-03-04T20:31:42.313556"^^
xsd:dateTime
.
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#b
> ;
a
pplan:Entity
;
rdf:value
4 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#out1
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-04T20:31:41.635638"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-04T20:31:41.635630"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
}
sub:pubInfo
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#a
> ;
a
pplan:Entity
;
rdf:value
1 ;
rdfs:label
"a" .
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#b
> ;
a
pplan:Entity
;
rdf:value
4 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#out1
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RAeHzlVj0Dg6XgnrxTCqB97aBd05a7wiLEebY9qcKMpIU#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-04T20:31:41.635638"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-04T20:31:41.635630"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
sub:sig
npx:hasAlgorithm
"RSA" ;
npx:hasPublicKey
"MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB" ;
npx:hasSignature
"e9nJ1pmq4JfSbKSh1NslF6wxcSBYl3+mxBEonn5gCTXQABYnYOcW92YyDexv/w8H13cHI0+ERcn6G8ZdH6bv+Pa0TaSgBXEjA4PAorbHksh4DNocA9hqWJqlZgXKZYpkp0WpwwMADnJThCYMK//2EhvK8dCHhHinLbGZj0ukkME=" ;
npx:hasSignatureTarget
this:
.
this:
npx:introduces
sub:retroprov
;
prov:generatedAtTime
"2021-03-04T20:31:42.313556"^^
xsd:dateTime
;
prov:wasAttributedTo
<
https://orcid.org/0000-0000-0000-0000
> .
}