{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:NDQJJWH7RTWWQGS53ABMPO6LB3","short_pith_number":"pith:NDQJJWH7","schema_version":"1.0","canonical_sha256":"68e094d8ff8ced681a5dd802c7bbcb0edbf350d477b6d24e3c9bd7f7caf6e7e6","source":{"kind":"arxiv","id":"1409.0731","version":1},"attestation_state":"computed","paper":{"title":"Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Antti Kuusisto, Emanuel Kiero\\'nski","submitted_at":"2014-09-02T14:40:43Z","abstract_excerpt":"Uniform one-dimensional fragment UF1^= is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified formula. The fragment is closed under Boolean operations, but additional restrictions (called uniformity conditions) apply to combinations of atomic formulas with two or more variables. The fragment can be seen as a canonical generalization of two-variable logic, defined in order to be able to deal with relations of arbitrary arities. The fragment was introd"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1409.0731","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-09-02T14:40:43Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5718064ecd63180edec58a953af6cb0d3a8c34fe5fcb43f228a21d5f5423a702","abstract_canon_sha256":"618fd743dda0fae8c5c3d452a6565a088322b3e14cd7da9aacbb50f54e424b7f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:46.240592Z","signature_b64":"E56G+cPwjM0/GUqTx0YZ1SY4HzAc6cr8If04dwB9uwh2ALQWZib7yJGypB6G4+6WEqt+GcdBptvddDKcGAn+BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68e094d8ff8ced681a5dd802c7bbcb0edbf350d477b6d24e3c9bd7f7caf6e7e6","last_reissued_at":"2026-05-18T02:43:46.240148Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:46.240148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Antti Kuusisto, Emanuel Kiero\\'nski","submitted_at":"2014-09-02T14:40:43Z","abstract_excerpt":"Uniform one-dimensional fragment UF1^= is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified formula. The fragment is closed under Boolean operations, but additional restrictions (called uniformity conditions) apply to combinations of atomic formulas with two or more variables. The fragment can be seen as a canonical generalization of two-variable logic, defined in order to be able to deal with relations of arbitrary arities. The fragment was introd"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0731","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1409.0731","created_at":"2026-05-18T02:43:46.240216+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.0731v1","created_at":"2026-05-18T02:43:46.240216+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0731","created_at":"2026-05-18T02:43:46.240216+00:00"},{"alias_kind":"pith_short_12","alias_value":"NDQJJWH7RTWW","created_at":"2026-05-18T12:28:41.024544+00:00"},{"alias_kind":"pith_short_16","alias_value":"NDQJJWH7RTWWQGS5","created_at":"2026-05-18T12:28:41.024544+00:00"},{"alias_kind":"pith_short_8","alias_value":"NDQJJWH7","created_at":"2026-05-18T12:28:41.024544+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3","json":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3.json","graph_json":"https://pith.science/api/pith-number/NDQJJWH7RTWWQGS53ABMPO6LB3/graph.json","events_json":"https://pith.science/api/pith-number/NDQJJWH7RTWWQGS53ABMPO6LB3/events.json","paper":"https://pith.science/paper/NDQJJWH7"},"agent_actions":{"view_html":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3","download_json":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3.json","view_paper":"https://pith.science/paper/NDQJJWH7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.0731&json=true","fetch_graph":"https://pith.science/api/pith-number/NDQJJWH7RTWWQGS53ABMPO6LB3/graph.json","fetch_events":"https://pith.science/api/pith-number/NDQJJWH7RTWWQGS53ABMPO6LB3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3/action/storage_attestation","attest_author":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3/action/author_attestation","sign_citation":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3/action/citation_signature","submit_replication":"https://pith.science/pith/NDQJJWH7RTWWQGS53ABMPO6LB3/action/replication_record"}},"created_at":"2026-05-18T02:43:46.240216+00:00","updated_at":"2026-05-18T02:43:46.240216+00:00"}