https://w3id.org/np/RA5aWZAmmiV98wGVPX5BaVw455-vDEKYqP_RFoLEtrgUQ
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA5aWZAmmiV98wGVPX5BaVw455-vDEKYqP_RFoLEtrgUQ> .
@prefix sub: <https://w3id.org/np/RA5aWZAmmiV98wGVPX5BaVw455-vDEKYqP_RFoLEtrgUQ/> .
@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-ratio-conservation a wd:Q11538;
dct:description "Establishes that the sum of path ratios never exceeds 1 throughout IDEBT's execution. Ratios change only inside Expand, where the parent ratio drops to SELF_SHARE times its previous value and the children's weights total exactly the remaining share, so the per-path change is at most zero and the total is non-increasing. This bounds the influence any user can accumulate however many endorsements or Sybil identities they create, and is the basis of the publication quotas Registries enforce.";
cito:isDocumentedBy <https://knowledgepixels.com/nanopub-ecosystem-paper/>;
rdfs:label "Proof of ratio conservation (Lemma 1)";
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-ratio-conservation;
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 "ocllMicVMrTxnbL60CFKayaYKsCgKA5l2fiz5DqXNTAXpwG5PmoKJS4XFOq5LLrLE6XSuXrMVbuLVE1R0ddwZp0WE8AL7HSCzDQEIyQ6jfyklUgijb24pJmtaiI9Xm5mSLE7VsBurkurVUW/FIbMsW1C6QfUV2zAW20UJ1ZF1OhDIlfEn2JKS5PlIQ4UcsKI4AcH1GRaKLrGi665sQ5ShetSPj5KV7+V1cNNVeWBKNoM/zr45oG60ogDFDDX4ZDcd5bRk0p0tDWqqlhBAJDj9bcHZimXJo8OoB9VFhnFj3/szNakJCD4kgd2lWIIH9EnZCZXMvXJC6WcZpPAu2u5aw==";
npx:hasSignatureTarget this:;
npx:signedBy <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot> .
}