{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4R3RF2QOJR7EMMEORZ3BUWUUYF","short_pith_number":"pith:4R3RF2QO","canonical_record":{"source":{"id":"1603.05625","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2016-03-17T19:17:10Z","cross_cats_sorted":[],"title_canon_sha256":"28777676345590afe7ec1e9a7d1dd92353555b9e6f0e957c84b662af04b6bb54","abstract_canon_sha256":"1be07ef3f9f3bc56d3fb9261a46f3f92904ba663ca934dc674c053fdd802a84c"},"schema_version":"1.0"},"canonical_sha256":"e47712ea0e4c7e46308e8e761a5a94c1644fc57eed0f1a124c39706f51fe7539","source":{"kind":"arxiv","id":"1603.05625","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.05625","created_at":"2026-05-18T01:18:55Z"},{"alias_kind":"arxiv_version","alias_value":"1603.05625v1","created_at":"2026-05-18T01:18:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.05625","created_at":"2026-05-18T01:18:55Z"},{"alias_kind":"pith_short_12","alias_value":"4R3RF2QOJR7E","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4R3RF2QOJR7EMMEO","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4R3RF2QO","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4R3RF2QOJR7EMMEORZ3BUWUUYF","target":"record","payload":{"canonical_record":{"source":{"id":"1603.05625","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2016-03-17T19:17:10Z","cross_cats_sorted":[],"title_canon_sha256":"28777676345590afe7ec1e9a7d1dd92353555b9e6f0e957c84b662af04b6bb54","abstract_canon_sha256":"1be07ef3f9f3bc56d3fb9261a46f3f92904ba663ca934dc674c053fdd802a84c"},"schema_version":"1.0"},"canonical_sha256":"e47712ea0e4c7e46308e8e761a5a94c1644fc57eed0f1a124c39706f51fe7539","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:55.990441Z","signature_b64":"IltltNcPAnKeRRkWSecIXm/ZhrerBJVlcibzNhl9OstQ+WgaR6KaR2kExdcVB+LoBaLNWr2mI5vqANDwiZz/Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e47712ea0e4c7e46308e8e761a5a94c1644fc57eed0f1a124c39706f51fe7539","last_reissued_at":"2026-05-18T01:18:55.990001Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:55.990001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.05625","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:18:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NjQZ5+oqzJbwgKOa4kkmgrhLUy7eyZ6XZSl9qta255mFdjIDNGOFa08aUyJMS5DB4/0Ynkqu/ZzHfw3lcd5FAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:24:21.952717Z"},"content_sha256":"f994bb5860e2c8b6fe119f6be7df85e4f3184a1e730ab71628b38068bcc93974","schema_version":"1.0","event_id":"sha256:f994bb5860e2c8b6fe119f6be7df85e4f3184a1e730ab71628b38068bcc93974"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4R3RF2QOJR7EMMEORZ3BUWUUYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Two-variable Logic with a Between Predicate","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Andreas Krebs, Howard Straubing, Kamal Lodaya, Paritosh Pandya","submitted_at":"2016-03-17T19:17:10Z","abstract_excerpt":"We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable atomic formulas that say, `the letter a appears between positions x and y'. This is, in a sense, the simplest property that is not expressible using only two variables.\n  We present several logics, both first-order and temporal, that have the same expressive power, and find matching lower and upper bounds for the complexity of satisfiability for each of these formulations. We also give an effective necessary conditi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.05625","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:18:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7DFY6FXyaXeEIQBGUzyKYdWzdcYTGmqzumQsdW9iLdEc6jUnaoFphsRJSbWhF2He1lPkNrDK6Fk3CVVSqfwYAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:24:21.953061Z"},"content_sha256":"1f8f0bedc28407538c44bce3b49fe37aa93184d82d0d780a221a2542c5d8f46c","schema_version":"1.0","event_id":"sha256:1f8f0bedc28407538c44bce3b49fe37aa93184d82d0d780a221a2542c5d8f46c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4R3RF2QOJR7EMMEORZ3BUWUUYF/bundle.json","state_url":"https://pith.science/pith/4R3RF2QOJR7EMMEORZ3BUWUUYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4R3RF2QOJR7EMMEORZ3BUWUUYF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-10T19:24:21Z","links":{"resolver":"https://pith.science/pith/4R3RF2QOJR7EMMEORZ3BUWUUYF","bundle":"https://pith.science/pith/4R3RF2QOJR7EMMEORZ3BUWUUYF/bundle.json","state":"https://pith.science/pith/4R3RF2QOJR7EMMEORZ3BUWUUYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4R3RF2QOJR7EMMEORZ3BUWUUYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4R3RF2QOJR7EMMEORZ3BUWUUYF","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":"1be07ef3f9f3bc56d3fb9261a46f3f92904ba663ca934dc674c053fdd802a84c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2016-03-17T19:17:10Z","title_canon_sha256":"28777676345590afe7ec1e9a7d1dd92353555b9e6f0e957c84b662af04b6bb54"},"schema_version":"1.0","source":{"id":"1603.05625","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.05625","created_at":"2026-05-18T01:18:55Z"},{"alias_kind":"arxiv_version","alias_value":"1603.05625v1","created_at":"2026-05-18T01:18:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.05625","created_at":"2026-05-18T01:18:55Z"},{"alias_kind":"pith_short_12","alias_value":"4R3RF2QOJR7E","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4R3RF2QOJR7EMMEO","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4R3RF2QO","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:1f8f0bedc28407538c44bce3b49fe37aa93184d82d0d780a221a2542c5d8f46c","target":"graph","created_at":"2026-05-18T01:18:55Z","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":"We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable atomic formulas that say, `the letter a appears between positions x and y'. This is, in a sense, the simplest property that is not expressible using only two variables.\n  We present several logics, both first-order and temporal, that have the same expressive power, and find matching lower and upper bounds for the complexity of satisfiability for each of these formulations. We also give an effective necessary conditi","authors_text":"Andreas Krebs, Howard Straubing, Kamal Lodaya, Paritosh Pandya","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2016-03-17T19:17:10Z","title":"Two-variable Logic with a Between Predicate"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.05625","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:f994bb5860e2c8b6fe119f6be7df85e4f3184a1e730ab71628b38068bcc93974","target":"record","created_at":"2026-05-18T01:18:55Z","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":"1be07ef3f9f3bc56d3fb9261a46f3f92904ba663ca934dc674c053fdd802a84c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2016-03-17T19:17:10Z","title_canon_sha256":"28777676345590afe7ec1e9a7d1dd92353555b9e6f0e957c84b662af04b6bb54"},"schema_version":"1.0","source":{"id":"1603.05625","kind":"arxiv","version":1}},"canonical_sha256":"e47712ea0e4c7e46308e8e761a5a94c1644fc57eed0f1a124c39706f51fe7539","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e47712ea0e4c7e46308e8e761a5a94c1644fc57eed0f1a124c39706f51fe7539","first_computed_at":"2026-05-18T01:18:55.990001Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:55.990001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IltltNcPAnKeRRkWSecIXm/ZhrerBJVlcibzNhl9OstQ+WgaR6KaR2kExdcVB+LoBaLNWr2mI5vqANDwiZz/Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:55.990441Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.05625","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f994bb5860e2c8b6fe119f6be7df85e4f3184a1e730ab71628b38068bcc93974","sha256:1f8f0bedc28407538c44bce3b49fe37aa93184d82d0d780a221a2542c5d8f46c"],"state_sha256":"4650d695ef23e751855f77b0395d73eb4d57caecce469c0cdd3716a8fdbad5e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zdutSt1k0yImAuZ1tF7e7TY6CAISMPrbtlj+NQTYxQ45jds9DHlYwW4CmZgv7RFqxUfzhgkBhPaz0S1uqVpxCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T19:24:21.954985Z","bundle_sha256":"d39ab14e0a8a403b438f1d0e2785f1526d90b7aa39ecab7af5dca450ec9144c0"}}