{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5FSBFQ5OMGCBDPKFLTM4HVAG23","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":"dacbcd6c62479bb095321ec1c5bc33d89587866440203b3fc60d5f3cadc760c9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-21T09:16:03Z","title_canon_sha256":"da33567dfaa93e909b5fffb54f02f4d3979677a206f515e59ddda056dab87176"},"schema_version":"1.0","source":{"id":"1410.5583","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.5583","created_at":"2026-05-18T02:39:39Z"},{"alias_kind":"arxiv_version","alias_value":"1410.5583v1","created_at":"2026-05-18T02:39:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.5583","created_at":"2026-05-18T02:39:39Z"},{"alias_kind":"pith_short_12","alias_value":"5FSBFQ5OMGCB","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5FSBFQ5OMGCBDPKF","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5FSBFQ5O","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:bc413f33e9d252f512b46a94b309cf0ee556af66a83c7fa3f56d8a4ba37a5001","target":"graph","created_at":"2026-05-18T02:39:39Z","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":"A new hierarchy of \"exact\" unification types is introduced, motivated by the study of admissibility for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive la","authors_text":"George Metcalfe, Leonardo Cabrer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-21T09:16:03Z","title":"Exact Unification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.5583","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:98b02f6a08c3cc1ebf3faa4838193b3ef4a9aca1451a821ab1dc23003b52bc9b","target":"record","created_at":"2026-05-18T02:39:39Z","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":"dacbcd6c62479bb095321ec1c5bc33d89587866440203b3fc60d5f3cadc760c9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-21T09:16:03Z","title_canon_sha256":"da33567dfaa93e909b5fffb54f02f4d3979677a206f515e59ddda056dab87176"},"schema_version":"1.0","source":{"id":"1410.5583","kind":"arxiv","version":1}},"canonical_sha256":"e96412c3ae618411bd455cd9c3d406d6c6a73bce8328b1f9677938bb1efa9377","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e96412c3ae618411bd455cd9c3d406d6c6a73bce8328b1f9677938bb1efa9377","first_computed_at":"2026-05-18T02:39:39.515895Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:39.515895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rHj81W/fOzPhDc0Ymyl8BhN3EiFDLak+9kfFjiGh/v+X4yrsccuUk7nGPItW2XMwD2CABiDEYqxfz2jRftk9Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:39.516353Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.5583","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98b02f6a08c3cc1ebf3faa4838193b3ef4a9aca1451a821ab1dc23003b52bc9b","sha256:bc413f33e9d252f512b46a94b309cf0ee556af66a83c7fa3f56d8a4ba37a5001"],"state_sha256":"3ec5e1fa96fca2a259cee84d95506e7d386173ad0cc583acd3734747eeb3f815"}