{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:WQJOE7R5OOR4J357P7NLAJ2EY6","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":"e9eb1c574f8f175a86336e09b450f2c54d8fa104672942cd17c069bb27181b26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-09T20:32:24Z","title_canon_sha256":"efb4a64e2a5b72510321ee81745f2ba78377ac250d15fb7b019cab11dc9f0a01"},"schema_version":"1.0","source":{"id":"1612.03155","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03155","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03155v1","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03155","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"pith_short_12","alias_value":"WQJOE7R5OOR4","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"WQJOE7R5OOR4J357","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"WQJOE7R5","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:14e03d57cbb0b230cb106e9aa4a160709c984e930a00382e7b2be6615be195fd","target":"graph","created_at":"2026-05-18T00:55:26Z","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":"In the framework of computable queries in Database Theory, there are many examples of queries to (properties of) relational database instances that can be expressed by simple and elegant third order logic ($\\mathrm{TO}$) formulae. In many of those properties the expressive power of $\\mathrm{TO}$ is not required, but the equivalent second order logic ($\\mathrm{SO}$) formulae can be very complicated or unintuitive. From the point of view of the study of highly expressive query languages, it is then relevant to identify fragments of $\\mathrm{TO}$ (and, in general, of higher-order logics of order ","authors_text":"Flavio Ferrarotti, Jos\\'e Mar\\'ia Turull-Torres, Loredana Tec","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-09T20:32:24Z","title":"On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03155","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:0d0df6a18b11aa13d2458f408f744c66ee28a8ac079a5372637d3c824a5a67da","target":"record","created_at":"2026-05-18T00:55:26Z","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":"e9eb1c574f8f175a86336e09b450f2c54d8fa104672942cd17c069bb27181b26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-09T20:32:24Z","title_canon_sha256":"efb4a64e2a5b72510321ee81745f2ba78377ac250d15fb7b019cab11dc9f0a01"},"schema_version":"1.0","source":{"id":"1612.03155","kind":"arxiv","version":1}},"canonical_sha256":"b412e27e3d73a3c4efbf7fdab02744c7bf8463fe17c5a51db79322ebb22222c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b412e27e3d73a3c4efbf7fdab02744c7bf8463fe17c5a51db79322ebb22222c5","first_computed_at":"2026-05-18T00:55:26.247911Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:26.247911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8RNA5Ie1WiGB77ueqdLWbHF5unZieePNb13YTRyLHrx4c3acTgDtDkKbcioG9PqeiNw+G8DsNu3qeCau7ygaCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:26.248784Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.03155","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d0df6a18b11aa13d2458f408f744c66ee28a8ac079a5372637d3c824a5a67da","sha256:14e03d57cbb0b230cb106e9aa4a160709c984e930a00382e7b2be6615be195fd"],"state_sha256":"1b1730f7a8472f87f77618387c98f5214c5f3c95e8140b7ae1759bd36a175bc5"}