{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DTNYFW2UQJH3CNZHC4EKSVU267","short_pith_number":"pith:DTNYFW2U","canonical_record":{"source":{"id":"1810.13335","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-31T15:27:36Z","cross_cats_sorted":[],"title_canon_sha256":"0d95042a3f135147fe8d0c568200f4e41aa05b3e265906ac8650048410095fba","abstract_canon_sha256":"8dec71898eb0dc43a8b41702295d85169d1f4d0118c5060b184388e6363fccd0"},"schema_version":"1.0"},"canonical_sha256":"1cdb82db54824fb137271708a9569af7f27ccd51939c3fc0f532e6fb23c17da8","source":{"kind":"arxiv","id":"1810.13335","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.13335","created_at":"2026-05-18T00:01:49Z"},{"alias_kind":"arxiv_version","alias_value":"1810.13335v1","created_at":"2026-05-18T00:01:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.13335","created_at":"2026-05-18T00:01:49Z"},{"alias_kind":"pith_short_12","alias_value":"DTNYFW2UQJH3","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DTNYFW2UQJH3CNZH","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DTNYFW2U","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DTNYFW2UQJH3CNZHC4EKSVU267","target":"record","payload":{"canonical_record":{"source":{"id":"1810.13335","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-31T15:27:36Z","cross_cats_sorted":[],"title_canon_sha256":"0d95042a3f135147fe8d0c568200f4e41aa05b3e265906ac8650048410095fba","abstract_canon_sha256":"8dec71898eb0dc43a8b41702295d85169d1f4d0118c5060b184388e6363fccd0"},"schema_version":"1.0"},"canonical_sha256":"1cdb82db54824fb137271708a9569af7f27ccd51939c3fc0f532e6fb23c17da8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:49.646598Z","signature_b64":"0T3yg+S6Zv5pmqiMkHlydKG8HmtBjF+5roQwt58PbyypWJ8NR2IovPSPIM4iRj+uFJV4FcVndXHTJuacqtJbAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1cdb82db54824fb137271708a9569af7f27ccd51939c3fc0f532e6fb23c17da8","last_reissued_at":"2026-05-18T00:01:49.645910Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:49.645910Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.13335","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-18T00:01:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W4RynskXLtl3jwQWL6mzaAsAWHzl1p5CNOpLsiXGyXjaHXsBaK6Vuro92mkKP3FoeJu5iDrRrsM6FFmDm5k5AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:12:35.746962Z"},"content_sha256":"cb4ca3d528243a2f391df2df67a5614a44da754a9918d6b6eaf79551a4bcec5c","schema_version":"1.0","event_id":"sha256:cb4ca3d528243a2f391df2df67a5614a44da754a9918d6b6eaf79551a4bcec5c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DTNYFW2UQJH3CNZHC4EKSVU267","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite Relation Algebras with Normal Representations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Manuel Bodirsky","submitted_at":"2018-10-31T15:27:36Z","abstract_excerpt":"One of the traditional applications of relation algebras is to provide a setting for infinite-domain constraint satisfaction problems. Complexity classification for these computational problems has been one of the major open research challenges of this application field. The past decade has brought significant progress on the theory of constraint satisfaction, both over finite and infinite domains. This progress has been achieved independently from the relation algebra approach. The present article translates the recent findings into the traditional relation algebra setting, and points out a s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.13335","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-18T00:01:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o+Ar44kHi6K9pBm6GfgwGD6+j77KshAr0HYgG0etnOquZQE7O//aq5BfeWToXSHNeWsgdYDV9syorMwY+A+wCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:12:35.747681Z"},"content_sha256":"fe39c9585d2df9b6411f33b2e2c7c233c9ab824b201f35c740ea7c88bf815c04","schema_version":"1.0","event_id":"sha256:fe39c9585d2df9b6411f33b2e2c7c233c9ab824b201f35c740ea7c88bf815c04"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DTNYFW2UQJH3CNZHC4EKSVU267/bundle.json","state_url":"https://pith.science/pith/DTNYFW2UQJH3CNZHC4EKSVU267/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DTNYFW2UQJH3CNZHC4EKSVU267/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-27T13:12:35Z","links":{"resolver":"https://pith.science/pith/DTNYFW2UQJH3CNZHC4EKSVU267","bundle":"https://pith.science/pith/DTNYFW2UQJH3CNZHC4EKSVU267/bundle.json","state":"https://pith.science/pith/DTNYFW2UQJH3CNZHC4EKSVU267/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DTNYFW2UQJH3CNZHC4EKSVU267/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DTNYFW2UQJH3CNZHC4EKSVU267","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":"8dec71898eb0dc43a8b41702295d85169d1f4d0118c5060b184388e6363fccd0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-31T15:27:36Z","title_canon_sha256":"0d95042a3f135147fe8d0c568200f4e41aa05b3e265906ac8650048410095fba"},"schema_version":"1.0","source":{"id":"1810.13335","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.13335","created_at":"2026-05-18T00:01:49Z"},{"alias_kind":"arxiv_version","alias_value":"1810.13335v1","created_at":"2026-05-18T00:01:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.13335","created_at":"2026-05-18T00:01:49Z"},{"alias_kind":"pith_short_12","alias_value":"DTNYFW2UQJH3","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DTNYFW2UQJH3CNZH","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DTNYFW2U","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:fe39c9585d2df9b6411f33b2e2c7c233c9ab824b201f35c740ea7c88bf815c04","target":"graph","created_at":"2026-05-18T00:01:49Z","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":"One of the traditional applications of relation algebras is to provide a setting for infinite-domain constraint satisfaction problems. Complexity classification for these computational problems has been one of the major open research challenges of this application field. The past decade has brought significant progress on the theory of constraint satisfaction, both over finite and infinite domains. This progress has been achieved independently from the relation algebra approach. The present article translates the recent findings into the traditional relation algebra setting, and points out a s","authors_text":"Manuel Bodirsky","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-31T15:27:36Z","title":"Finite Relation Algebras with Normal Representations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.13335","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:cb4ca3d528243a2f391df2df67a5614a44da754a9918d6b6eaf79551a4bcec5c","target":"record","created_at":"2026-05-18T00:01:49Z","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":"8dec71898eb0dc43a8b41702295d85169d1f4d0118c5060b184388e6363fccd0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-31T15:27:36Z","title_canon_sha256":"0d95042a3f135147fe8d0c568200f4e41aa05b3e265906ac8650048410095fba"},"schema_version":"1.0","source":{"id":"1810.13335","kind":"arxiv","version":1}},"canonical_sha256":"1cdb82db54824fb137271708a9569af7f27ccd51939c3fc0f532e6fb23c17da8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1cdb82db54824fb137271708a9569af7f27ccd51939c3fc0f532e6fb23c17da8","first_computed_at":"2026-05-18T00:01:49.645910Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:49.645910Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0T3yg+S6Zv5pmqiMkHlydKG8HmtBjF+5roQwt58PbyypWJ8NR2IovPSPIM4iRj+uFJV4FcVndXHTJuacqtJbAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:49.646598Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.13335","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb4ca3d528243a2f391df2df67a5614a44da754a9918d6b6eaf79551a4bcec5c","sha256:fe39c9585d2df9b6411f33b2e2c7c233c9ab824b201f35c740ea7c88bf815c04"],"state_sha256":"097d358554693e30deedec2c82ff375ed135549e8787388376951f48224ad6ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EkDZj0m78x7mgCuU6exKbFCPOne9IJNQBiSBVMSxbSxNM8fnVlqwmjjz7h21PBVyPjv5ppoUJ8PguMlonf9TAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T13:12:35.751661Z","bundle_sha256":"d691530008f4db01829954740329f6dd0d18be833a551957baec43a4d8f9793e"}}