{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:E2APJ5LVH6NQTSCUKTWJ5HPQ3I","short_pith_number":"pith:E2APJ5LV","schema_version":"1.0","canonical_sha256":"2680f4f5753f9b09c85454ec9e9df0da03fbc79823685684923f0522e15d293d","source":{"kind":"arxiv","id":"1602.07516","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1602.07516","created_at":"2026-05-18T01:20:02.833814+00:00"},{"alias_kind":"arxiv_version","alias_value":"1602.07516v1","created_at":"2026-05-18T01:20:02.833814+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.07516","created_at":"2026-05-18T01:20:02.833814+00:00"},{"alias_kind":"pith_short_12","alias_value":"E2APJ5LVH6NQ","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_16","alias_value":"E2APJ5LVH6NQTSCU","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_8","alias_value":"E2APJ5LV","created_at":"2026-05-18T12:30:12.583610+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/E2APJ5LVH6NQTSCUKTWJ5HPQ3I","json":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I.json","graph_json":"https://pith.science/api/pith-number/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/graph.json","events_json":"https://pith.science/api/pith-number/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/events.json","paper":"https://pith.science/paper/E2APJ5LV"},"agent_actions":{"view_html":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I","download_json":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I.json","view_paper":"https://pith.science/paper/E2APJ5LV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1602.07516&json=true","fetch_graph":"https://pith.science/api/pith-number/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/graph.json","fetch_events":"https://pith.science/api/pith-number/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/action/storage_attestation","attest_author":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/action/author_attestation","sign_citation":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/action/citation_signature","submit_replication":"https://pith.science/pith/E2APJ5LVH6NQTSCUKTWJ5HPQ3I/action/replication_record"}},"created_at":"2026-05-18T01:20:02.833814+00:00","updated_at":"2026-05-18T01:20:02.833814+00:00"}