{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:GK5YCBS6YGONL6SJZSJOMEMGW7","short_pith_number":"pith:GK5YCBS6","canonical_record":{"source":{"id":"1203.6278","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-28T14:20:19Z","cross_cats_sorted":[],"title_canon_sha256":"5ef30f2641fb6f314bd19a58d829cf711852a74ea070fca27a1407230c8f888a","abstract_canon_sha256":"0ddcb915c6f3f0ed5683b07047521652921f86d10cfd326ec8ae90186d891da8"},"schema_version":"1.0"},"canonical_sha256":"32bb81065ec19cd5fa49cc92e61186b7c2384593521448dec930288029cc35b0","source":{"kind":"arxiv","id":"1203.6278","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.6278","created_at":"2026-05-18T03:59:03Z"},{"alias_kind":"arxiv_version","alias_value":"1203.6278v1","created_at":"2026-05-18T03:59:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6278","created_at":"2026-05-18T03:59:03Z"},{"alias_kind":"pith_short_12","alias_value":"GK5YCBS6YGON","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GK5YCBS6YGONL6SJ","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GK5YCBS6","created_at":"2026-05-18T12:27:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:GK5YCBS6YGONL6SJZSJOMEMGW7","target":"record","payload":{"canonical_record":{"source":{"id":"1203.6278","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-28T14:20:19Z","cross_cats_sorted":[],"title_canon_sha256":"5ef30f2641fb6f314bd19a58d829cf711852a74ea070fca27a1407230c8f888a","abstract_canon_sha256":"0ddcb915c6f3f0ed5683b07047521652921f86d10cfd326ec8ae90186d891da8"},"schema_version":"1.0"},"canonical_sha256":"32bb81065ec19cd5fa49cc92e61186b7c2384593521448dec930288029cc35b0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:59:03.730769Z","signature_b64":"kGpuoHUAV99oxnMmTFmJOc9ohcTrTuKCxPrHd4AudV3icJhEp1emmdz0vIUM4nWTLY/N11qzreoINAnfTO7WBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32bb81065ec19cd5fa49cc92e61186b7c2384593521448dec930288029cc35b0","last_reissued_at":"2026-05-18T03:59:03.730049Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:59:03.730049Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.6278","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-18T03:59:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1aGVYfSWdHmXOTRZOxYenQrHpaz2nhVm3qxE59pm1ZwvebC46PYGEHKPKk2VfnqSKuvD8FFD40NjFCRMMYuGDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T00:09:12.448289Z"},"content_sha256":"dc42c007ad3ca289fbd2ee98aabb0749ec0139e5a2762781b353f3ab63c8d331","schema_version":"1.0","event_id":"sha256:dc42c007ad3ca289fbd2ee98aabb0749ec0139e5a2762781b353f3ab63c8d331"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:GK5YCBS6YGONL6SJZSJOMEMGW7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fuzzy Time in LTL","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Achille Frigeri, Liliana Pasquale, Paola Spoletini","submitted_at":"2012-03-28T14:20:19Z","abstract_excerpt":"In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are able to automatically react to events, by collecting information from outside and internally generating new events. However, the collection of data is often hampered by uncertainty and vagueness that can arise from the imprecision of the monitoring infrastructure, unreliable data sources, and networks. The decision making mechanism used to produce a reaction is also imprecise, and cannot be evaluated in a crisp way. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6278","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-18T03:59:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fxwReAkMhnkrsbvv/mHAVeGPRtDQgiY4fE3kryHolPkVqyFskhBK3/+2SM2QwpaJlPErctw/kuYLjX8ovsk6CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T00:09:12.448686Z"},"content_sha256":"8f3042aa3645e0d9c13a88779836a8b9042e567186ae318e27421730404f2c2c","schema_version":"1.0","event_id":"sha256:8f3042aa3645e0d9c13a88779836a8b9042e567186ae318e27421730404f2c2c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GK5YCBS6YGONL6SJZSJOMEMGW7/bundle.json","state_url":"https://pith.science/pith/GK5YCBS6YGONL6SJZSJOMEMGW7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GK5YCBS6YGONL6SJZSJOMEMGW7/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-07T00:09:12Z","links":{"resolver":"https://pith.science/pith/GK5YCBS6YGONL6SJZSJOMEMGW7","bundle":"https://pith.science/pith/GK5YCBS6YGONL6SJZSJOMEMGW7/bundle.json","state":"https://pith.science/pith/GK5YCBS6YGONL6SJZSJOMEMGW7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GK5YCBS6YGONL6SJZSJOMEMGW7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:GK5YCBS6YGONL6SJZSJOMEMGW7","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":"0ddcb915c6f3f0ed5683b07047521652921f86d10cfd326ec8ae90186d891da8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-28T14:20:19Z","title_canon_sha256":"5ef30f2641fb6f314bd19a58d829cf711852a74ea070fca27a1407230c8f888a"},"schema_version":"1.0","source":{"id":"1203.6278","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.6278","created_at":"2026-05-18T03:59:03Z"},{"alias_kind":"arxiv_version","alias_value":"1203.6278v1","created_at":"2026-05-18T03:59:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6278","created_at":"2026-05-18T03:59:03Z"},{"alias_kind":"pith_short_12","alias_value":"GK5YCBS6YGON","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GK5YCBS6YGONL6SJ","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GK5YCBS6","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:8f3042aa3645e0d9c13a88779836a8b9042e567186ae318e27421730404f2c2c","target":"graph","created_at":"2026-05-18T03:59:03Z","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 last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are able to automatically react to events, by collecting information from outside and internally generating new events. However, the collection of data is often hampered by uncertainty and vagueness that can arise from the imprecision of the monitoring infrastructure, unreliable data sources, and networks. The decision making mechanism used to produce a reaction is also imprecise, and cannot be evaluated in a crisp way. ","authors_text":"Achille Frigeri, Liliana Pasquale, Paola Spoletini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-28T14:20:19Z","title":"Fuzzy Time in LTL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6278","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:dc42c007ad3ca289fbd2ee98aabb0749ec0139e5a2762781b353f3ab63c8d331","target":"record","created_at":"2026-05-18T03:59:03Z","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":"0ddcb915c6f3f0ed5683b07047521652921f86d10cfd326ec8ae90186d891da8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-28T14:20:19Z","title_canon_sha256":"5ef30f2641fb6f314bd19a58d829cf711852a74ea070fca27a1407230c8f888a"},"schema_version":"1.0","source":{"id":"1203.6278","kind":"arxiv","version":1}},"canonical_sha256":"32bb81065ec19cd5fa49cc92e61186b7c2384593521448dec930288029cc35b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32bb81065ec19cd5fa49cc92e61186b7c2384593521448dec930288029cc35b0","first_computed_at":"2026-05-18T03:59:03.730049Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:59:03.730049Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kGpuoHUAV99oxnMmTFmJOc9ohcTrTuKCxPrHd4AudV3icJhEp1emmdz0vIUM4nWTLY/N11qzreoINAnfTO7WBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:59:03.730769Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.6278","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc42c007ad3ca289fbd2ee98aabb0749ec0139e5a2762781b353f3ab63c8d331","sha256:8f3042aa3645e0d9c13a88779836a8b9042e567186ae318e27421730404f2c2c"],"state_sha256":"2207feef77d1da5ddd738328f0657d290a35aae27c9b403b6d175897630bbb8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r5E4poqtZJ/myk6Fqs+QV8lr+W7UYZELvjZikjcpP+vvtkfXVqdCxbBdMxfy72WqLZZnz8kP4Fjp10tuPziTDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T00:09:12.451157Z","bundle_sha256":"342b6c3ba37d3d58c65508bcd92dacb17020a197876fc596db80734dd46d5c93"}}