<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://www.nanopub.org/nschema#hasAssertion> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/assertion> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/Head> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://www.nanopub.org/nschema#hasProvenance> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/provenance> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/Head> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://www.nanopub.org/nschema#hasPublicationInfo> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/Head> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.nanopub.org/nschema#Nanopublication> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/Head> .
<http://purl.org/aida/High-level+scientific+claims+from+research+articles+can+be+accurately+formalized+with+logic-based+semantics+by+instantiating+the+super-pattern.> <http://schema.org/about> <http://www.wikidata.org/entity/Q122922979> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/assertion> .
<http://purl.org/aida/High-level+scientific+claims+from+research+articles+can+be+accurately+formalized+with+logic-based+semantics+by+instantiating+the+super-pattern.> <http://schema.org/about> <http://www.wikidata.org/entity/Q3478658> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/assertion> .
<http://purl.org/aida/High-level+scientific+claims+from+research+articles+can+be+accurately+formalized+with+logic-based+semantics+by+instantiating+the+super-pattern.> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/petapico/o/hycl#AIDA-Sentence> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/assertion> .
<http://purl.org/aida/High-level+scientific+claims+from+research+articles+can+be+accurately+formalized+with+logic-based+semantics+by+instantiating+the+super-pattern.> <http://www.w3.org/ns/prov#wasDerivedFrom> <https://doi.org/10.1145/3460210.3493561> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/assertion> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/assertion> <http://www.w3.org/ns/prov#wasAttributedTo> <https://orcid.org/0000-0002-1267-0234> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/provenance> .
<http://www.wikidata.org/entity/Q122922979> <http://www.w3.org/2000/01/rdf-schema#label> "formal semantics" <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<http://www.wikidata.org/entity/Q3478658> <http://www.w3.org/2000/01/rdf-schema#label> "knowledge representation and reasoning" <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://orcid.org/0000-0002-1267-0234> <http://xmlns.com/foaf/0.1/name> "Tobias Kuhn" <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://purl.org/dc/terms/created> "2026-07-27T17:03:21.767+02:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://purl.org/dc/terms/creator> <https://orcid.org/0000-0002-1267-0234> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://purl.org/dc/terms/license> <https://creativecommons.org/publicdomain/zero/1.0/> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://purl.org/nanopub/x/hasNanopubType> <http://purl.org/petapico/o/hycl#AIDA-Sentence> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://purl.org/nanopub/x/wasCreatedAt> <http://localhost:37373/> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <http://www.w3.org/2000/01/rdf-schema#label> "AIDA sentence: High-level scientific claims from research articles can be accurately formalized with logic-based..." <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate> <https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RACCkk3WshLM9-jCDhBF89VLyZE-uCfFl88piclZSySg4> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate> <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate> <https://w3id.org/np/RAGBUfr_kk4LK7YgooYNlCuGDDn0sWnpu9FP5ezQhqN7E> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig> <http://purl.org/nanopub/x/hasAlgorithm> "RSA" <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig> <http://purl.org/nanopub/x/hasPublicKey> "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB" <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig> <http://purl.org/nanopub/x/hasSignature> "cCIpRvfiEuNpz1POTSER6gwvzjZ1jsBkATMqCx5SwTFfCePJXJlAYOA1aFAOPbblPxurarUYW6sgEG/9KnvOdUkE2gd/ZsZq5PZig0yF1OHR2SfgdafaNd7jy4auoyYphKD66ig5Oerc9Z0GmBlTJjm9u2PjFJyL+V6uy3qV+bM=" <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig> <http://purl.org/nanopub/x/hasSignatureTarget> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .
<https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig> <http://purl.org/nanopub/x/signedBy> <https://orcid.org/0000-0002-1267-0234> <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo> .