{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:A7I6CQ2GL6PX6ERJ2ECBGNGT5R","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"907ae13746997e51f3a22764608532b08bdb3390a4776d88f4b2ee8e16185c9f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2013-02-06T16:26:49Z","title_canon_sha256":"c1438a52ae4f28fe4c51806e5d5d8e22bf1ba2dc6ba40cf6b6b15c0ea4c9883f"},"schema_version":"1.0","source":{"id":"1302.1422","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.1422","created_at":"2026-05-18T03:25:27Z"},{"alias_kind":"arxiv_version","alias_value":"1302.1422v2","created_at":"2026-05-18T03:25:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.1422","created_at":"2026-05-18T03:25:27Z"},{"alias_kind":"pith_short_12","alias_value":"A7I6CQ2GL6PX","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"A7I6CQ2GL6PX6ERJ","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"A7I6CQ2G","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:b8b2f7d1d4da5914699659083fb8bf1cbba6cbdf3cd8ffabba2d8fd36a452611","target":"graph","created_at":"2026-05-18T03:25:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The variation of word meaning according to the context leads us to enrich the type system of our syntactical and semantic analyser of French based on categorial grammars and Montague semantics (or lambda-DRT). The main advantage of a deep semantic analyse is too represent meaning by logical formulae that can be easily used e.g. for inferences. Determiners and quantifiers play a fundamental role in the construction of those formulae. But in our rich type system the usual semantic terms do not work. We propose a solution ins- pired by the tau and epsilon operators of Hilbert, kinds of generic el","authors_text":"Christian Retor\\'e (LaBRI, IRIT)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2013-02-06T16:26:49Z","title":"S\\'emantique des d\\'eterminants dans un cadre richement typ\\'e"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.1422","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5d2650a7289b7e198c83805a7c57c0d0c79f55f5b92af08314ca3fa62d2ac6cf","target":"record","created_at":"2026-05-18T03:25:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"907ae13746997e51f3a22764608532b08bdb3390a4776d88f4b2ee8e16185c9f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2013-02-06T16:26:49Z","title_canon_sha256":"c1438a52ae4f28fe4c51806e5d5d8e22bf1ba2dc6ba40cf6b6b15c0ea4c9883f"},"schema_version":"1.0","source":{"id":"1302.1422","kind":"arxiv","version":2}},"canonical_sha256":"07d1e143465f9f7f1229d1041334d3ec616eb526d02cb7f2e092b60047dae601","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07d1e143465f9f7f1229d1041334d3ec616eb526d02cb7f2e092b60047dae601","first_computed_at":"2026-05-18T03:25:27.025179Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:25:27.025179Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5uZexmC6PTfJNLuSNK7mBvfXoM9LFeooFh6vtZVywjkYxaxVxOSWxOwlS6TJ1TRwVsz8l9GsPrdq0qCo/PmjAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:25:27.025685Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.1422","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d2650a7289b7e198c83805a7c57c0d0c79f55f5b92af08314ca3fa62d2ac6cf","sha256:b8b2f7d1d4da5914699659083fb8bf1cbba6cbdf3cd8ffabba2d8fd36a452611"],"state_sha256":"9726be2c3e249bfae746387fcf3c0d91539d2aed5e389528321240976a78a713"}