https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/Head https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/assertion https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/provenance https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/pubinfo 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/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/Q122922979 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 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 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/provenance 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/pubinfo http://www.wikidata.org/entity/Q122922979 http://www.w3.org/2000/01/rdf-schema#label formal semantics http://www.wikidata.org/entity/Q3478658 http://www.w3.org/2000/01/rdf-schema#label knowledge representation and reasoning https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://purl.org/dc/terms/created 2026-07-27T17:03:21.767+02:00 https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://purl.org/dc/terms/creator https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://purl.org/dc/terms/license https://creativecommons.org/publicdomain/zero/1.0/ https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://purl.org/nanopub/x/hasNanopubType http://purl.org/petapico/o/hycl#AIDA-Sentence https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE http://purl.org/nanopub/x/wasCreatedAt http://localhost:37373/ 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 https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RACCkk3WshLM9-jCDhBF89VLyZE-uCfFl88piclZSySg4 https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8 https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate https://w3id.org/np/RAGBUfr_kk4LK7YgooYNlCuGDDn0sWnpu9FP5ezQhqN7E https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig http://purl.org/nanopub/x/hasPublicKey MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig http://purl.org/nanopub/x/hasSignature cCIpRvfiEuNpz1POTSER6gwvzjZ1jsBkATMqCx5SwTFfCePJXJlAYOA1aFAOPbblPxurarUYW6sgEG/9KnvOdUkE2gd/ZsZq5PZig0yF1OHR2SfgdafaNd7jy4auoyYphKD66ig5Oerc9Z0GmBlTJjm9u2PjFJyL+V6uy3qV+bM= https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0000-0002-1267-0234