{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:MSUXOAIUVBZXQKIJWWT7SRJEFV","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":"a041958ac4fbd1bcf1533f150fd580a7279a1daa79e06cb3f0e0e09020eddcf0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-07-30T16:01:33Z","title_canon_sha256":"ee95d49d2d468ede5b500a0fce312e8153881cf2e623711ded267291f00b4d23"},"schema_version":"1.0","source":{"id":"1307.8029","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.8029","created_at":"2026-05-18T03:17:12Z"},{"alias_kind":"arxiv_version","alias_value":"1307.8029v1","created_at":"2026-05-18T03:17:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.8029","created_at":"2026-05-18T03:17:12Z"},{"alias_kind":"pith_short_12","alias_value":"MSUXOAIUVBZX","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"MSUXOAIUVBZXQKIJ","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"MSUXOAIU","created_at":"2026-05-18T12:27:52Z"}],"graph_snapshots":[{"event_id":"sha256:6846fa50f8abc46d1ab230755cc53537b531fcac1b2a913ae3289df454a2ebb6","target":"graph","created_at":"2026-05-18T03:17:12Z","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":"Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an influential role in theorem proving, automated reasoning, software verification, model checking, rewriting, formalisation of mathematics, network security, Groebner bases, characteristic sets, etc.\n  The international Symposium on \"Symbolic Computation in Software Science\" is the fourth in the SCSS workshop series. SCSS 2008 and 2010 took place at the Research ","authors_text":"Adel Bouhoula, Fairouz Kamareddine, Tetsuo Ida","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-07-30T16:01:33Z","title":"Proceedings Fourth International Symposium on Symbolic Computation in Software Science"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.8029","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:2219ab1cd5a0b25825d1b503048dc80244f0e1d72e6ebef7e74e0fc5849d74b2","target":"record","created_at":"2026-05-18T03:17:12Z","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":"a041958ac4fbd1bcf1533f150fd580a7279a1daa79e06cb3f0e0e09020eddcf0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-07-30T16:01:33Z","title_canon_sha256":"ee95d49d2d468ede5b500a0fce312e8153881cf2e623711ded267291f00b4d23"},"schema_version":"1.0","source":{"id":"1307.8029","kind":"arxiv","version":1}},"canonical_sha256":"64a9770114a873782909b5a7f945242d6aca539f997365604bd2947b902ec6fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"64a9770114a873782909b5a7f945242d6aca539f997365604bd2947b902ec6fa","first_computed_at":"2026-05-18T03:17:12.600413Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:17:12.600413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k5vNtoX2wrGuSTrZQ3AsmX6CLheTX0mBHvI+XwwQcANrYSUaxlJpmYA8r8+6nZFZrW1GsMK5A+wDn8Hw6cPbDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:17:12.601085Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.8029","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2219ab1cd5a0b25825d1b503048dc80244f0e1d72e6ebef7e74e0fc5849d74b2","sha256:6846fa50f8abc46d1ab230755cc53537b531fcac1b2a913ae3289df454a2ebb6"],"state_sha256":"f6946847bf5152fd60890f39e6caef2562d96cc23b08f20ca114356d9da21a0e"}