{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:4Q7CP2SCQCIMPMWPN2SRO46B23","short_pith_number":"pith:4Q7CP2SC","schema_version":"1.0","canonical_sha256":"e43e27ea428090c7b2cf6ea51773c1d6ddbf97c8a72085e2e483dc94f3a87e78","source":{"kind":"arxiv","id":"1211.3643","version":1},"attestation_state":"computed","paper":{"title":"A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Tobias Kuhn","submitted_at":"2012-11-15T16:24:25Z","abstract_excerpt":"Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve the problem that CNLs are easy to read but hard to write. Such predictive editors need to be able to \"look ahead\" in order to show all possible continuations of a given unfinished sentence. Such lookahead features, however, are difficult to implement in a satisfying way with existing grammar frameworks, especially if the CNL supports complex nonloc"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1211.3643","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2012-11-15T16:24:25Z","cross_cats_sorted":[],"title_canon_sha256":"8b7cee91612576fc164d15201b68ff8d1525a3f9615262f46b016698a708d030","abstract_canon_sha256":"909858954e81b12d879343db2c7f60e21588d7cbb37d4bade868fd24c83991f4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:29.223882Z","signature_b64":"HiNRgKtXj4DWabHLgWog1bXuOdgK2Lku2bBL2RWDTHlhBc175oEHrBINPXu4FsTPegzwjS9AMkQN93Lq1JciAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e43e27ea428090c7b2cf6ea51773c1d6ddbf97c8a72085e2e483dc94f3a87e78","last_reissued_at":"2026-05-18T03:31:29.223462Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:29.223462Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Tobias Kuhn","submitted_at":"2012-11-15T16:24:25Z","abstract_excerpt":"Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve the problem that CNLs are easy to read but hard to write. Such predictive editors need to be able to \"look ahead\" in order to show all possible continuations of a given unfinished sentence. Such lookahead features, however, are difficult to implement in a satisfying way with existing grammar frameworks, especially if the CNL supports complex nonloc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.3643","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1211.3643","created_at":"2026-05-18T03:31:29.223521+00:00"},{"alias_kind":"arxiv_version","alias_value":"1211.3643v1","created_at":"2026-05-18T03:31:29.223521+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.3643","created_at":"2026-05-18T03:31:29.223521+00:00"},{"alias_kind":"pith_short_12","alias_value":"4Q7CP2SCQCIM","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_16","alias_value":"4Q7CP2SCQCIMPMWP","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_8","alias_value":"4Q7CP2SC","created_at":"2026-05-18T12:26:53.410803+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23","json":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23.json","graph_json":"https://pith.science/api/pith-number/4Q7CP2SCQCIMPMWPN2SRO46B23/graph.json","events_json":"https://pith.science/api/pith-number/4Q7CP2SCQCIMPMWPN2SRO46B23/events.json","paper":"https://pith.science/paper/4Q7CP2SC"},"agent_actions":{"view_html":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23","download_json":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23.json","view_paper":"https://pith.science/paper/4Q7CP2SC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1211.3643&json=true","fetch_graph":"https://pith.science/api/pith-number/4Q7CP2SCQCIMPMWPN2SRO46B23/graph.json","fetch_events":"https://pith.science/api/pith-number/4Q7CP2SCQCIMPMWPN2SRO46B23/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23/action/storage_attestation","attest_author":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23/action/author_attestation","sign_citation":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23/action/citation_signature","submit_replication":"https://pith.science/pith/4Q7CP2SCQCIMPMWPN2SRO46B23/action/replication_record"}},"created_at":"2026-05-18T03:31:29.223521+00:00","updated_at":"2026-05-18T03:31:29.223521+00:00"}