{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:VXV2TUTS4I2Q4PHOWHPNLVVE7Q","short_pith_number":"pith:VXV2TUTS","canonical_record":{"source":{"id":"1401.6576","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-25T19:57:46Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"488561391e814e97c3b1826465642af0cdca0910607d38e2a149a1ce10760043","abstract_canon_sha256":"f39c271fd2184e4d8debd5a7537d480def4c7ee356c4cdd9abeebb6358ed2c80"},"schema_version":"1.0"},"canonical_sha256":"adeba9d272e2350e3ceeb1ded5d6a4fc1483c4d62fee897b11e844a302103cf3","source":{"kind":"arxiv","id":"1401.6576","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6576","created_at":"2026-05-18T01:27:05Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6576v3","created_at":"2026-05-18T01:27:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6576","created_at":"2026-05-18T01:27:05Z"},{"alias_kind":"pith_short_12","alias_value":"VXV2TUTS4I2Q","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VXV2TUTS4I2Q4PHO","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VXV2TUTS","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:VXV2TUTS4I2Q4PHOWHPNLVVE7Q","target":"record","payload":{"canonical_record":{"source":{"id":"1401.6576","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-25T19:57:46Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"488561391e814e97c3b1826465642af0cdca0910607d38e2a149a1ce10760043","abstract_canon_sha256":"f39c271fd2184e4d8debd5a7537d480def4c7ee356c4cdd9abeebb6358ed2c80"},"schema_version":"1.0"},"canonical_sha256":"adeba9d272e2350e3ceeb1ded5d6a4fc1483c4d62fee897b11e844a302103cf3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:27:05.775939Z","signature_b64":"Pc/ohAX3JUR0plZNlO2cbpcjmEIIEXUK7jUmyVL21Mi4ItAlNlSm3gHeSo2T3Z6MutthoEgCDzc3RxYEjy6UAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"adeba9d272e2350e3ceeb1ded5d6a4fc1483c4d62fee897b11e844a302103cf3","last_reissued_at":"2026-05-18T01:27:05.775264Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:27:05.775264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.6576","source_version":3,"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-18T01:27:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x1ZPnXYtCExDqwkV0Kjwkrt2irXMY7SLyW0vQAjgxpCUyagZo3bPtO7uBWeYPKKEbvof9Nog5qOu3kLu5XKIDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T03:43:42.562137Z"},"content_sha256":"405ad63c96d9674e928f58f7c51cb863d4e6b92abda26d3bf57a0c456dd6e20f","schema_version":"1.0","event_id":"sha256:405ad63c96d9674e928f58f7c51cb863d4e6b92abda26d3bf57a0c456dd6e20f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:VXV2TUTS4I2Q4PHOWHPNLVVE7Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adding modular predicates to first-order fragments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Charles Paperman, Luc Dartois (ULB)","submitted_at":"2014-01-25T19:57:46Z","abstract_excerpt":"We investigate the decidability of the definability problem for fragments of first order logic over finite words enriched with modular predicates. Our approach aims toward the most generic statements that we could achieve, which successfully covers the quantifier alternation hierarchy of first order logic and some of its fragments. We obtain that deciding this problem for each level of the alternation hierarchy of both first order logic and its two-variable fragment when equipped with all regular numerical predicates is not harder than deciding it for the corresponding level  equipped with onl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6576","kind":"arxiv","version":3},"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-18T01:27:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v3XlNPSJ9TQoJ36jKq2gWSSX1LlL4JAIM432Yt9zCAOKL8P/AFmACO+SEvqaKp+ZpQNNpRKpd8afQmr69HNZBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T03:43:42.562707Z"},"content_sha256":"8e12bcd64c7260436ed3e66bfde70ead186588bdcd40566e1d4e08646075fdd4","schema_version":"1.0","event_id":"sha256:8e12bcd64c7260436ed3e66bfde70ead186588bdcd40566e1d4e08646075fdd4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VXV2TUTS4I2Q4PHOWHPNLVVE7Q/bundle.json","state_url":"https://pith.science/pith/VXV2TUTS4I2Q4PHOWHPNLVVE7Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VXV2TUTS4I2Q4PHOWHPNLVVE7Q/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-26T03:43:42Z","links":{"resolver":"https://pith.science/pith/VXV2TUTS4I2Q4PHOWHPNLVVE7Q","bundle":"https://pith.science/pith/VXV2TUTS4I2Q4PHOWHPNLVVE7Q/bundle.json","state":"https://pith.science/pith/VXV2TUTS4I2Q4PHOWHPNLVVE7Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VXV2TUTS4I2Q4PHOWHPNLVVE7Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:VXV2TUTS4I2Q4PHOWHPNLVVE7Q","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":"f39c271fd2184e4d8debd5a7537d480def4c7ee356c4cdd9abeebb6358ed2c80","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-25T19:57:46Z","title_canon_sha256":"488561391e814e97c3b1826465642af0cdca0910607d38e2a149a1ce10760043"},"schema_version":"1.0","source":{"id":"1401.6576","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6576","created_at":"2026-05-18T01:27:05Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6576v3","created_at":"2026-05-18T01:27:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6576","created_at":"2026-05-18T01:27:05Z"},{"alias_kind":"pith_short_12","alias_value":"VXV2TUTS4I2Q","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VXV2TUTS4I2Q4PHO","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VXV2TUTS","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:8e12bcd64c7260436ed3e66bfde70ead186588bdcd40566e1d4e08646075fdd4","target":"graph","created_at":"2026-05-18T01:27:05Z","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":"We investigate the decidability of the definability problem for fragments of first order logic over finite words enriched with modular predicates. Our approach aims toward the most generic statements that we could achieve, which successfully covers the quantifier alternation hierarchy of first order logic and some of its fragments. We obtain that deciding this problem for each level of the alternation hierarchy of both first order logic and its two-variable fragment when equipped with all regular numerical predicates is not harder than deciding it for the corresponding level  equipped with onl","authors_text":"Charles Paperman, Luc Dartois (ULB)","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-25T19:57:46Z","title":"Adding modular predicates to first-order fragments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6576","kind":"arxiv","version":3},"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:405ad63c96d9674e928f58f7c51cb863d4e6b92abda26d3bf57a0c456dd6e20f","target":"record","created_at":"2026-05-18T01:27:05Z","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":"f39c271fd2184e4d8debd5a7537d480def4c7ee356c4cdd9abeebb6358ed2c80","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-25T19:57:46Z","title_canon_sha256":"488561391e814e97c3b1826465642af0cdca0910607d38e2a149a1ce10760043"},"schema_version":"1.0","source":{"id":"1401.6576","kind":"arxiv","version":3}},"canonical_sha256":"adeba9d272e2350e3ceeb1ded5d6a4fc1483c4d62fee897b11e844a302103cf3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"adeba9d272e2350e3ceeb1ded5d6a4fc1483c4d62fee897b11e844a302103cf3","first_computed_at":"2026-05-18T01:27:05.775264Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:05.775264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Pc/ohAX3JUR0plZNlO2cbpcjmEIIEXUK7jUmyVL21Mi4ItAlNlSm3gHeSo2T3Z6MutthoEgCDzc3RxYEjy6UAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:05.775939Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.6576","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:405ad63c96d9674e928f58f7c51cb863d4e6b92abda26d3bf57a0c456dd6e20f","sha256:8e12bcd64c7260436ed3e66bfde70ead186588bdcd40566e1d4e08646075fdd4"],"state_sha256":"1e0c77abb04ba39c7861e123be8fff1071275417291a9c9b36df8c7964021ed0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dTInS1IfPNIeA2dBdX6BCog/iojlaJPHRZ2QOWXdzqNKOI9h56/82h+lgPxPJ+cVwhjXIM2imoicjntl4nlfBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T03:43:42.565139Z","bundle_sha256":"f815bc116a2accac0ad96acedd40d2699d75b2f7e72e913110fd2589e09f0556"}}