Nanopublication

< Home

ID

https://w3id.org/np/RAvPvZgJt_kIZwPhESmfKdtuaxXgr9gGdjcsJjsyfS3ng

Formats

.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt

Content

@prefix this: <https://w3id.org/np/RAvPvZgJt_kIZwPhESmfKdtuaxXgr9gGdjcsJjsyfS3ng> .
@prefix sub: <https://w3id.org/np/RAvPvZgJt_kIZwPhESmfKdtuaxXgr9gGdjcsJjsyfS3ng/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix nt: <https://w3id.org/np/o/ntemplate/> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix cito: <http://purl.org/spar/cito/> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  sub:proof-bounded-paths a wd:Q11538;
    dct:description "Establishes that each agent-key account is the endpoint of at most one primary path, and that the whole path set is bounded by one plus the number of seed declarations plus the number of endorsements. Since each endpoint admits at most one primary path, each edge gives rise to at most one path. This bounds the computation and the fetches needed per recomputation, keeping the periodic trust derivation efficient as the network grows.";
    cito:isDocumentedBy <https://knowledgepixels.com/nanopub-ecosystem-paper/>;
    rdfs:label "Proof of the bounded path set (Lemma 2)";
    prov:wasGeneratedBy <https://w3id.org/np/RApKy1zt34DvDSidYawUoD6BWA0v8f0Yo3O542vUT9EWU/idebt-design> .
}

sub:provenance {
  sub:assertion prov:wasDerivedFrom <https://knowledgepixels.com/nanopub-ecosystem-paper/> .
}

sub:pubinfo {
  this: dct:created "2026-08-18T08:41:36Z"^^xsd:dateTime;
    dct:creator <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot>;
    dct:license <https://creativecommons.org/licenses/by/4.0/>;
    npx:introduces sub:proof-bounded-paths;
    nt:wasCreatedFromProvenanceTemplate <http://purl.org/np/RAmRxSMXuHZWtDXqTXqTK_aM1KBPauATJg4_KqixamLiE>;
    nt:wasCreatedFromPubinfoTemplate <https://w3id.org/np/RA0J4vUn_dekg-U1kK3AOEt02p9mT2WO03uGxLDec1jLw>,
      <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI>;
    nt:wasCreatedFromTemplate <https://w3id.org/np/RA7WpC4Dgd0pdN7JOo0KAbTV9b6vdjMl6KrhN4GOTjSE8> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxo+arlpyxYYoHYYVTNSOWe/es90yVMBA8vaDyaAQk4pnOjTlpPptP5IkGg6zuCRIlm11QrHKkiU536witBT6gdh9kP9ay3S6m7wZ3iM7YcPMfhVHUXN6TBnuiKHHyJdVeK6RxMZlfXRKEz9HYcND+PGCXMVp8BofpKBKke3y4m8FTt+8aMEcgVcFBHFdrkWXoIIvkMlodtXkMgSwuGK8yXt/9lXqChIWpsbzu2juuX6pktMkfexkfQTwIH7oNSr/ma4KzZXERuLrCSO6IH5SfWXwjQUery6rKHiEMyie58mgBf0ssKh+uJoaZOqgbmj0f+EDwTIzq0dNsPA0A+n2QIDAQAB";
    npx:hasSignature "dlvy7li+NrFxZTRMvdfv1YuCeoNj0xwKYICnYAIuJvMkDdpVOa88yej4FK0R9B4wOBHAogxNEhkpETtou5EpkQboSBjcbYg3Wk7l7I5a5AGk0LZcfcAPP4aaw0m1wtpmwnSoO0AWwvHs5QHCpVt5n4y7hoh7Z7AVFuKKld3GDG795isNSCrWRzxooXlWLyk/qQukWctUk8kqNQO5+Nc54r7/3H3zeL+zAQlKWmNriWSv2aAAGAQMqoT6D0beHkyNSs7IgmEXA7mBVP7avm4jM6Dc9as0xiMkPsuAv91caQYUGK+M9O5E5an8HtFobVm1CZvEDywqqN2satNBKWwcpg==";
    npx:hasSignatureTarget this:;
    npx:signedBy <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot> .
}