https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/Head https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/assertion https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/provenance https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/pubinfo https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/assertion https://orcid.org/0000-0002-1267-0234 http://www.wikidata.org/entity/P1344 https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/attempto https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/attempto http://purl.org/dc/terms/description Research on Attempto Controlled English (ACE), a subset of English with a restricted syntax and semantics that reads as ordinary English but is a formal language, translatable into first-order logic. https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/attempto http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://schema.org/ResearchProject https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/attempto http://www.w3.org/2000/01/rdf-schema#label Attempto https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/attempto http://www.w3.org/2000/01/rdf-schema#seeAlso http://attempto.ifi.uzh.ch/ https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/attempto https://schema.org/startDate 1995 https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/provenance https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/pubinfo https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://purl.org/dc/terms/created 2026-08-31T10:05:00Z https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://purl.org/dc/terms/creator https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://purl.org/nanopub/x/introduces https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/attempto https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 http://www.w3.org/2000/01/rdf-schema#label Tobias Kuhn took part in Attempto https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8 https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RAoTD7udB2KtUuOuAe74tJi1t3VzK0DyWS7rYVAq1GRvw https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate https://w3id.org/np/RAs2zzGL_W_UuVkbclSOCNIeC-AUbCdNuu3_gPT5LSToA/template https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/sig http://purl.org/nanopub/x/hasPublicKey MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/sig http://purl.org/nanopub/x/hasSignature BFLZQ+rrVUrFHdIHHjlOQY6S72FFKot3SH+roffqHmdUSy2p6UpTjuj5wUT3O4r//XEiw/zv1QcWH6dnwFF8b+5n2FLx0Dnbddc9/iH8lOWc/vm2NEv66FsrgV6olP1V1aq4P4ZcYOWlt/zSkWIK5EfAiu8MJYnhkcHiFpTT6cs= https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8 https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0000-0002-1267-0234