<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://www.nanopub.org/nschema#hasAssertion> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/Head> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://www.nanopub.org/nschema#hasProvenance> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/provenance> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/Head> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://www.nanopub.org/nschema#hasPublicationInfo> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/Head> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.nanopub.org/nschema#Nanopublication> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/Head> .
<http://id.crossref.org/issn/0167-6423> <http://purl.org/dc/terms/title> "Science of Computer Programming" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://doi.org/10.1016/j.scico.2014.01.002> <http://purl.org/dc/terms/date> "2014-12" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://doi.org/10.1016/j.scico.2014.01.002> <http://purl.org/dc/terms/isPartOf> <http://id.crossref.org/issn/0167-6423> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://doi.org/10.1016/j.scico.2014.01.002> <http://purl.org/dc/terms/title> "Verifiable source code documentation in controlled natural language" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://doi.org/10.1016/j.scico.2014.01.002> <http://purl.org/ontology/bibo/authorList> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/author-list> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://doi.org/10.1016/j.scico.2014.01.002> <http://purl.org/ontology/bibo/pageEnd> "140" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://doi.org/10.1016/j.scico.2014.01.002> <http://purl.org/ontology/bibo/pageStart> "121" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://doi.org/10.1016/j.scico.2014.01.002> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/spar/fabio/Article> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://orcid.org/0000-0001-8087-1903> <http://schema.org/affiliation> <https://ror.org/047gc3g35> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://orcid.org/0000-0001-8087-1903> <http://xmlns.com/foaf/0.1/name> "Alexandre Bergel" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://orcid.org/0000-0002-1267-0234> <http://schema.org/affiliation> <https://ror.org/05a28rw58> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://orcid.org/0000-0002-1267-0234> <http://xmlns.com/foaf/0.1/name> "Tobias Kuhn" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://ror.org/047gc3g35> <http://xmlns.com/foaf/0.1/name> "Universidad de Chile, Santiago, Chile" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://ror.org/05a28rw58> <http://xmlns.com/foaf/0.1/name> "ETH Zurich, Switzerland" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/author-list> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://orcid.org/0000-0002-1267-0234> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/author-list> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://orcid.org/0000-0001-8087-1903> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> <http://www.w3.org/ns/prov#wasAttributedTo> <https://orcid.org/0000-0001-8087-1903> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/provenance> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> <http://www.w3.org/ns/prov#wasAttributedTo> <https://orcid.org/0000-0002-1267-0234> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/provenance> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/assertion> <http://www.w3.org/ns/prov#wasDerivedFrom> <https://doi.org/10.1016/j.scico.2014.01.002> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/provenance> .
<https://orcid.org/0000-0001-8087-1903> <http://xmlns.com/foaf/0.1/name> "Alexandre Bergel" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://orcid.org/0000-0002-1267-0234> <http://xmlns.com/foaf/0.1/name> "Tobias Kuhn" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://purl.org/dc/terms/created> "2026-06-30T15:12:45.000+02:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://purl.org/dc/terms/creator> <https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://purl.org/dc/terms/license> <https://creativecommons.org/publicdomain/zero/1.0/> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://purl.org/nanopub/x/hasNanopubType> <http://purl.org/spar/fabio/ScholarlyWork> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://purl.org/nanopub/x/introduces> <https://doi.org/10.1016/j.scico.2014.01.002> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://purl.org/nanopub/x/supersedes> <https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <http://www.w3.org/2000/01/rdf-schema#label> "Verifiable source code documentation in controlled natural language" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate> <http://purl.org/np/RAGXx_k9eQMnXaCbsXMsJbGClwZtQEGNg0GVJu6amdAVw> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RAoTD7udB2KtUuOuAe74tJi1t3VzK0DyWS7rYVAq1GRvw> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate> <https://w3id.org/np/RA6NErVvGFJ1AflK02qqnB4jiQeF2EHl7mlbA7kp0d-lk> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/sig> <http://purl.org/nanopub/x/hasAlgorithm> "RSA" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/sig> <http://purl.org/nanopub/x/hasPublicKey> "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArRL5MjH1KfuE89dpKsIiscF/THrJ4uSvhl0NgaC8x3TdTDrL00kCnlH+2g7PMYhaUQIGWq27TTXHAGp7ehO8yLjRNeDCc8zjUCQJqLbzay3DB51PCiz50OsMgxiZC1+e0bVdk/CAQV4oVo+VgI+awHI1bTT4Yp7pR2I67imf1PIcwczGVhn8EQwtNdWQOZ63wDgUCY+6IubHBQzjLfbYh0828UETEyIV28T7fvf5+y4A5M590InmgkLGpJbRXoL0pnCm1BtFOoxeAVqfivbxIZWPYN2Yd0cSfqwIIUYyaLFpjDrBwc4iJdOus4UQ9OYqkeZDMpU3opU8jWKDIm77jwIDAQAB" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/sig> <http://purl.org/nanopub/x/hasSignature> "YkxW/Fiorl1QRJHdkvKhqn9bj1eEkr0TKzpEyIoD3rjXvnxO//OfLUtNhzQqa+ZIxOkxh97Z0CeBSw2Elv/CxcWnWRcuA8HXh63nRmN6Mrb3P+rUzhmjtTwxxOezRFOxWjE7+MnZEcXsB3iBqtuZkLvtmwlEiBTxixqwxamnCCswzCYJdT+i8PYU2wWoCrBF+5LFkHb10YqpMGJ0r5qeTtXrZRPLzCKHYeC3PnSn7CV0eZPlXUZzBNHGODrZRIxlIJkY/qF5d2IDau3cs6fZJSlZM8nl5f0sH7P1ubm0lH9LJ723RryHGydO3si6AIyaRJ8rTZMe7gL2kHQRqZxz5Q==" <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/sig> <http://purl.org/nanopub/x/hasSignatureTarget> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/sig> <http://purl.org/nanopub/x/signedBy> <https://orcid.org/0000-0002-1267-0234> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .
<https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/sig> <http://purl.org/nanopub/x/signedBy> <https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot> <https://w3id.org/np/RAubLBwLTI4dPxXW6lDD9Ry1NrsxH7TLGWWdPNnNggYEs/pubinfo> .