{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:46LZPBSHSOR7K4JYKVWLDXDCWO","short_pith_number":"pith:46LZPBSH","canonical_record":{"source":{"id":"1211.5633","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.MN","submitted_at":"2012-11-24T01:39:40Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"451f3cad6fed365a4da3d2e2bf38829ab5349df91f35d0272ef293bb0a923bb1","abstract_canon_sha256":"b2b853988de22e80c4fd4c7b876becf3b441363ddd0f1810ba8ba862984357f0"},"schema_version":"1.0"},"canonical_sha256":"e79797864793a3f57138556cb1dc62b3b11be5b44326cbe6dbdb7be8b2120322","source":{"kind":"arxiv","id":"1211.5633","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.5633","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1211.5633v1","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.5633","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"46LZPBSHSOR7","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"46LZPBSHSOR7K4JY","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"46LZPBSH","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:46LZPBSHSOR7K4JYKVWLDXDCWO","target":"record","payload":{"canonical_record":{"source":{"id":"1211.5633","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.MN","submitted_at":"2012-11-24T01:39:40Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"451f3cad6fed365a4da3d2e2bf38829ab5349df91f35d0272ef293bb0a923bb1","abstract_canon_sha256":"b2b853988de22e80c4fd4c7b876becf3b441363ddd0f1810ba8ba862984357f0"},"schema_version":"1.0"},"canonical_sha256":"e79797864793a3f57138556cb1dc62b3b11be5b44326cbe6dbdb7be8b2120322","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:40:02.397375Z","signature_b64":"AFbx72WrBsYbKmSVjw4a0tLDtZ6ODqaIPg5fSPVTtAA+wJmpuCfYyGEcVuqZ1l1xO8BwvxIkMN5pa48vTNkGAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e79797864793a3f57138556cb1dc62b3b11be5b44326cbe6dbdb7be8b2120322","last_reissued_at":"2026-05-18T03:40:02.396720Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:40:02.396720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.5633","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-18T03:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kCJ1TYIQKCYOAI5EiWzKwkEWAZ/PvBHeZRsKfU3wJN3tq7l+fGz8ZS/yp3L26FSPJ6RdflWhBFW5ABIts+tNDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:31:11.899799Z"},"content_sha256":"b8dbc43edbf4ec302bd0d38fe10493376f4ff68cd82557147cf41500c33e5433","schema_version":"1.0","event_id":"sha256:b8dbc43edbf4ec302bd0d38fe10493376f4ff68cd82557147cf41500c33e5433"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:46LZPBSHSOR7K4JYKVWLDXDCWO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AND-NOT logic framework for steady state analysis of Boolean network models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"q-bio.MN","authors_text":"Alan Veliz-Cuba, Ariel Kniss, Esther Wolff, Kristina Buschur, Reinhard Laubenbacher, Rose Hamershock","submitted_at":"2012-11-24T01:39:40Z","abstract_excerpt":"Finite dynamical systems (e.g. Boolean networks and logical models) have been used in modeling biological systems to focus attention on the qualitative features of the system, such as the wiring diagram. Since the analysis of such systems is hard, it is necessary to focus on subclasses that have the properties of being general enough for modeling and simple enough for theoretical analysis. In this paper we propose the class of AND-NOT networks for modeling biological systems and show that it provides several advantages. Some of the advantages include: Any finite dynamical system can be written"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.5633","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-18T03:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FxFI3f0lsOedGyoXGJYNBmL0hxm/xB926X8AKd0l5KKuvcYIYE7teBS+LJJO6RzmCnPv+CoD7+ZarDILaNExDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:31:11.900513Z"},"content_sha256":"991868d982e4bc9a03eac3a5579f0ac3b7ab3a32cfe42e5e164dbb877e3bda01","schema_version":"1.0","event_id":"sha256:991868d982e4bc9a03eac3a5579f0ac3b7ab3a32cfe42e5e164dbb877e3bda01"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/46LZPBSHSOR7K4JYKVWLDXDCWO/bundle.json","state_url":"https://pith.science/pith/46LZPBSHSOR7K4JYKVWLDXDCWO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/46LZPBSHSOR7K4JYKVWLDXDCWO/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-05-30T07:31:11Z","links":{"resolver":"https://pith.science/pith/46LZPBSHSOR7K4JYKVWLDXDCWO","bundle":"https://pith.science/pith/46LZPBSHSOR7K4JYKVWLDXDCWO/bundle.json","state":"https://pith.science/pith/46LZPBSHSOR7K4JYKVWLDXDCWO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/46LZPBSHSOR7K4JYKVWLDXDCWO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:46LZPBSHSOR7K4JYKVWLDXDCWO","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":"b2b853988de22e80c4fd4c7b876becf3b441363ddd0f1810ba8ba862984357f0","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.MN","submitted_at":"2012-11-24T01:39:40Z","title_canon_sha256":"451f3cad6fed365a4da3d2e2bf38829ab5349df91f35d0272ef293bb0a923bb1"},"schema_version":"1.0","source":{"id":"1211.5633","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.5633","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1211.5633v1","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.5633","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"46LZPBSHSOR7","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"46LZPBSHSOR7K4JY","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"46LZPBSH","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:991868d982e4bc9a03eac3a5579f0ac3b7ab3a32cfe42e5e164dbb877e3bda01","target":"graph","created_at":"2026-05-18T03:40:02Z","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":"Finite dynamical systems (e.g. Boolean networks and logical models) have been used in modeling biological systems to focus attention on the qualitative features of the system, such as the wiring diagram. Since the analysis of such systems is hard, it is necessary to focus on subclasses that have the properties of being general enough for modeling and simple enough for theoretical analysis. In this paper we propose the class of AND-NOT networks for modeling biological systems and show that it provides several advantages. Some of the advantages include: Any finite dynamical system can be written","authors_text":"Alan Veliz-Cuba, Ariel Kniss, Esther Wolff, Kristina Buschur, Reinhard Laubenbacher, Rose Hamershock","cross_cats":["q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.MN","submitted_at":"2012-11-24T01:39:40Z","title":"AND-NOT logic framework for steady state analysis of Boolean network models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.5633","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:b8dbc43edbf4ec302bd0d38fe10493376f4ff68cd82557147cf41500c33e5433","target":"record","created_at":"2026-05-18T03:40:02Z","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":"b2b853988de22e80c4fd4c7b876becf3b441363ddd0f1810ba8ba862984357f0","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.MN","submitted_at":"2012-11-24T01:39:40Z","title_canon_sha256":"451f3cad6fed365a4da3d2e2bf38829ab5349df91f35d0272ef293bb0a923bb1"},"schema_version":"1.0","source":{"id":"1211.5633","kind":"arxiv","version":1}},"canonical_sha256":"e79797864793a3f57138556cb1dc62b3b11be5b44326cbe6dbdb7be8b2120322","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e79797864793a3f57138556cb1dc62b3b11be5b44326cbe6dbdb7be8b2120322","first_computed_at":"2026-05-18T03:40:02.396720Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:40:02.396720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AFbx72WrBsYbKmSVjw4a0tLDtZ6ODqaIPg5fSPVTtAA+wJmpuCfYyGEcVuqZ1l1xO8BwvxIkMN5pa48vTNkGAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:40:02.397375Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.5633","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8dbc43edbf4ec302bd0d38fe10493376f4ff68cd82557147cf41500c33e5433","sha256:991868d982e4bc9a03eac3a5579f0ac3b7ab3a32cfe42e5e164dbb877e3bda01"],"state_sha256":"903ff1080eb85023e374eaf9a3b9f0d5ca313aa6ca4f0d318bb85e9ab068907a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hH62P0FR7u3Bm/edrOgk1ZvKppECLrfH7s+cKQMjXQW3fv0f4IuWdG5WgABeYcU+6w6gxangeTqwbro9v/uEAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T07:31:11.904398Z","bundle_sha256":"ff31b330f8b712c9e57d5076329249379d0c86188977f8b11d19f4cf47270046"}}