[ {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew",
    "@type" : [ "http://www.nanopub.org/nschema#Nanopublication" ],
    "http://www.nanopub.org/nschema#hasAssertion" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#assertion"
    } ],
    "http://www.nanopub.org/nschema#hasProvenance" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#provenance"
    } ],
    "http://www.nanopub.org/nschema#hasPublicationInfo" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#pubinfo"
    } ]
  } ],
  "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#Head"
}, {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo",
    "http://purl.org/nanopub/x/introduces" : [ {
      "@id" : "http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM",
    "http://purl.org/nanopub/x/introduces" : [ {
      "@id" : "http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_1",
    "http://purl.org/co/itemContent" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section-3-title"
    } ],
    "http://purl.org/co/nextItem" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_2"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_2",
    "http://purl.org/co/itemContent" : [ {
      "@id" : "http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph"
    } ],
    "http://purl.org/co/nextItem" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_3"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_3",
    "http://purl.org/co/itemContent" : [ {
      "@id" : "http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section"
    } ],
    "http://purl.org/co/nextItem" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_4"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_4",
    "http://purl.org/co/itemContent" : [ {
      "@id" : "http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section",
    "@type" : [ "http://purl.org/spar/doco/Section" ],
    "http://purl.org/co/firstItem" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_1"
    } ],
    "http://www.essepuntato.it/2008/12/pattern#contains" : [ {
      "@id" : "http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section"
    }, {
      "@id" : "http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section"
    }, {
      "@id" : "http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph"
    } ],
    "http://www.essepuntato.it/2008/12/pattern#containsAsHeader" : [ {
      "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section-3-title"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section-3-title",
    "@type" : [ "http://purl.org/spar/doco/SectionTitle" ],
    "http://purl.org/spar/c4o/hasContent" : [ {
      "@value" : "Formal modeling"
    } ]
  }, {
    "@id" : "http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY",
    "http://purl.org/nanopub/x/introduces" : [ {
      "@id" : "http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph"
    } ]
  } ],
  "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#assertion"
}, {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#assertion",
    "http://www.w3.org/ns/prov#hadPrimarySource" : [ {
      "@id" : "http://dx.doi.org/10.3233/SW-180298"
    } ],
    "http://www.w3.org/ns/prov#wasAttributedTo" : [ {
      "@id" : "https://orcid.org/0000-0002-8429-8208"
    } ]
  } ],
  "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#provenance"
}, {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew",
    "http://purl.org/dc/terms/created" : [ {
      "@type" : "http://www.w3.org/2001/XMLSchema#dateTime",
      "@value" : "2019-11-08T18:05:11+01:00"
    } ],
    "http://purl.org/pav/createdBy" : [ {
      "@id" : "https://orcid.org/0000-0002-7114-6459"
    } ]
  } ],
  "@id" : "http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#pubinfo"
} ]