{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3XSSVIBHD4TTLUI7CSKOG5WJZE","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":"b2b314c3fb9b3f974f673b73502813354cb4fec4e0be566e973f6640d0e9d7ad","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","title_canon_sha256":"3056ed16e50ce4105ecc5308f5a77d77628108916972f65cb63e9ed40e00d963"},"schema_version":"1.0","source":{"id":"1511.08723","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.08723","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"arxiv_version","alias_value":"1511.08723v1","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.08723","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"pith_short_12","alias_value":"3XSSVIBHD4TT","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3XSSVIBHD4TTLUI7","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3XSSVIBH","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:ca55656a98fd2b67c7a0543e8730ad0797f660c4c78a81ae91e7f31c3ad7672f","target":"graph","created_at":"2026-05-18T01:10:59Z","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":"Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting query results [3] or performing query evaluation on probabilistic trees [10]. These are two examples of the more general problem of computing augmented query output, that is referred to as provenance. This article presents a provenance framework for trees and treelike instances, by describing a linear-time construction of a circuit provenance re","authors_text":"Antoine Amarilli, Pierre Bourhis, Pierre Senellart","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","title":"Provenance Circuits for Trees and Treelike Instances (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.08723","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:3ce3141fbaba39aabe399e9556590644d1ebf13b10a50a04e1b38af08337b0c2","target":"record","created_at":"2026-05-18T01:10:59Z","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":"b2b314c3fb9b3f974f673b73502813354cb4fec4e0be566e973f6640d0e9d7ad","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","title_canon_sha256":"3056ed16e50ce4105ecc5308f5a77d77628108916972f65cb63e9ed40e00d963"},"schema_version":"1.0","source":{"id":"1511.08723","kind":"arxiv","version":1}},"canonical_sha256":"dde52aa0271f2735d11f1494e376c9c920d0eef143e8fd23cbfdfbb184af2b03","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dde52aa0271f2735d11f1494e376c9c920d0eef143e8fd23cbfdfbb184af2b03","first_computed_at":"2026-05-18T01:10:59.637251Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:59.637251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tYF6B7WEFvM3elEX/KmYrezZL+R5mOZ6BT0OfxLA+OfxGaXoFkN9ecdcD1U0xxc28R7Q5VQSvxLDC5NZoZXRDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:59.637931Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.08723","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ce3141fbaba39aabe399e9556590644d1ebf13b10a50a04e1b38af08337b0c2","sha256:ca55656a98fd2b67c7a0543e8730ad0797f660c4c78a81ae91e7f31c3ad7672f"],"state_sha256":"5e40b48a2223e78c56afdd79c681c0885689c25370f7a4ceb71b66986765e575"}