[
    {
        "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/assertion",
        "@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",
                "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/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/author-list"
                    }
                ],
                "http://purl.org/ontology/bibo/pageEnd": [
                    {
                        "@value": "140"
                    }
                ],
                "http://purl.org/ontology/bibo/pageStart": [
                    {
                        "@value": "121"
                    }
                ],
                "@type": [
                    "http://purl.org/spar/fabio/Article"
                ]
            },
            {
                "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/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://orcid.org/0000-0001-8087-1903",
                "http://schema.org/affiliation": [
                    {
                        "@id": "https://ror.org/047gc3g35"
                    }
                ],
                "http://xmlns.com/foaf/0.1/name": [
                    {
                        "@value": "Alexandre Bergel"
                    }
                ]
            },
            {
                "@id": "https://ror.org/047gc3g35",
                "http://xmlns.com/foaf/0.1/name": [
                    {
                        "@value": "Universidad de Chile, Santiago, Chile"
                    }
                ]
            },
            {
                "@id": "https://orcid.org/0000-0002-1267-0234",
                "http://schema.org/affiliation": [
                    {
                        "@id": "https://ror.org/05a28rw58"
                    }
                ],
                "http://xmlns.com/foaf/0.1/name": [
                    {
                        "@value": "Tobias Kuhn"
                    }
                ]
            },
            {
                "@id": "https://ror.org/05a28rw58",
                "http://xmlns.com/foaf/0.1/name": [
                    {
                        "@value": "ETH Zurich, Switzerland"
                    }
                ]
            }
        ]
    },
    {
        "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/provenance",
        "@graph": [
            {
                "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/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/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/Head",
        "@graph": [
            {
                "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw",
                "http://www.nanopub.org/nschema#hasAssertion": [
                    {
                        "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/assertion"
                    }
                ],
                "http://www.nanopub.org/nschema#hasProvenance": [
                    {
                        "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/provenance"
                    }
                ],
                "http://www.nanopub.org/nschema#hasPublicationInfo": [
                    {
                        "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/pubinfo"
                    }
                ],
                "@type": [
                    "http://www.nanopub.org/nschema#Nanopublication"
                ]
            }
        ]
    },
    {
        "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/pubinfo",
        "@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/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw",
                "http://purl.org/dc/terms/created": [
                    {
                        "@value": "2026-02-24T21:00:57.000+01:00",
                        "@type": "http://www.w3.org/2001/XMLSchema#dateTime"
                    }
                ],
                "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://purl.org/nanopub/x/supersedes": [
                    {
                        "@id": "https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U"
                    }
                ],
                "http://www.w3.org/2000/01/rdf-schema#label": [
                    {
                        "@value": "Verifiable source code documentation in controlled natural language"
                    }
                ]
            },
            {
                "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/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": "f9+WcDpflgBs3KyJu8Dg/B56cc0qVjvaOdxTbjv6L1wDZFB+yYas5VI0wESQPcTpcJ+aMNN6enKWlkXnUhQ0scB//be3ztbD+0crOJpXk630G0pwiXq7iwNDGDFS9J2QxoiscGVKdjRteocPqRYqEqAf5duxv7EIGKy7GHJpFl6COsoGyS4GiHNrA9DcUXnXllv4psPHGes/fcRqFz55Fow0kvrE9RMYLYY494oHWQFMcn1vY9En7YxxG3zg+B0gOif83aIDowXpZxT/ri7OA7VF7vE//500KEgpKExfi1z53+o+jPU5VhqZJWec6IaazxJSUA4JFIsU3aZoAz2wYw=="
                    }
                ],
                "http://purl.org/nanopub/x/hasSignatureTarget": [
                    {
                        "@id": "https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw"
                    }
                ],
                "http://purl.org/nanopub/x/signedBy": [
                    {
                        "@id": "https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot"
                    }
                ]
            }
        ]
    }
]