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