{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:CPK47YF2WGON4ERYO4Q7NKK2QT","short_pith_number":"pith:CPK47YF2","schema_version":"1.0","canonical_sha256":"13d5cfe0bab19cde12387721f6a95a84f4b45176a5dd0fb276abe1f476086259","source":{"kind":"arxiv","id":"1805.02858","version":1},"attestation_state":"computed","paper":{"title":"Formal Analysis of Robotic Cell Injection Systems using Theorem Proving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adnan Rashid, Osman Hasan","submitted_at":"2018-05-08T06:57:02Z","abstract_excerpt":"Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection, intracytoplasmic sperm injection (ICSI) and in-virto fertilization (IVF). Robotic cell injection systems provide the automation of the process as opposed to the manual and semi-automated cell injection systems, which require expert operators and involve time consuming processes and also have lower success rates. The automation of the cell injection process is achieved by controlling the injection force and planning the motion of the injec"},"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":"1805.02858","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-08T06:57:02Z","cross_cats_sorted":[],"title_canon_sha256":"ef216ab4775ccdc195fdbd71e6ccffd8caa67a63aa17513e538d0256c5b81cb7","abstract_canon_sha256":"2fb95adfb24bc4d3a6a95a5c319c137c7e872247aae9082cfffd3980b3d0af55"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:35.458031Z","signature_b64":"yFf3cjlzmbfVJuJvGmq07Z/HflOsCVRL68yHnwJjZm5iS7FQ838mQwDTPSmdyR83HcbVI4nFnw2HsfxtatunAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13d5cfe0bab19cde12387721f6a95a84f4b45176a5dd0fb276abe1f476086259","last_reissued_at":"2026-05-18T00:16:35.457419Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:35.457419Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Analysis of Robotic Cell Injection Systems using Theorem Proving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adnan Rashid, Osman Hasan","submitted_at":"2018-05-08T06:57:02Z","abstract_excerpt":"Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection, intracytoplasmic sperm injection (ICSI) and in-virto fertilization (IVF). Robotic cell injection systems provide the automation of the process as opposed to the manual and semi-automated cell injection systems, which require expert operators and involve time consuming processes and also have lower success rates. The automation of the cell injection process is achieved by controlling the injection force and planning the motion of the injec"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02858","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":"1805.02858","created_at":"2026-05-18T00:16:35.457521+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.02858v1","created_at":"2026-05-18T00:16:35.457521+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02858","created_at":"2026-05-18T00:16:35.457521+00:00"},{"alias_kind":"pith_short_12","alias_value":"CPK47YF2WGON","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_16","alias_value":"CPK47YF2WGON4ERY","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_8","alias_value":"CPK47YF2","created_at":"2026-05-18T12:32:16.446611+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/CPK47YF2WGON4ERYO4Q7NKK2QT","json":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT.json","graph_json":"https://pith.science/api/pith-number/CPK47YF2WGON4ERYO4Q7NKK2QT/graph.json","events_json":"https://pith.science/api/pith-number/CPK47YF2WGON4ERYO4Q7NKK2QT/events.json","paper":"https://pith.science/paper/CPK47YF2"},"agent_actions":{"view_html":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT","download_json":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT.json","view_paper":"https://pith.science/paper/CPK47YF2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.02858&json=true","fetch_graph":"https://pith.science/api/pith-number/CPK47YF2WGON4ERYO4Q7NKK2QT/graph.json","fetch_events":"https://pith.science/api/pith-number/CPK47YF2WGON4ERYO4Q7NKK2QT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT/action/storage_attestation","attest_author":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT/action/author_attestation","sign_citation":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT/action/citation_signature","submit_replication":"https://pith.science/pith/CPK47YF2WGON4ERYO4Q7NKK2QT/action/replication_record"}},"created_at":"2026-05-18T00:16:35.457521+00:00","updated_at":"2026-05-18T00:16:35.457521+00:00"}