{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:4WDTMLCUQXIDRPYD2OPTMABIP7","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":"00948469bf2888823a3e8f71d38acfb32ea77de4e21cdc1f2c20eb92e2bd2b87","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-24T03:28:30Z","title_canon_sha256":"180578c70f446d30c6b6deb5c9348fcf9ba9be2def81927f053c89ee789227a6"},"schema_version":"1.0","source":{"id":"1012.5337","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.5337","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"arxiv_version","alias_value":"1012.5337v1","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.5337","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"pith_short_12","alias_value":"4WDTMLCUQXID","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"4WDTMLCUQXIDRPYD","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"4WDTMLCU","created_at":"2026-05-18T12:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:8c4576fc147a4ebce121671a9b33cdff345e4c65c60143a22e096f6040536b28","target":"graph","created_at":"2026-05-18T04:32:35Z","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":"This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on July 9, 2010, in Edinburgh, UK. Strategies are ubiquitous in programming languages, automated deduction and reasoning systems. In the two communities of Rewriting and Programming on one side, and of Deduction and Proof engines (Provers, Assistants, Solvers) on the other side, workshops have been launched to make progress towards a deeper understanding of the nature of strategies, their descriptions, their properties, an","authors_text":"C\\'esar Mu\\~noz (NASA, France), H\\'el\\`ene Kirchner (INRIA, USA)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-24T03:28:30Z","title":"Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.5337","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:5952b495bbac57b41682beb9fb5aad3f817b9c11eed68474279a72899279b664","target":"record","created_at":"2026-05-18T04:32:35Z","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":"00948469bf2888823a3e8f71d38acfb32ea77de4e21cdc1f2c20eb92e2bd2b87","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-24T03:28:30Z","title_canon_sha256":"180578c70f446d30c6b6deb5c9348fcf9ba9be2def81927f053c89ee789227a6"},"schema_version":"1.0","source":{"id":"1012.5337","kind":"arxiv","version":1}},"canonical_sha256":"e587362c5485d038bf03d39f3600287fca33c57fdb68d44e9b2c9a404d4ccc7e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e587362c5485d038bf03d39f3600287fca33c57fdb68d44e9b2c9a404d4ccc7e","first_computed_at":"2026-05-18T04:32:35.077136Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:32:35.077136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m4HxlaLoECv5JHjulQzHZWP3x+i7ZC2t9df+xJ0svpj5SrqkQAjJtaBWTdkJze+vTo1dUrTSGC32+vjpN/dKDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:32:35.077578Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.5337","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5952b495bbac57b41682beb9fb5aad3f817b9c11eed68474279a72899279b664","sha256:8c4576fc147a4ebce121671a9b33cdff345e4c65c60143a22e096f6040536b28"],"state_sha256":"663dac6bc0dbd3c114e7b9245d7fde80c59b9e56fb1a108a4395d3bbb57ae52c"}