{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:FGN3C6BMWVTJ7266CRVKU54MNE","short_pith_number":"pith:FGN3C6BM","canonical_record":{"source":{"id":"1402.6560","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-26T14:51:57Z","cross_cats_sorted":[],"title_canon_sha256":"d0e04e9e33cf8c763ba1b47574c7561f2f5851ff177210921b4e0dea00004232","abstract_canon_sha256":"5f3bae6c7970d5247f4bf923f959c29468a340c3f9260960f5ea1ce529c8f328"},"schema_version":"1.0"},"canonical_sha256":"299bb1782cb5669febde146aaa778c6911065ae891f39ecf2bdca628e39b9df3","source":{"kind":"arxiv","id":"1402.6560","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.6560","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"arxiv_version","alias_value":"1402.6560v1","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.6560","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"pith_short_12","alias_value":"FGN3C6BMWVTJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FGN3C6BMWVTJ7266","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FGN3C6BM","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:FGN3C6BMWVTJ7266CRVKU54MNE","target":"record","payload":{"canonical_record":{"source":{"id":"1402.6560","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-26T14:51:57Z","cross_cats_sorted":[],"title_canon_sha256":"d0e04e9e33cf8c763ba1b47574c7561f2f5851ff177210921b4e0dea00004232","abstract_canon_sha256":"5f3bae6c7970d5247f4bf923f959c29468a340c3f9260960f5ea1ce529c8f328"},"schema_version":"1.0"},"canonical_sha256":"299bb1782cb5669febde146aaa778c6911065ae891f39ecf2bdca628e39b9df3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:57:44.115051Z","signature_b64":"7D0ViO4ibqlQRArUoR7YF6kPAVezkN3xFxXExugzOmOYar4v5hwffXrqbFO/N4B6WHa7TvXHxq2K6+azv2UbDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"299bb1782cb5669febde146aaa778c6911065ae891f39ecf2bdca628e39b9df3","last_reissued_at":"2026-05-18T02:57:44.114552Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:57:44.114552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.6560","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-18T02:57:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"syJDJT9RqRiv4YNzuVZPsx1HWjcP+TSnVtQbDxQN/FvVjPztVVb5y8v978jkwaP+6hyOFGICPmpSfEEe4TlGDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T18:23:32.968736Z"},"content_sha256":"ad81003225040535b2ec6a93b3240ca9396bee3318bb66cd29940f6b4cde2989","schema_version":"1.0","event_id":"sha256:ad81003225040535b2ec6a93b3240ca9396bee3318bb66cd29940f6b4cde2989"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:FGN3C6BMWVTJ7266CRVKU54MNE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Even more generic solution construction in Valuation-Based Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jesus Cerquides, Jordi Roca-Lacostena","submitted_at":"2014-02-26T14:51:57Z","abstract_excerpt":"Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions. Typical examples are satisfying assignments in constraint systems, models in logics or solutions to linear equation systems.\n  Recently, formal requirements for the presence of solutions and a generic algorithm for solution construction based on the results of a previously executed inference scheme have been proposed in the literature. Unfortunately, the formalization of Pouly and Kohlas relies on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.6560","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-18T02:57:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cjDkxj2xGmXOA5ulGqOwJmX9VFYEFWvCi+z+6RFHUE46oPSMy0mRqe0omm7fConWkejvB+GmF5WemRnDGKDPBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T18:23:32.969064Z"},"content_sha256":"c5066dad404972d08ccf181af367618c1d6fbd98e2b9d48e7035fe4b90331c54","schema_version":"1.0","event_id":"sha256:c5066dad404972d08ccf181af367618c1d6fbd98e2b9d48e7035fe4b90331c54"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FGN3C6BMWVTJ7266CRVKU54MNE/bundle.json","state_url":"https://pith.science/pith/FGN3C6BMWVTJ7266CRVKU54MNE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FGN3C6BMWVTJ7266CRVKU54MNE/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-07-01T18:23:32Z","links":{"resolver":"https://pith.science/pith/FGN3C6BMWVTJ7266CRVKU54MNE","bundle":"https://pith.science/pith/FGN3C6BMWVTJ7266CRVKU54MNE/bundle.json","state":"https://pith.science/pith/FGN3C6BMWVTJ7266CRVKU54MNE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FGN3C6BMWVTJ7266CRVKU54MNE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FGN3C6BMWVTJ7266CRVKU54MNE","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":"5f3bae6c7970d5247f4bf923f959c29468a340c3f9260960f5ea1ce529c8f328","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-26T14:51:57Z","title_canon_sha256":"d0e04e9e33cf8c763ba1b47574c7561f2f5851ff177210921b4e0dea00004232"},"schema_version":"1.0","source":{"id":"1402.6560","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.6560","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"arxiv_version","alias_value":"1402.6560v1","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.6560","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"pith_short_12","alias_value":"FGN3C6BMWVTJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FGN3C6BMWVTJ7266","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FGN3C6BM","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:c5066dad404972d08ccf181af367618c1d6fbd98e2b9d48e7035fe4b90331c54","target":"graph","created_at":"2026-05-18T02:57:44Z","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":"Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions. Typical examples are satisfying assignments in constraint systems, models in logics or solutions to linear equation systems.\n  Recently, formal requirements for the presence of solutions and a generic algorithm for solution construction based on the results of a previously executed inference scheme have been proposed in the literature. Unfortunately, the formalization of Pouly and Kohlas relies on","authors_text":"Jesus Cerquides, Jordi Roca-Lacostena","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-26T14:51:57Z","title":"Even more generic solution construction in Valuation-Based Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.6560","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:ad81003225040535b2ec6a93b3240ca9396bee3318bb66cd29940f6b4cde2989","target":"record","created_at":"2026-05-18T02:57:44Z","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":"5f3bae6c7970d5247f4bf923f959c29468a340c3f9260960f5ea1ce529c8f328","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-26T14:51:57Z","title_canon_sha256":"d0e04e9e33cf8c763ba1b47574c7561f2f5851ff177210921b4e0dea00004232"},"schema_version":"1.0","source":{"id":"1402.6560","kind":"arxiv","version":1}},"canonical_sha256":"299bb1782cb5669febde146aaa778c6911065ae891f39ecf2bdca628e39b9df3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"299bb1782cb5669febde146aaa778c6911065ae891f39ecf2bdca628e39b9df3","first_computed_at":"2026-05-18T02:57:44.114552Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:57:44.114552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7D0ViO4ibqlQRArUoR7YF6kPAVezkN3xFxXExugzOmOYar4v5hwffXrqbFO/N4B6WHa7TvXHxq2K6+azv2UbDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:57:44.115051Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.6560","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad81003225040535b2ec6a93b3240ca9396bee3318bb66cd29940f6b4cde2989","sha256:c5066dad404972d08ccf181af367618c1d6fbd98e2b9d48e7035fe4b90331c54"],"state_sha256":"9fd0c3e18d0d3440888bf9d6479bb9204da0c7967d09ce7d866ba48153b965cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WL3ml34DRRM265g4oUYGemdVb5hIRabXShgZgSh+apHG9TQ/VekC3iGwuW+7zEGpGPrlBppDeB7BUcqjFL8CDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T18:23:32.970919Z","bundle_sha256":"23b19313cf2c4e95988f443d324ef8ca303d28b2410c1fc2f187fe110172f754"}}