@prefix this: <https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI> .
@prefix sub: <https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix nt: <https://w3id.org/np/o/ntemplate/> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix hycl: <http://purl.org/petapico/o/hycl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .

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

sub:assertion {
  sub:proves a rdf:Property, owl:ObjectProperty;
    rdfs:domain <https://www.wikidata.org/entity/Q11538>;
    rdfs:label "proves";
    rdfs:range hycl:AIDA-Sentence;
    skos:definition "Relates a proof or other deductive argument to a statement that it establishes. Unlike obtaining support from empirical evidence, which accumulates and can be outweighed, a proof settles the statement given its premises. Use this rather than a support relation when the grounds are deductive, so that a proof is not read as merely heuristic support." .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot> .
}

sub:pubinfo {
  this: dct:created "2026-08-18T08:37:54Z"^^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:proves;
    nt:wasCreatedFromProvenanceTemplate <https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU>;
    nt:wasCreatedFromPubinfoTemplate <https://w3id.org/np/RA0J4vUn_dekg-U1kK3AOEt02p9mT2WO03uGxLDec1jLw>,
      <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI>;
    nt:wasCreatedFromTemplate <https://w3id.org/np/RA9bHqTRDDookF7TA4Rp4wmYbiunco0kBgUnV1nlSHedc> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxo+arlpyxYYoHYYVTNSOWe/es90yVMBA8vaDyaAQk4pnOjTlpPptP5IkGg6zuCRIlm11QrHKkiU536witBT6gdh9kP9ay3S6m7wZ3iM7YcPMfhVHUXN6TBnuiKHHyJdVeK6RxMZlfXRKEz9HYcND+PGCXMVp8BofpKBKke3y4m8FTt+8aMEcgVcFBHFdrkWXoIIvkMlodtXkMgSwuGK8yXt/9lXqChIWpsbzu2juuX6pktMkfexkfQTwIH7oNSr/ma4KzZXERuLrCSO6IH5SfWXwjQUery6rKHiEMyie58mgBf0ssKh+uJoaZOqgbmj0f+EDwTIzq0dNsPA0A+n2QIDAQAB";
    npx:hasSignature "rOnUp6jLhKB8IvsN41nOo0UuqyBD9TwZ/YTNzv7WyTacCE89WPfDrQ1ZsYR0f7Uzt699ZwDww9rwJm/E5XUwdIgl6dyeT7OoOUcVqYajOVKklnAhmzIKwYYocPqcypie7sd3tLYxxUDc/jZgWlIO+f0EDKYq0J/i5Bi58WZKZuZ5MNr9q6d7A9Abb8xLCQHyglzJ5ZwZ2U6EKtqwdzGlbBz1kSn95dT9pyK6MbEw29n7l5lIt8fmCylMw0SnGqJp6hp7oSHsEbeFpMo+E4xLN499fbNfOnn1l7r78DKAxty1SUoEZuV32D1LrvT6j98ZnNtWtVG4+TbS60x6SQ+ZQA==";
    npx:hasSignatureTarget this:;
    npx:signedBy <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot> .
}