<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://www.nanopub.org/nschema#hasAssertion> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/Head> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://www.nanopub.org/nschema#hasProvenance> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/provenance> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/Head> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://www.nanopub.org/nschema#hasPublicationInfo> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/Head> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.nanopub.org/nschema#Nanopublication> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/Head> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <http://purl.org/dc/terms/description> "Such a nanopublication asserts that a proof or other deductive argument establishes a given statement. Use this instead of a support relation when the grounds are deductive: a proof settles the statement given its premises, rather than adding weight that could later be outweighed. The statement is an AIDA sentence and the proof is an item in the evidence and arguments layer." <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/np/o/ntemplate/AssertionTemplate> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <http://www.w3.org/2000/01/rdf-schema#label> "Asserting that a proof establishes a statement" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <https://w3id.org/np/o/ntemplate/hasNanopubLabelPattern> "${proof} proves ${statement}" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <https://w3id.org/np/o/ntemplate/hasStatement> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/st0> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <https://w3id.org/np/o/ntemplate/hasTag> "Spaces" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/proof> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/np/o/ntemplate/GuidedChoicePlaceholder> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/proof> <http://www.w3.org/2000/01/rdf-schema#label> "the proof or deductive argument" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/proof> <https://w3id.org/np/o/ntemplate/possibleValuesFromApi> "https://w3id.org/np/l/nanopub-query-1.1/api/RAyMrQ89RECTi9gZK5q7gjL1wKTiP8StkLy0NIkkCiyew/find-things?type=http://www.wikidata.org/entity/Q11538" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/st0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/statement> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/st0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/st0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/proof> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/statement> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/np/o/ntemplate/ExternalUriPlaceholder> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/statement> <http://www.w3.org/2000/01/rdf-schema#label> "the statement that is established (an AIDA sentence URI)" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/statement> <https://w3id.org/np/o/ntemplate/hasRegex> "http://purl.org/aida/.*" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves> <http://www.w3.org/2000/01/rdf-schema#label> "proves" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/assertion> <http://www.w3.org/ns/prov#wasAttributedTo> <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/provenance> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://purl.org/dc/terms/created> "2026-08-18T08:46:29Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://purl.org/dc/terms/creator> <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://purl.org/dc/terms/license> <https://creativecommons.org/licenses/by/4.0/> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <http://www.w3.org/2000/01/rdf-schema#label> "Asserting that a proof establishes a statement" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate> <https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RA0J4vUn_dekg-U1kK3AOEt02p9mT2WO03uGxLDec1jLw> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate> <https://w3id.org/np/RA97ErZmL97PuPlwui1_qIdVTi5Ag8IaDdKeXlumYD_ms> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/sig> <http://purl.org/nanopub/x/hasAlgorithm> "RSA" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/sig> <http://purl.org/nanopub/x/hasPublicKey> "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxo+arlpyxYYoHYYVTNSOWe/es90yVMBA8vaDyaAQk4pnOjTlpPptP5IkGg6zuCRIlm11QrHKkiU536witBT6gdh9kP9ay3S6m7wZ3iM7YcPMfhVHUXN6TBnuiKHHyJdVeK6RxMZlfXRKEz9HYcND+PGCXMVp8BofpKBKke3y4m8FTt+8aMEcgVcFBHFdrkWXoIIvkMlodtXkMgSwuGK8yXt/9lXqChIWpsbzu2juuX6pktMkfexkfQTwIH7oNSr/ma4KzZXERuLrCSO6IH5SfWXwjQUery6rKHiEMyie58mgBf0ssKh+uJoaZOqgbmj0f+EDwTIzq0dNsPA0A+n2QIDAQAB" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/sig> <http://purl.org/nanopub/x/hasSignature> "K25j8mI5Obqz3O9i6YapcK0U20DJnn+CirTZoZ6UtwhMH5LyvG8k2y7LYp/eBsiwfTrrgqgbbsRcTaBnH3yxF/x/s9vCIZheU/O0QZMRWFczUzGrZ9AQTVHc0sHx5yNm2LOHI86vrdc5JQG1sZvgqJyMj2i5E216VNgztAzhtmgO1pDGblUmakexdQyGzq7SDMxZS0uAgOcSBfkjcBTB39qWwz9H3JQ1hcv2Wc62qZEBDO6HVH4gYDfAhKu2KftSwbdvz/6B735naVUD4zTKeO/9bHJIFDwEnZMUj2hHKoKmSQ3n1ZzsJ07ks8IgmpKVewo0BAA0wzVYcg9XvGEJ+w==" <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/sig> <http://purl.org/nanopub/x/hasSignatureTarget> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .
<https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/sig> <http://purl.org/nanopub/x/signedBy> <https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot> <https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/pubinfo> .