{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:GQYYVZSIWHVMQ7DMTBHFWWLCO6","short_pith_number":"pith:GQYYVZSI","canonical_record":{"source":{"id":"1208.4993","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-24T14:52:57Z","cross_cats_sorted":[],"title_canon_sha256":"973769bdc7634cb052c5306dc3d3b469bd2acb7a28e7b57cb35c4408c8d1c06b","abstract_canon_sha256":"7bda4431a5d3663c0660ccbcdc9706e501d37fa1047290e05047312f17120fb8"},"schema_version":"1.0"},"canonical_sha256":"34318ae648b1eac87c6c984e5b5962779378997273abfb477b3fa4c0ef7fb973","source":{"kind":"arxiv","id":"1208.4993","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.4993","created_at":"2026-05-18T03:33:25Z"},{"alias_kind":"arxiv_version","alias_value":"1208.4993v4","created_at":"2026-05-18T03:33:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.4993","created_at":"2026-05-18T03:33:25Z"},{"alias_kind":"pith_short_12","alias_value":"GQYYVZSIWHVM","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GQYYVZSIWHVMQ7DM","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GQYYVZSI","created_at":"2026-05-18T12:27:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:GQYYVZSIWHVMQ7DMTBHFWWLCO6","target":"record","payload":{"canonical_record":{"source":{"id":"1208.4993","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-24T14:52:57Z","cross_cats_sorted":[],"title_canon_sha256":"973769bdc7634cb052c5306dc3d3b469bd2acb7a28e7b57cb35c4408c8d1c06b","abstract_canon_sha256":"7bda4431a5d3663c0660ccbcdc9706e501d37fa1047290e05047312f17120fb8"},"schema_version":"1.0"},"canonical_sha256":"34318ae648b1eac87c6c984e5b5962779378997273abfb477b3fa4c0ef7fb973","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:25.745438Z","signature_b64":"HfA8cCQBXTtOrwWUR3F/5zeMgMvQ0BG96z2D25xEo77BGlJAVP0v8Gls/SxZLdKNMZcwDar8iv0jmWexrwybAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34318ae648b1eac87c6c984e5b5962779378997273abfb477b3fa4c0ef7fb973","last_reissued_at":"2026-05-18T03:33:25.744658Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:25.744658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1208.4993","source_version":4,"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-18T03:33:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k32P0flEmpUqQMGUNgNt+2MTC+MdLpyG8DluM7qVckmC2OyKWJ93rsMFSwMbrSvKT6J2EMUsLMQVs2pqizm2DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T09:06:25.448435Z"},"content_sha256":"941d0462cbe144b0c9e151cc77ebd0bcd416e6224b5d4b27ee30c20036b36467","schema_version":"1.0","event_id":"sha256:941d0462cbe144b0c9e151cc77ebd0bcd416e6224b5d4b27ee30c20036b36467"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:GQYYVZSIWHVMQ7DMTBHFWWLCO6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Expressive Completeness of Metric Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"James Worrell, Jo\\\"el Ouaknine, Paul Hunter","submitted_at":"2012-08-24T14:52:57Z","abstract_excerpt":"Metric Temporal Logic (MTL) is a generalisation of Linear Temporal Logic in which the Until and Since modalities are annotated with intervals that express metric constraints. A seminal result of Hirshfeld and Rabinovich shows that over the reals, first-order logic with binary order relation < and unary function +1 is strictly more expressive than MTL with integer constants. Indeed they prove that no temporal logic whose modalities are definable by formulas of bounded quantifier depth can be expressively complete for FO(<,+1). In this paper we show the surprising result that if we allow unary f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.4993","kind":"arxiv","version":4},"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-18T03:33:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B04GDoh+AGfbW2PwVtRooayDjcv/+jH2jzBodJQtnsoo1/EDAdp3XCcOvICgDkSbn0JwOUfkFnFP778B23gDBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T09:06:25.449070Z"},"content_sha256":"c652f147b5f0e2feca5868b6cce651838735363292c294b4bbc714c65342901d","schema_version":"1.0","event_id":"sha256:c652f147b5f0e2feca5868b6cce651838735363292c294b4bbc714c65342901d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GQYYVZSIWHVMQ7DMTBHFWWLCO6/bundle.json","state_url":"https://pith.science/pith/GQYYVZSIWHVMQ7DMTBHFWWLCO6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GQYYVZSIWHVMQ7DMTBHFWWLCO6/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-05-28T09:06:25Z","links":{"resolver":"https://pith.science/pith/GQYYVZSIWHVMQ7DMTBHFWWLCO6","bundle":"https://pith.science/pith/GQYYVZSIWHVMQ7DMTBHFWWLCO6/bundle.json","state":"https://pith.science/pith/GQYYVZSIWHVMQ7DMTBHFWWLCO6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GQYYVZSIWHVMQ7DMTBHFWWLCO6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:GQYYVZSIWHVMQ7DMTBHFWWLCO6","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":"7bda4431a5d3663c0660ccbcdc9706e501d37fa1047290e05047312f17120fb8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-24T14:52:57Z","title_canon_sha256":"973769bdc7634cb052c5306dc3d3b469bd2acb7a28e7b57cb35c4408c8d1c06b"},"schema_version":"1.0","source":{"id":"1208.4993","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.4993","created_at":"2026-05-18T03:33:25Z"},{"alias_kind":"arxiv_version","alias_value":"1208.4993v4","created_at":"2026-05-18T03:33:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.4993","created_at":"2026-05-18T03:33:25Z"},{"alias_kind":"pith_short_12","alias_value":"GQYYVZSIWHVM","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GQYYVZSIWHVMQ7DM","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GQYYVZSI","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:c652f147b5f0e2feca5868b6cce651838735363292c294b4bbc714c65342901d","target":"graph","created_at":"2026-05-18T03:33:25Z","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":"Metric Temporal Logic (MTL) is a generalisation of Linear Temporal Logic in which the Until and Since modalities are annotated with intervals that express metric constraints. A seminal result of Hirshfeld and Rabinovich shows that over the reals, first-order logic with binary order relation < and unary function +1 is strictly more expressive than MTL with integer constants. Indeed they prove that no temporal logic whose modalities are definable by formulas of bounded quantifier depth can be expressively complete for FO(<,+1). In this paper we show the surprising result that if we allow unary f","authors_text":"James Worrell, Jo\\\"el Ouaknine, Paul Hunter","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-24T14:52:57Z","title":"Expressive Completeness of Metric Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.4993","kind":"arxiv","version":4},"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:941d0462cbe144b0c9e151cc77ebd0bcd416e6224b5d4b27ee30c20036b36467","target":"record","created_at":"2026-05-18T03:33:25Z","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":"7bda4431a5d3663c0660ccbcdc9706e501d37fa1047290e05047312f17120fb8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-24T14:52:57Z","title_canon_sha256":"973769bdc7634cb052c5306dc3d3b469bd2acb7a28e7b57cb35c4408c8d1c06b"},"schema_version":"1.0","source":{"id":"1208.4993","kind":"arxiv","version":4}},"canonical_sha256":"34318ae648b1eac87c6c984e5b5962779378997273abfb477b3fa4c0ef7fb973","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34318ae648b1eac87c6c984e5b5962779378997273abfb477b3fa4c0ef7fb973","first_computed_at":"2026-05-18T03:33:25.744658Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:25.744658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HfA8cCQBXTtOrwWUR3F/5zeMgMvQ0BG96z2D25xEo77BGlJAVP0v8Gls/SxZLdKNMZcwDar8iv0jmWexrwybAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:25.745438Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.4993","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:941d0462cbe144b0c9e151cc77ebd0bcd416e6224b5d4b27ee30c20036b36467","sha256:c652f147b5f0e2feca5868b6cce651838735363292c294b4bbc714c65342901d"],"state_sha256":"97b04923bc849a405d9e3bb33e193e5ffaffeb88f47e9ac1a374e235c0fd4637"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YyvYdLpIcdigvV0yUYKWjxTIc0Mm7wRtS9cgbPmT4eb8oXkMuVNPM5gdHK0xAJwFN46BdQLPG5ms85PbpjwpAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T09:06:25.452011Z","bundle_sha256":"bc8bcc8da027bc9941e9a30480a93f4b27bbfaf49dc843aa729db1e1399ac25f"}}