{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:O6BJEHRVR5HUH46TI3PFKFOPSZ","short_pith_number":"pith:O6BJEHRV","canonical_record":{"source":{"id":"1702.05383","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-15T11:12:34Z","cross_cats_sorted":[],"title_canon_sha256":"b22ade5fdd25cf9bbc65c0b9bdb5f9bcd5b5fd47f3512f07a50bdbab56e2bd10","abstract_canon_sha256":"d6f0c479ce0b06524bbfcfc9c465d56807be8a7cb779bad8962fe8fd5535c02d"},"schema_version":"1.0"},"canonical_sha256":"7782921e358f4f43f3d346de5515cf96732d9ec5c496724fa8420fdc70ccbc5b","source":{"kind":"arxiv","id":"1702.05383","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.05383","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"arxiv_version","alias_value":"1702.05383v1","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.05383","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"pith_short_12","alias_value":"O6BJEHRVR5HU","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"O6BJEHRVR5HUH46T","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"O6BJEHRV","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:O6BJEHRVR5HUH46TI3PFKFOPSZ","target":"record","payload":{"canonical_record":{"source":{"id":"1702.05383","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-15T11:12:34Z","cross_cats_sorted":[],"title_canon_sha256":"b22ade5fdd25cf9bbc65c0b9bdb5f9bcd5b5fd47f3512f07a50bdbab56e2bd10","abstract_canon_sha256":"d6f0c479ce0b06524bbfcfc9c465d56807be8a7cb779bad8962fe8fd5535c02d"},"schema_version":"1.0"},"canonical_sha256":"7782921e358f4f43f3d346de5515cf96732d9ec5c496724fa8420fdc70ccbc5b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:31.870809Z","signature_b64":"jXvrhVefnFss7vuWrPxgiqLuet9VFZMLWL+HFDmPDMalAZvc3m4XWFIVnBwvXbP3tEO2Y6qDDTJVf7VfVjfBDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7782921e358f4f43f3d346de5515cf96732d9ec5c496724fa8420fdc70ccbc5b","last_reissued_at":"2026-05-18T00:50:31.870155Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:31.870155Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.05383","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-18T00:50:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CIUSsA4JqL4jIQCU4hFKJ3tQgSezoyL9BTldxlhe7b+RGnPMoCJ9Y19xTi5kzcYFLWDp/E3wtTBDgL0EwqtlDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T06:43:46.848626Z"},"content_sha256":"3200c21c48b65ca3cfe04addb9a20433cf7dd47d53eb897b41d978f05f70fe11","schema_version":"1.0","event_id":"sha256:3200c21c48b65ca3cfe04addb9a20433cf7dd47d53eb897b41d978f05f70fe11"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:O6BJEHRVR5HUH46TI3PFKFOPSZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Theorem Proving Based on Semantics of DNA Strand Graph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kumar S. Ray, Mandrita Mondal","submitted_at":"2017-02-15T11:12:34Z","abstract_excerpt":"Because of several technological limitations of traditional silicon based computing, for past few years a paradigm shift, from silicon to carbon, is occurring in computational world. DNA computing has been considered to be quite promising in solving computational and reasoning problems by using DNA strands. Resolution, an important aspect of automated theorem proving and mathematical logic, is a rule of inference which leads to proof by contradiction technique for sentences in propositional logic and first-order logic. This can also be called refutation theorem-proving. In this paper we have s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.05383","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-18T00:50:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cjahfnU54B7W94Wo/3Z6iJq3uU2/bvqoSwpXeOPLB5U87qpNPrxN5NtACkoqG7soCBOrkJZRINN5DfKy8le2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T06:43:46.848972Z"},"content_sha256":"92298dfdb218fa539118c230e5fcc7ba7993003e628b0548a1d4f1db399d5c96","schema_version":"1.0","event_id":"sha256:92298dfdb218fa539118c230e5fcc7ba7993003e628b0548a1d4f1db399d5c96"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O6BJEHRVR5HUH46TI3PFKFOPSZ/bundle.json","state_url":"https://pith.science/pith/O6BJEHRVR5HUH46TI3PFKFOPSZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O6BJEHRVR5HUH46TI3PFKFOPSZ/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-07-02T06:43:46Z","links":{"resolver":"https://pith.science/pith/O6BJEHRVR5HUH46TI3PFKFOPSZ","bundle":"https://pith.science/pith/O6BJEHRVR5HUH46TI3PFKFOPSZ/bundle.json","state":"https://pith.science/pith/O6BJEHRVR5HUH46TI3PFKFOPSZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O6BJEHRVR5HUH46TI3PFKFOPSZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:O6BJEHRVR5HUH46TI3PFKFOPSZ","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":"d6f0c479ce0b06524bbfcfc9c465d56807be8a7cb779bad8962fe8fd5535c02d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-15T11:12:34Z","title_canon_sha256":"b22ade5fdd25cf9bbc65c0b9bdb5f9bcd5b5fd47f3512f07a50bdbab56e2bd10"},"schema_version":"1.0","source":{"id":"1702.05383","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.05383","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"arxiv_version","alias_value":"1702.05383v1","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.05383","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"pith_short_12","alias_value":"O6BJEHRVR5HU","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"O6BJEHRVR5HUH46T","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"O6BJEHRV","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:92298dfdb218fa539118c230e5fcc7ba7993003e628b0548a1d4f1db399d5c96","target":"graph","created_at":"2026-05-18T00:50:31Z","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":"Because of several technological limitations of traditional silicon based computing, for past few years a paradigm shift, from silicon to carbon, is occurring in computational world. DNA computing has been considered to be quite promising in solving computational and reasoning problems by using DNA strands. Resolution, an important aspect of automated theorem proving and mathematical logic, is a rule of inference which leads to proof by contradiction technique for sentences in propositional logic and first-order logic. This can also be called refutation theorem-proving. In this paper we have s","authors_text":"Kumar S. Ray, Mandrita Mondal","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-15T11:12:34Z","title":"Theorem Proving Based on Semantics of DNA Strand Graph"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.05383","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:3200c21c48b65ca3cfe04addb9a20433cf7dd47d53eb897b41d978f05f70fe11","target":"record","created_at":"2026-05-18T00:50:31Z","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":"d6f0c479ce0b06524bbfcfc9c465d56807be8a7cb779bad8962fe8fd5535c02d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-15T11:12:34Z","title_canon_sha256":"b22ade5fdd25cf9bbc65c0b9bdb5f9bcd5b5fd47f3512f07a50bdbab56e2bd10"},"schema_version":"1.0","source":{"id":"1702.05383","kind":"arxiv","version":1}},"canonical_sha256":"7782921e358f4f43f3d346de5515cf96732d9ec5c496724fa8420fdc70ccbc5b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7782921e358f4f43f3d346de5515cf96732d9ec5c496724fa8420fdc70ccbc5b","first_computed_at":"2026-05-18T00:50:31.870155Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:31.870155Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jXvrhVefnFss7vuWrPxgiqLuet9VFZMLWL+HFDmPDMalAZvc3m4XWFIVnBwvXbP3tEO2Y6qDDTJVf7VfVjfBDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:31.870809Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.05383","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3200c21c48b65ca3cfe04addb9a20433cf7dd47d53eb897b41d978f05f70fe11","sha256:92298dfdb218fa539118c230e5fcc7ba7993003e628b0548a1d4f1db399d5c96"],"state_sha256":"fbe8506715c40757bddadca53beda61b9f8c75e02f9c7897dc2e3986aef5f500"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ziMpecRnDYFOEJW+PUIuaQ9iOZ/9ZGBUyRS3SPxgOQx2QxBLNmN07ysFP8Xfb+R3e2HFW6R4zQP9QWjXQZtEBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T06:43:46.850901Z","bundle_sha256":"f3e4fef95e61dc63edd05f13e5d4c275e068d249e305d46aea80e9e9734a9b2e"}}