https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/Head 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 http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/provenance 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 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/assertion 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 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 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/o/ntemplate/hasNanopubLabelPattern ${proof} proves ${statement} 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/o/ntemplate/hasTag Spaces 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/proof http://www.w3.org/2000/01/rdf-schema#label the proof or deductive argument 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/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/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/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/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/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/statement https://w3id.org/np/o/ntemplate/hasRegex http://purl.org/aida/.* 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/provenance 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/pubinfo https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI http://purl.org/dc/terms/created 2026-08-18T08:46:29Z 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 http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ 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 https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU 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 https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI 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/sig http://purl.org/nanopub/x/hasAlgorithm RSA 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/sig http://purl.org/nanopub/x/hasSignature K25j8mI5Obqz3O9i6YapcK0U20DJnn+CirTZoZ6UtwhMH5LyvG8k2y7LYp/eBsiwfTrrgqgbbsRcTaBnH3yxF/x/s9vCIZheU/O0QZMRWFczUzGrZ9AQTVHc0sHx5yNm2LOHI86vrdc5JQG1sZvgqJyMj2i5E216VNgztAzhtmgO1pDGblUmakexdQyGzq7SDMxZS0uAgOcSBfkjcBTB39qWwz9H3JQ1hcv2Wc62qZEBDO6HVH4gYDfAhKu2KftSwbdvz/6B735naVUD4zTKeO/9bHJIFDwEnZMUj2hHKoKmSQ3n1ZzsJ07ks8IgmpKVewo0BAA0wzVYcg9XvGEJ+w== 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/sig http://purl.org/nanopub/x/signedBy https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot