{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:E2APJ5LVH6NQTSCUKTWJ5HPQ3I","short_pith_number":"pith:E2APJ5LV","canonical_record":{"source":{"id":"1602.07516","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-13T08:27:16Z","cross_cats_sorted":[],"title_canon_sha256":"d94f54c9a263583b4e4c05777ffe4806deba9715326edbd45db71dcafedb4976","abstract_canon_sha256":"7d7a258f8e0dd25939f6706e36b567c89979304cd66ff01382b5f67f9addfb7e"},"schema_version":"1.0"},"canonical_sha256":"2680f4f5753f9b09c85454ec9e9df0da03fbc79823685684923f0522e15d293d","source":{"kind":"arxiv","id":"1602.07516","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.07516","created_at":"2026-05-18T01:20:02Z"},{"alias_kind":"arxiv_version","alias_value":"1602.07516v1","created_at":"2026-05-18T01:20:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.07516","created_at":"2026-05-18T01:20:02Z"},{"alias_kind":"pith_short_12","alias_value":"E2APJ5LVH6NQ","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"E2APJ5LVH6NQTSCU","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"E2APJ5LV","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:E2APJ5LVH6NQTSCUKTWJ5HPQ3I","target":"record","payload":{"canonical_record":{"source":{"id":"1602.07516","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-13T08:27:16Z","cross_cats_sorted":[],"title_canon_sha256":"d94f54c9a263583b4e4c05777ffe4806deba9715326edbd45db71dcafedb4976","abstract_canon_sha256":"7d7a258f8e0dd25939f6706e36b567c89979304cd66ff01382b5f67f9addfb7e"},"schema_version":"1.0"},"canonical_sha256":"2680f4f5753f9b09c85454ec9e9df0da03fbc79823685684923f0522e15d293d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:02.834342Z","signature_b64":"hpFwM6S7v2j4N1UD4mHRLWKaZ+aYGisEPRIhWnsHgQq26jv5BmRRrgBApRcJbZnWTO2GmPT7f/Eqv/1HtHkhDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2680f4f5753f9b09c85454ec9e9df0da03fbc79823685684923f0522e15d293d","last_reissued_at":"2026-05-18T01:20:02.833716Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:02.833716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.07516","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:20:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/TahaHp9/0DbPPOACsCBf6jBhUSpmMDjBHWam13Cc/DhRMG9+g2s7UO4OZWuhxVHDbvErmvNSJlYHzhnhJcWDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T03:49:12.348513Z"},"content_sha256":"10afc89336a5d295d575da58536a16d49da083caccbe686cdf899e140f363134","schema_version":"1.0","event_id":"sha256:10afc89336a5d295d575da58536a16d49da083caccbe686cdf899e140f363134"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:E2APJ5LVH6NQTSCUKTWJ5HPQ3I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Holistic logical arguments in quantum computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Giuseppe Sergioli, Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini","submitted_at":"2016-02-13T08:27:16Z","abstract_excerpt":"Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.07516","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:20:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T0hMNwD7O/F/UPYItF3dZXKb9LS+TXV3R69dXMCLHo7zwLBnU5xRU+i+aoyp516P+EREdOTObTbyoWT3WDSjAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T03:49:12.348851Z"},"content_sha256":"60ada8653b1584908c8bbcaa6439a668b563b8319ee1f336bd271c022ece90d8","schema_version":"1.0","event_id":"sha256:60ada8653b1584908c8bbcaa6439a668b563b8319ee1f336bd271c022ece90d8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/bundle.json","state_url":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/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-03T03:49:12Z","links":{"resolver":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I","bundle":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/bundle.json","state":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:E2APJ5LVH6NQTSCUKTWJ5HPQ3I","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":"7d7a258f8e0dd25939f6706e36b567c89979304cd66ff01382b5f67f9addfb7e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-13T08:27:16Z","title_canon_sha256":"d94f54c9a263583b4e4c05777ffe4806deba9715326edbd45db71dcafedb4976"},"schema_version":"1.0","source":{"id":"1602.07516","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.07516","created_at":"2026-05-18T01:20:02Z"},{"alias_kind":"arxiv_version","alias_value":"1602.07516v1","created_at":"2026-05-18T01:20:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.07516","created_at":"2026-05-18T01:20:02Z"},{"alias_kind":"pith_short_12","alias_value":"E2APJ5LVH6NQ","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"E2APJ5LVH6NQTSCU","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"E2APJ5LV","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:60ada8653b1584908c8bbcaa6439a668b563b8319ee1f336bd271c022ece90d8","target":"graph","created_at":"2026-05-18T01:20:02Z","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":"Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the co","authors_text":"Giuseppe Sergioli, Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-13T08:27:16Z","title":"Holistic logical arguments in quantum computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.07516","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:10afc89336a5d295d575da58536a16d49da083caccbe686cdf899e140f363134","target":"record","created_at":"2026-05-18T01:20:02Z","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":"7d7a258f8e0dd25939f6706e36b567c89979304cd66ff01382b5f67f9addfb7e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-13T08:27:16Z","title_canon_sha256":"d94f54c9a263583b4e4c05777ffe4806deba9715326edbd45db71dcafedb4976"},"schema_version":"1.0","source":{"id":"1602.07516","kind":"arxiv","version":1}},"canonical_sha256":"2680f4f5753f9b09c85454ec9e9df0da03fbc79823685684923f0522e15d293d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2680f4f5753f9b09c85454ec9e9df0da03fbc79823685684923f0522e15d293d","first_computed_at":"2026-05-18T01:20:02.833716Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:02.833716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hpFwM6S7v2j4N1UD4mHRLWKaZ+aYGisEPRIhWnsHgQq26jv5BmRRrgBApRcJbZnWTO2GmPT7f/Eqv/1HtHkhDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:02.834342Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.07516","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10afc89336a5d295d575da58536a16d49da083caccbe686cdf899e140f363134","sha256:60ada8653b1584908c8bbcaa6439a668b563b8319ee1f336bd271c022ece90d8"],"state_sha256":"59c6ab89c06a28fc7c0fba6513b893450822825e9c50cab7365a2f02fdc22e5d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ePfw+2LzqX26TW6dDRzhaJhqVMWVC4vPq7AiuJltjBdi/uoreAavb8RqRsGvG1AdBFwVY7j/qC0Z714svv8OBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T03:49:12.350744Z","bundle_sha256":"49c8537c280d7fac52e3b9b01f3a4b3887ec54bc35f661d2659962c855f4e4e2"}}