https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/Head https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/assertion https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/provenance https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/pubinfo https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/assertion https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#Property https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2002/07/owl#ObjectProperty https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves http://www.w3.org/2000/01/rdf-schema#domain http://www.wikidata.org/entity/Q11538 https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves http://www.w3.org/2000/01/rdf-schema#label proves https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves http://www.w3.org/2000/01/rdf-schema#range http://purl.org/petapico/o/hycl#AIDA-Sentence https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves http://www.w3.org/2004/02/skos/core#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. https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/provenance https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/pubinfo https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://purl.org/dc/terms/created 2026-08-18T08:38:45Z https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://purl.org/dc/terms/creator https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://purl.org/nanopub/x/introduces https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/proves https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI http://purl.org/nanopub/x/supersedes https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RA0J4vUn_dekg-U1kK3AOEt02p9mT2WO03uGxLDec1jLw https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate https://w3id.org/np/RA9bHqTRDDookF7TA4Rp4wmYbiunco0kBgUnV1nlSHedc https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxo+arlpyxYYoHYYVTNSOWe/es90yVMBA8vaDyaAQk4pnOjTlpPptP5IkGg6zuCRIlm11QrHKkiU536witBT6gdh9kP9ay3S6m7wZ3iM7YcPMfhVHUXN6TBnuiKHHyJdVeK6RxMZlfXRKEz9HYcND+PGCXMVp8BofpKBKke3y4m8FTt+8aMEcgVcFBHFdrkWXoIIvkMlodtXkMgSwuGK8yXt/9lXqChIWpsbzu2juuX6pktMkfexkfQTwIH7oNSr/ma4KzZXERuLrCSO6IH5SfWXwjQUery6rKHiEMyie58mgBf0ssKh+uJoaZOqgbmj0f+EDwTIzq0dNsPA0A+n2QIDAQAB https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/sig http://purl.org/nanopub/x/hasSignature U+sN3vCGRMlcWudUPWciEBzGsiOg6gh89HR8+te56KzTNOGit6QhDxTTeOmemyAGGYVjPyctoQN3v/W5C2emhAAGKPulwtsTbSv79452OxzFTiE8Oto4rykjfM7rc0SBwAN2suvYXFqzrIVzDo6bxSy3Jl0EbY7uYBXEODckniJ1TC2CqmKHYPJ2NnpdawtLgohUMmUPVxSh3cVhgMqVINShLg2L8ZRb6ocsmc809KQOlo8mAyagXqIVR8X4mz2W+qi85ki2mYIhP14Ne2lePgTmyHDTNAeljSr59OlGNe8i4yGL2xX2Lxgi9RbUtHJZtcUKR4hlGCHMl+hfw2c9Xw== https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI https://w3id.org/np/RAvp6UyB-MvSZQ9_Bwsjj-EA3zCfKUtPwrsXvcMM_lHHI/sig http://purl.org/nanopub/x/signedBy https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/nanopub-ecosystem-paper-bot