@prefix this: <
http://purl.org/np/RADJXR6mJoBUNmG1XoZKW-1qDo22ExEYcs96Lr0SdYpEs
> .
@prefix sub: <
http://purl.org/np/RADJXR6mJoBUNmG1XoZKW-1qDo22ExEYcs96Lr0SdYpEs#
> .
@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/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#a
> ;
a
pplan:Entity
;
rdf:value
22 ;
rdfs:label
"a" .
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#b
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#out1
> ;
a
pplan:Entity
;
rdf:value
-66 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-04T20:31:41.639119"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-04T20:31:41.639115"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
}
sub:provenance
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#a
> ;
a
pplan:Entity
;
rdf:value
22 ;
rdfs:label
"a" .
sub:assertion
prov:generatedAtTime
"2021-03-04T20:31:43.623727"^^
xsd:dateTime
.
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#b
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#out1
> ;
a
pplan:Entity
;
rdf:value
-66 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-04T20:31:41.639119"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-04T20:31:41.639115"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
}
sub:pubInfo
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#a
> ;
a
pplan:Entity
;
rdf:value
22 ;
rdfs:label
"a" .
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#b
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#out1
> ;
a
pplan:Entity
;
rdf:value
-66 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RA-8tHcxzS7enRC9agT_fVui7mZ235evqc6PM3GYv23-A#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-04T20:31:41.639119"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-04T20:31:41.639115"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
sub:sig
npx:hasAlgorithm
"RSA" ;
npx:hasPublicKey
"MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB" ;
npx:hasSignature
"ou+7ppz7waLHVauF4MPus94oj/RavDpHkyx9KrWOScD51pcMCjd5d0hDDsILv1SaG2iNwZuqBrL0plggqrLRfN4TFELb3khvkPpHfHIhSm9V/VNRwwD1UtmpvFvD+qyImMPFnOY7kq4Hyp8k2hwFM6fFb44WrSYFeO7A+5dtZK8=" ;
npx:hasSignatureTarget
this:
.
this:
npx:introduces
sub:retroprov
;
prov:generatedAtTime
"2021-03-04T20:31:43.623727"^^
xsd:dateTime
;
prov:wasAttributedTo
<
https://orcid.org/0000-0000-0000-0000
> .
}