{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:GWGNODJCQCFMBUH2FSWJMVCYAL","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":"7b475363e35a3264e5f227cb875de9e880ce41d8e507a4df5e2b6c0852d281eb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-30T00:12:55Z","title_canon_sha256":"d59c987e4a7f2df5f0204e09bd6bfb7e4b29da5bac882513baa1d86b620ac9bc"},"schema_version":"1.0","source":{"id":"1509.08979","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.08979","created_at":"2026-05-18T00:00:45Z"},{"alias_kind":"arxiv_version","alias_value":"1509.08979v3","created_at":"2026-05-18T00:00:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.08979","created_at":"2026-05-18T00:00:45Z"},{"alias_kind":"pith_short_12","alias_value":"GWGNODJCQCFM","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"GWGNODJCQCFMBUH2","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"GWGNODJC","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:b4649283ff497e2acbf62f2cc667929f6740472474aa10974e874d4d1b1c9305","target":"graph","created_at":"2026-05-18T00:00:45Z","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":"The study of node selection query languages for (finite) trees has been a major topic in the recent research on query languages for Web documents. On one hand, there has been an extensive study of XPath and its various extensions. On the other hand, query languages based on classical logics, such as first-order logic (FO) or Monadic Second-Order Logic (MSO), have been considered. Results in this area typically relate an XPath-based language to a classical logic. What has yet to emerge is an XPath-related language that is as expressive as MSO, and at the same time enjoys the computational prope","authors_text":"Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-30T00:12:55Z","title":"Fixpoint Node Selection Query Languages for Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.08979","kind":"arxiv","version":3},"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:21d53f248685ac79f29f1ec5cd8be1e6fec20fe29e554ebc33158d47f6282716","target":"record","created_at":"2026-05-18T00:00:45Z","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":"7b475363e35a3264e5f227cb875de9e880ce41d8e507a4df5e2b6c0852d281eb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-30T00:12:55Z","title_canon_sha256":"d59c987e4a7f2df5f0204e09bd6bfb7e4b29da5bac882513baa1d86b620ac9bc"},"schema_version":"1.0","source":{"id":"1509.08979","kind":"arxiv","version":3}},"canonical_sha256":"358cd70d22808ac0d0fa2cac96545802f0748489a300b0ff35ddf99e84ee4f5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"358cd70d22808ac0d0fa2cac96545802f0748489a300b0ff35ddf99e84ee4f5f","first_computed_at":"2026-05-18T00:00:45.499464Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:45.499464Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"huOstrwLwvcuQASiLIasdrs+Y6Lqa24D97sTbQTlXYSZ40Kcv2ayUFYHHc56E++96C58gjZ2nqOqSi7EfRN5Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:45.499929Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.08979","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21d53f248685ac79f29f1ec5cd8be1e6fec20fe29e554ebc33158d47f6282716","sha256:b4649283ff497e2acbf62f2cc667929f6740472474aa10974e874d4d1b1c9305"],"state_sha256":"05fb1f1582c864b5bfcbcd9de073380c3abf0113f6661a0da912dbdf33826838"}