[ {
  "@graph" : [ {
    "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U",
    "@type" : [ "http://www.nanopub.org/nschema#Nanopublication" ],
    "http://www.nanopub.org/nschema#hasAssertion" : [ {
      "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/assertion"
    } ],
    "http://www.nanopub.org/nschema#hasProvenance" : [ {
      "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/provenance"
    } ],
    "http://www.nanopub.org/nschema#hasPublicationInfo" : [ {
      "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/pubinfo"
    } ]
  } ],
  "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/Head"
}, {
  "@graph" : [ {
    "@id" : "http://id.crossref.org/issn/0167-6423",
    "http://purl.org/dc/terms/title" : [ {
      "@value" : "Science of Computer Programming"
    } ]
  }, {
    "@id" : "https://doi.org/10.1016/j.scico.2014.01.002",
    "@type" : [ "http://purl.org/spar/fabio/Article" ],
    "http://purl.org/dc/terms/date" : [ {
      "@value" : "2014-12"
    } ],
    "http://purl.org/dc/terms/isPartOf" : [ {
      "@id" : "http://id.crossref.org/issn/0167-6423"
    } ],
    "http://purl.org/dc/terms/title" : [ {
      "@value" : "Verifiable source code documentation in controlled natural language"
    } ],
    "http://purl.org/ontology/bibo/authorList" : [ {
      "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/author-list"
    } ],
    "http://purl.org/ontology/bibo/pageEnd" : [ {
      "@value" : "140"
    } ],
    "http://purl.org/ontology/bibo/pageStart" : [ {
      "@value" : "121"
    } ]
  }, {
    "@id" : "https://orcid.org/0000-0001-8087-1903",
    "http://xmlns.com/foaf/0.1/name" : [ {
      "@value" : "Alexandre Bergel"
    } ]
  }, {
    "@id" : "https://orcid.org/0000-0002-1267-0234",
    "http://xmlns.com/foaf/0.1/name" : [ {
      "@value" : "Tobias Kuhn"
    } ]
  }, {
    "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/author-list",
    "http://www.w3.org/1999/02/22-rdf-syntax-ns#_1" : [ {
      "@id" : "https://orcid.org/0000-0002-1267-0234"
    } ],
    "http://www.w3.org/1999/02/22-rdf-syntax-ns#_2" : [ {
      "@id" : "https://orcid.org/0000-0001-8087-1903"
    } ]
  } ],
  "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/assertion"
}, {
  "@graph" : [ {
    "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/assertion",
    "http://www.w3.org/ns/prov#wasAttributedTo" : [ {
      "@id" : "https://orcid.org/0000-0001-8087-1903"
    }, {
      "@id" : "https://orcid.org/0000-0002-1267-0234"
    } ],
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ {
      "@id" : "https://doi.org/10.1016/j.scico.2014.01.002"
    } ]
  } ],
  "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/provenance"
}, {
  "@graph" : [ {
    "@id" : "https://orcid.org/0000-0001-8087-1903",
    "http://xmlns.com/foaf/0.1/name" : [ {
      "@value" : "Alexandre Bergel"
    } ]
  }, {
    "@id" : "https://orcid.org/0000-0002-1267-0234",
    "http://xmlns.com/foaf/0.1/name" : [ {
      "@value" : "Tobias Kuhn"
    } ]
  }, {
    "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U",
    "http://purl.org/dc/terms/created" : [ {
      "@type" : "http://www.w3.org/2001/XMLSchema#dateTime",
      "@value" : "2026-02-23T12:15:28.000+01:00"
    } ],
    "http://purl.org/dc/terms/creator" : [ {
      "@id" : "https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot"
    } ],
    "http://purl.org/dc/terms/license" : [ {
      "@id" : "https://creativecommons.org/publicdomain/zero/1.0/"
    } ],
    "http://purl.org/nanopub/x/hasNanopubType" : [ {
      "@id" : "http://purl.org/spar/fabio/ScholarlyWork"
    } ],
    "http://purl.org/nanopub/x/introduces" : [ {
      "@id" : "https://doi.org/10.1016/j.scico.2014.01.002"
    } ],
    "http://www.w3.org/2000/01/rdf-schema#label" : [ {
      "@value" : "Verifiable source code documentation in controlled natural language"
    } ]
  }, {
    "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/sig",
    "http://purl.org/nanopub/x/hasAlgorithm" : [ {
      "@value" : "RSA"
    } ],
    "http://purl.org/nanopub/x/hasPublicKey" : [ {
      "@value" : "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArRL5MjH1KfuE89dpKsIiscF/THrJ4uSvhl0NgaC8x3TdTDrL00kCnlH+2g7PMYhaUQIGWq27TTXHAGp7ehO8yLjRNeDCc8zjUCQJqLbzay3DB51PCiz50OsMgxiZC1+e0bVdk/CAQV4oVo+VgI+awHI1bTT4Yp7pR2I67imf1PIcwczGVhn8EQwtNdWQOZ63wDgUCY+6IubHBQzjLfbYh0828UETEyIV28T7fvf5+y4A5M590InmgkLGpJbRXoL0pnCm1BtFOoxeAVqfivbxIZWPYN2Yd0cSfqwIIUYyaLFpjDrBwc4iJdOus4UQ9OYqkeZDMpU3opU8jWKDIm77jwIDAQAB"
    } ],
    "http://purl.org/nanopub/x/hasSignature" : [ {
      "@value" : "ipm0wpDIIR40KsVtg5hu2aOJmJQuInlWaL/pxC2Gy0vhiDM7LlEDaJm8hVr9OYMDAKlEysBIo0RSIpIFBW0EkBa6w81nTDHtM750uYKDXCiaDm5BSdAnikpqJCRK9M9Qh8CEHufKua4/h5B+N2NlbX18W56J9GvFn8Tdc6i6uFn8omkI/1Ez5JXUt6ifZdTLEnBAowg5+AaUgXjX9d1hO4o1tIwhHJcz5TOGKgt13RxmxTMtGE4rzGSEDViqj8jWHHYhFQuvPKq4ADK9rnSzs5r12hgi4yP2oGitl7jXHsX1vMFAkFcgo114RVC54l905MFbiPtdtccomWtlE/eMiA=="
    } ],
    "http://purl.org/nanopub/x/hasSignatureTarget" : [ {
      "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U"
    } ],
    "http://purl.org/nanopub/x/signedBy" : [ {
      "@id" : "https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot"
    } ]
  } ],
  "@id" : "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U/pubinfo"
} ]