{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:DZQWVVKVHOBKP6TW4UDMF2AL6W","short_pith_number":"pith:DZQWVVKV","canonical_record":{"source":{"id":"1111.1378","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-06T06:52:16Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"618aacc371a5f98cfa21e5cc7b7f5c70c131e46d31892ac29f49c0717410d60d","abstract_canon_sha256":"c99fc785773f55275e3c17ad8ed68361279b88a3a2bf43f62137e12e072951b1"},"schema_version":"1.0"},"canonical_sha256":"1e616ad5553b82a7fa76e506c2e80bf5854b5e7142fbe2d529963dbf81fa5a94","source":{"kind":"arxiv","id":"1111.1378","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.1378","created_at":"2026-05-18T04:09:24Z"},{"alias_kind":"arxiv_version","alias_value":"1111.1378v1","created_at":"2026-05-18T04:09:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.1378","created_at":"2026-05-18T04:09:24Z"},{"alias_kind":"pith_short_12","alias_value":"DZQWVVKVHOBK","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DZQWVVKVHOBKP6TW","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DZQWVVKV","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:DZQWVVKVHOBKP6TW4UDMF2AL6W","target":"record","payload":{"canonical_record":{"source":{"id":"1111.1378","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-06T06:52:16Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"618aacc371a5f98cfa21e5cc7b7f5c70c131e46d31892ac29f49c0717410d60d","abstract_canon_sha256":"c99fc785773f55275e3c17ad8ed68361279b88a3a2bf43f62137e12e072951b1"},"schema_version":"1.0"},"canonical_sha256":"1e616ad5553b82a7fa76e506c2e80bf5854b5e7142fbe2d529963dbf81fa5a94","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:09:24.873893Z","signature_b64":"C7g368ttjmoi+wB48v+RS3KdMGKU+9ArkkVIIFK8RXT3L4RsBV5XuOcmwIFhfXHxFb8i9W9gzpoWC41UqeQxCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e616ad5553b82a7fa76e506c2e80bf5854b5e7142fbe2d529963dbf81fa5a94","last_reissued_at":"2026-05-18T04:09:24.873148Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:09:24.873148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1111.1378","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:09:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X8Gv7ODoi5+gZL4eFj74QjsnmAJUCpMx3wYyqRvIboiyBI89Q7Hum1oyW7aOCWNjNkXqOCZVJqJWtrFQT6XoBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:39:08.491598Z"},"content_sha256":"9c2d611beb2fc99aabd53ecaedacf45220afa8d2e3f62c1ae4dd45e7ce711d80","schema_version":"1.0","event_id":"sha256:9c2d611beb2fc99aabd53ecaedacf45220afa8d2e3f62c1ae4dd45e7ce711d80"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:DZQWVVKVHOBKP6TW4UDMF2AL6W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specimens: \"most of\" generic NPs in a contextually flexible type theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Christian Retor\\'e (LaBRI, INRIA Bordeaux - Sud-Ouest)","submitted_at":"2011-11-06T06:52:16Z","abstract_excerpt":"This paper proposes to compute the meanings associated to sentences with generic NPs corresponding to the most of generalized quantifier. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can be thereafter interpreted in your favorite models. We rather depart from the dominant Fregean single untyped universe and go for type theory with hints from Hilbert epsilon calculus and from medieval philosophy. Our type theoretic analysis bears some resemblance with on going work in lexical semantics. Our mo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.1378","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:09:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QaeeUqGRbjOM/VAs5jmQQZw/9N2+tascBTmN4OaTBRfAzpyjAGzfmOnz47o7q6L492JO4IV+Eu3qDDrFwEc+Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:39:08.492247Z"},"content_sha256":"a0b5bc2120d3f404c64b7043b12f72537641dc0385337a75ef561bc527c4a7c0","schema_version":"1.0","event_id":"sha256:a0b5bc2120d3f404c64b7043b12f72537641dc0385337a75ef561bc527c4a7c0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DZQWVVKVHOBKP6TW4UDMF2AL6W/bundle.json","state_url":"https://pith.science/pith/DZQWVVKVHOBKP6TW4UDMF2AL6W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DZQWVVKVHOBKP6TW4UDMF2AL6W/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-06T16:39:08Z","links":{"resolver":"https://pith.science/pith/DZQWVVKVHOBKP6TW4UDMF2AL6W","bundle":"https://pith.science/pith/DZQWVVKVHOBKP6TW4UDMF2AL6W/bundle.json","state":"https://pith.science/pith/DZQWVVKVHOBKP6TW4UDMF2AL6W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DZQWVVKVHOBKP6TW4UDMF2AL6W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:DZQWVVKVHOBKP6TW4UDMF2AL6W","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":"c99fc785773f55275e3c17ad8ed68361279b88a3a2bf43f62137e12e072951b1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-06T06:52:16Z","title_canon_sha256":"618aacc371a5f98cfa21e5cc7b7f5c70c131e46d31892ac29f49c0717410d60d"},"schema_version":"1.0","source":{"id":"1111.1378","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.1378","created_at":"2026-05-18T04:09:24Z"},{"alias_kind":"arxiv_version","alias_value":"1111.1378v1","created_at":"2026-05-18T04:09:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.1378","created_at":"2026-05-18T04:09:24Z"},{"alias_kind":"pith_short_12","alias_value":"DZQWVVKVHOBK","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DZQWVVKVHOBKP6TW","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DZQWVVKV","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:a0b5bc2120d3f404c64b7043b12f72537641dc0385337a75ef561bc527c4a7c0","target":"graph","created_at":"2026-05-18T04:09:24Z","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":"This paper proposes to compute the meanings associated to sentences with generic NPs corresponding to the most of generalized quantifier. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can be thereafter interpreted in your favorite models. We rather depart from the dominant Fregean single untyped universe and go for type theory with hints from Hilbert epsilon calculus and from medieval philosophy. Our type theoretic analysis bears some resemblance with on going work in lexical semantics. Our mo","authors_text":"Christian Retor\\'e (LaBRI, INRIA Bordeaux - Sud-Ouest)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-06T06:52:16Z","title":"Specimens: \"most of\" generic NPs in a contextually flexible type theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.1378","kind":"arxiv","version":1},"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:9c2d611beb2fc99aabd53ecaedacf45220afa8d2e3f62c1ae4dd45e7ce711d80","target":"record","created_at":"2026-05-18T04:09:24Z","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":"c99fc785773f55275e3c17ad8ed68361279b88a3a2bf43f62137e12e072951b1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-06T06:52:16Z","title_canon_sha256":"618aacc371a5f98cfa21e5cc7b7f5c70c131e46d31892ac29f49c0717410d60d"},"schema_version":"1.0","source":{"id":"1111.1378","kind":"arxiv","version":1}},"canonical_sha256":"1e616ad5553b82a7fa76e506c2e80bf5854b5e7142fbe2d529963dbf81fa5a94","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e616ad5553b82a7fa76e506c2e80bf5854b5e7142fbe2d529963dbf81fa5a94","first_computed_at":"2026-05-18T04:09:24.873148Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:09:24.873148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C7g368ttjmoi+wB48v+RS3KdMGKU+9ArkkVIIFK8RXT3L4RsBV5XuOcmwIFhfXHxFb8i9W9gzpoWC41UqeQxCA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:09:24.873893Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.1378","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c2d611beb2fc99aabd53ecaedacf45220afa8d2e3f62c1ae4dd45e7ce711d80","sha256:a0b5bc2120d3f404c64b7043b12f72537641dc0385337a75ef561bc527c4a7c0"],"state_sha256":"92de4e13e567ab215b2492540fc9cef615d1f044d197a49637db9eb1ed34a291"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X8pOtRnvRLX2DUqZ/zSeg4EhuITgxcJKxwDwTpYoGphTa0QpA+BLX4aQUBzQ4nnoejpTRGa96ZTJZclzXFHnCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T16:39:08.495691Z","bundle_sha256":"f93eab7df432e6e488780aeedd15593465e2105c97f7346693e18d81552abba1"}}