{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:VV4HYFJQEJH7PSNY5J45IWCJB2","short_pith_number":"pith:VV4HYFJQ","schema_version":"1.0","canonical_sha256":"ad787c1530224ff7c9b8ea79d458490ead218fbaae6e3fe9cd4cf6e04d2f02ad","source":{"kind":"arxiv","id":"1710.08016","version":2},"attestation_state":"computed","paper":{"title":"Experimental Biological Protocols with Formal Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.PL","authors_text":"Alessandro Abate, Boyan Yordanov, Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","submitted_at":"2017-10-22T21:03:34Z","abstract_excerpt":"Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for encoding and automating experimental protocols often lack formal semantics. This makes it challenging to"},"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":"1710.08016","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-22T21:03:34Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"81631513c2cf8130f63065d01d7bc508dc6c452a74c8fb6d7d63fb365108135d","abstract_canon_sha256":"ae432545e0f53383d2940ffa156e7f177f990361f33bf1e68e4bf7dc9885f5ac"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:44.760965Z","signature_b64":"3bmR20MJICUfrStU0s862Ux0ur5c8JwkYZ4rCNgfVyR+51b40hj57GrK6I4mfOfbIR1jy4H05aOo1slUpduaAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad787c1530224ff7c9b8ea79d458490ead218fbaae6e3fe9cd4cf6e04d2f02ad","last_reissued_at":"2026-05-18T00:16:44.760393Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:44.760393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Experimental Biological Protocols with Formal Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.PL","authors_text":"Alessandro Abate, Boyan Yordanov, Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","submitted_at":"2017-10-22T21:03:34Z","abstract_excerpt":"Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for encoding and automating experimental protocols often lack formal semantics. This makes it challenging to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.08016","kind":"arxiv","version":2},"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":"1710.08016","created_at":"2026-05-18T00:16:44.760487+00:00"},{"alias_kind":"arxiv_version","alias_value":"1710.08016v2","created_at":"2026-05-18T00:16:44.760487+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.08016","created_at":"2026-05-18T00:16:44.760487+00:00"},{"alias_kind":"pith_short_12","alias_value":"VV4HYFJQEJH7","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_16","alias_value":"VV4HYFJQEJH7PSNY","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_8","alias_value":"VV4HYFJQ","created_at":"2026-05-18T12:31:49.984773+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/VV4HYFJQEJH7PSNY5J45IWCJB2","json":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2.json","graph_json":"https://pith.science/api/pith-number/VV4HYFJQEJH7PSNY5J45IWCJB2/graph.json","events_json":"https://pith.science/api/pith-number/VV4HYFJQEJH7PSNY5J45IWCJB2/events.json","paper":"https://pith.science/paper/VV4HYFJQ"},"agent_actions":{"view_html":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2","download_json":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2.json","view_paper":"https://pith.science/paper/VV4HYFJQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1710.08016&json=true","fetch_graph":"https://pith.science/api/pith-number/VV4HYFJQEJH7PSNY5J45IWCJB2/graph.json","fetch_events":"https://pith.science/api/pith-number/VV4HYFJQEJH7PSNY5J45IWCJB2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/action/storage_attestation","attest_author":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/action/author_attestation","sign_citation":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/action/citation_signature","submit_replication":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/action/replication_record"}},"created_at":"2026-05-18T00:16:44.760487+00:00","updated_at":"2026-05-18T00:16:44.760487+00:00"}