{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:KY37KYQO4VILJOBEKSXCZQTCEU","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":"31d949b516bc51fb0b2c7e905e4195d2a4f4974235c0151150d8a6f1b90bf1d3","cross_cats_sorted":["math.AG","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2010-12-03T16:16:40Z","title_canon_sha256":"5cfd076b29fad91d8f5cfc5b09d30a7d1376e22c7ea802dac9b9af75ad1c3b24"},"schema_version":"1.0","source":{"id":"1012.0778","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.0778","created_at":"2026-05-18T02:23:16Z"},{"alias_kind":"arxiv_version","alias_value":"1012.0778v2","created_at":"2026-05-18T02:23:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.0778","created_at":"2026-05-18T02:23:16Z"},{"alias_kind":"pith_short_12","alias_value":"KY37KYQO4VIL","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"KY37KYQO4VILJOBE","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"KY37KYQO","created_at":"2026-05-18T12:26:09Z"}],"graph_snapshots":[{"event_id":"sha256:19535a072399c37fb15d0a44f4ab83d5fca38e0f608c6c2b379541624fde6276","target":"graph","created_at":"2026-05-18T02:23:16Z","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":"Background: Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, with the goal to gain a better understanding of the system. The computational complexity to analyze the complete dynamics of these models grows exponentially in the number of variables, which impedes working with complex models. Although there exist sophisticated algorithms to determine the dynamics of discrete models, their implementations usually require labor-intensive formatting of the model formulation, and they are","authors_text":"Alan Veliz-Cuba, Bonny Guang, Franziska Hinkelmann, Grigoriy Blekherman, Madison Brandon, Reinhard Laubenbacher, Rustin McNeill","cross_cats":["math.AG","q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2010-12-03T16:16:40Z","title":"ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.0778","kind":"arxiv","version":2},"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:4434fe4a044c9ccc05bff489610aa8ec6f8d4ab8970819431263ef7c9b34663b","target":"record","created_at":"2026-05-18T02:23:16Z","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":"31d949b516bc51fb0b2c7e905e4195d2a4f4974235c0151150d8a6f1b90bf1d3","cross_cats_sorted":["math.AG","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2010-12-03T16:16:40Z","title_canon_sha256":"5cfd076b29fad91d8f5cfc5b09d30a7d1376e22c7ea802dac9b9af75ad1c3b24"},"schema_version":"1.0","source":{"id":"1012.0778","kind":"arxiv","version":2}},"canonical_sha256":"5637f5620ee550b4b82454ae2cc262253cb9376a1f145bc9215ce283aa082a3b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5637f5620ee550b4b82454ae2cc262253cb9376a1f145bc9215ce283aa082a3b","first_computed_at":"2026-05-18T02:23:16.159054Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:23:16.159054Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AzlCnaaQhlzX6fYrS6lgdhp4pEnjc893vG5q6JoCsa+vGtaqqsgjp1aeSOjMPLajDaYJhRB2YUU9qkjdGd4wDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:23:16.159613Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.0778","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4434fe4a044c9ccc05bff489610aa8ec6f8d4ab8970819431263ef7c9b34663b","sha256:19535a072399c37fb15d0a44f4ab83d5fca38e0f608c6c2b379541624fde6276"],"state_sha256":"6f66b46741ada31abcbb350fb703f54c9a2f41bbbc30c54357b10db5bb2ae264"}