@prefix dc: <
http://purl.org/dc/terms/
> .
@prefix this: <
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew
> .
@prefix sub: <
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#
> .
@prefix p1: <
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY
> .
@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 npx: <
http://purl.org/nanopub/x/
> .
@prefix po: <
http://www.essepuntato.it/2008/12/pattern#
> .
@prefix co: <
http://purl.org/co/
> .
@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
{
<
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo
>
npx:introduces
<
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section
> .
<
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM
>
npx:introduces
<
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section
> .
sub:_1
co:itemContent
sub:section-3-title
;
co:nextItem
sub:_2
.
sub:_2
co:itemContent
<
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph
> ;
co:nextItem
sub:_3
.
sub:_3
co:itemContent
<
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section
> ;
co:nextItem
sub:_4
.
sub:_4
co:itemContent
<
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section
> .
sub:section
co:firstItem
sub:_1
;
po:contains
<
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section
> , <
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section
> , <
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph
> ;
po:containsAsHeader
sub:section-3-title
;
a
doco:Section
.
sub:section-3-title
c4o:hasContent
"Formal modeling" ;
a
doco:SectionTitle
.
p1:
npx:introduces
<
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph
> .
}
sub:provenance
{
sub:assertion
prov:hadPrimarySource
<
http://dx.doi.org/10.3233/SW-180298
> ;
prov:wasAttributedTo
<
https://orcid.org/0000-0002-8429-8208
> .
}
sub:pubinfo
{
this:
dc:created
"2019-11-08T18:05:11+01:00"^^
xsd:dateTime
;
pav:createdBy
<
https://orcid.org/0000-0002-7114-6459
> .
}