{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:D3PLELP4G3D5AWAPVAVKFKBZVX","short_pith_number":"pith:D3PLELP4","canonical_record":{"source":{"id":"1304.4150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-15T16:15:58Z","cross_cats_sorted":[],"title_canon_sha256":"30d927bbd455a6ec5c34edc0c18b49fd8cf32b77953f6d43e49bf86824cb6930","abstract_canon_sha256":"f47e9c658f781aa2a4c76c3fae0f55294c0b60719829eaaafaa28c1d56aa2ced"},"schema_version":"1.0"},"canonical_sha256":"1edeb22dfc36c7d0580fa82aa2a839add956bd5342b297b082ad2fe5a8d04e3a","source":{"kind":"arxiv","id":"1304.4150","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4150","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4150v2","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4150","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"pith_short_12","alias_value":"D3PLELP4G3D5","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"D3PLELP4G3D5AWAP","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"D3PLELP4","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:D3PLELP4G3D5AWAPVAVKFKBZVX","target":"record","payload":{"canonical_record":{"source":{"id":"1304.4150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-15T16:15:58Z","cross_cats_sorted":[],"title_canon_sha256":"30d927bbd455a6ec5c34edc0c18b49fd8cf32b77953f6d43e49bf86824cb6930","abstract_canon_sha256":"f47e9c658f781aa2a4c76c3fae0f55294c0b60719829eaaafaa28c1d56aa2ced"},"schema_version":"1.0"},"canonical_sha256":"1edeb22dfc36c7d0580fa82aa2a839add956bd5342b297b082ad2fe5a8d04e3a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:24.041269Z","signature_b64":"qC27oqNyQk9tmsfEjfZDWPIHliANWhTopcE1MxHueBj/yTaiWKtCBQkppkoPD/hSy5VE1noh1NO3FCUwVFwZDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1edeb22dfc36c7d0580fa82aa2a839add956bd5342b297b082ad2fe5a8d04e3a","last_reissued_at":"2026-05-17T23:51:24.040685Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:24.040685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.4150","source_version":2,"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-17T23:51:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+kj0vxbZ5rLXPpno0vzNNMZ6a31u51p5Yuzf88xAq4JOUSRcPBi4gutJZxJVrKPodUNZJ2TWCjgDqB7Rtci5Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:54:22.709621Z"},"content_sha256":"790aeb4e404277abb7ab1b1676bf7d6a419db3be7a9e0d74740ebff5ff051d10","schema_version":"1.0","event_id":"sha256:790aeb4e404277abb7ab1b1676bf7d6a419db3be7a9e0d74740ebff5ff051d10"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:D3PLELP4G3D5AWAPVAVKFKBZVX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Graph Logics with Rational Relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Diego Figueira, Leonid Libkin, Pablo Barcelo","submitted_at":"2013-04-15T16:15:58Z","abstract_excerpt":"We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications. Such logics use conditions on paths expressed by regular languages and relations, but they often need to be extended by rational relations such as subword or subsequence. Evaluating formulae in such extended graph logics boils down to checking nonemptiness of the intersection of rational relations with regular or recognizable relations (or, more generally, to the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4150","kind":"arxiv","version":2},"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-17T23:51:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZFgPGtPvRgNGdhC0SKpvRLwQ8jqjRfEjBmjXvQmbCVaYODEJIKDac+85SfgtH0QoRXjAI/ko2WIpO9cFwmMDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:54:22.710169Z"},"content_sha256":"95fd7f4993f22b6c1e0919f6bfe52e1f091eb2410aa33bab1b89b6002abdbeb5","schema_version":"1.0","event_id":"sha256:95fd7f4993f22b6c1e0919f6bfe52e1f091eb2410aa33bab1b89b6002abdbeb5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D3PLELP4G3D5AWAPVAVKFKBZVX/bundle.json","state_url":"https://pith.science/pith/D3PLELP4G3D5AWAPVAVKFKBZVX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D3PLELP4G3D5AWAPVAVKFKBZVX/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-05-25T20:54:22Z","links":{"resolver":"https://pith.science/pith/D3PLELP4G3D5AWAPVAVKFKBZVX","bundle":"https://pith.science/pith/D3PLELP4G3D5AWAPVAVKFKBZVX/bundle.json","state":"https://pith.science/pith/D3PLELP4G3D5AWAPVAVKFKBZVX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D3PLELP4G3D5AWAPVAVKFKBZVX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:D3PLELP4G3D5AWAPVAVKFKBZVX","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":"f47e9c658f781aa2a4c76c3fae0f55294c0b60719829eaaafaa28c1d56aa2ced","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-15T16:15:58Z","title_canon_sha256":"30d927bbd455a6ec5c34edc0c18b49fd8cf32b77953f6d43e49bf86824cb6930"},"schema_version":"1.0","source":{"id":"1304.4150","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4150","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4150v2","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4150","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"pith_short_12","alias_value":"D3PLELP4G3D5","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"D3PLELP4G3D5AWAP","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"D3PLELP4","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:95fd7f4993f22b6c1e0919f6bfe52e1f091eb2410aa33bab1b89b6002abdbeb5","target":"graph","created_at":"2026-05-17T23:51: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":"We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications. Such logics use conditions on paths expressed by regular languages and relations, but they often need to be extended by rational relations such as subword or subsequence. Evaluating formulae in such extended graph logics boils down to checking nonemptiness of the intersection of rational relations with regular or recognizable relations (or, more generally, to the ","authors_text":"Diego Figueira, Leonid Libkin, Pablo Barcelo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-15T16:15:58Z","title":"Graph Logics with Rational Relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4150","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:790aeb4e404277abb7ab1b1676bf7d6a419db3be7a9e0d74740ebff5ff051d10","target":"record","created_at":"2026-05-17T23:51: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":"f47e9c658f781aa2a4c76c3fae0f55294c0b60719829eaaafaa28c1d56aa2ced","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-15T16:15:58Z","title_canon_sha256":"30d927bbd455a6ec5c34edc0c18b49fd8cf32b77953f6d43e49bf86824cb6930"},"schema_version":"1.0","source":{"id":"1304.4150","kind":"arxiv","version":2}},"canonical_sha256":"1edeb22dfc36c7d0580fa82aa2a839add956bd5342b297b082ad2fe5a8d04e3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1edeb22dfc36c7d0580fa82aa2a839add956bd5342b297b082ad2fe5a8d04e3a","first_computed_at":"2026-05-17T23:51:24.040685Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:24.040685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qC27oqNyQk9tmsfEjfZDWPIHliANWhTopcE1MxHueBj/yTaiWKtCBQkppkoPD/hSy5VE1noh1NO3FCUwVFwZDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:24.041269Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.4150","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:790aeb4e404277abb7ab1b1676bf7d6a419db3be7a9e0d74740ebff5ff051d10","sha256:95fd7f4993f22b6c1e0919f6bfe52e1f091eb2410aa33bab1b89b6002abdbeb5"],"state_sha256":"61d4272902abd18b3e38234c06f7c1bcfcf493cd0c072216640418ba846a36e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SSeH75++SS+Utem10zlseLNlaqhlZIw6FTr/UQZC1K2AW6nVpeo0zEJRmPRvFTU82eI1Shl5EL3Pv2UCFWTRDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T20:54:22.713814Z","bundle_sha256":"9e89f15b6dee6ed15a4a7483b2e97a39f485ace751e480986fa8bf28d6b3dd9f"}}