{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:ISJTQYUPFK5QA5DW63JVAVJREZ","short_pith_number":"pith:ISJTQYUP","schema_version":"1.0","canonical_sha256":"449338628f2abb007476f6d350553126411bc785dc3fb8cf80369dbee00cf592","source":{"kind":"arxiv","id":"1302.3723","version":1},"attestation_state":"computed","paper":{"title":"Computing preimages of Boolean Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.IT"],"primary_cat":"cs.IT","authors_text":"Johannes Georg Klotz, Martin Bossert, Steffen Schober","submitted_at":"2013-02-15T10:54:01Z","abstract_excerpt":"In this paper we present an algorithm to address the predecessor problem of feed-forward Boolean networks. We propose an probabilistic algorithm, which solves this problem in linear time with respect to the number of nodes in the network. Finally, we evaluate our algorithm for random Boolean networks and the regulatory network of Escherichia coli."},"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":"1302.3723","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2013-02-15T10:54:01Z","cross_cats_sorted":["math.IT"],"title_canon_sha256":"722ba59b60fd8258fc7639aeb53b25be5993a8e35240f1e675997c4c043207b4","abstract_canon_sha256":"aca96ae972331a0b6692fc8c112d2e73dc1e08dfef7fa4ac2cc666b1b6c59ed8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:35.979953Z","signature_b64":"47MKsBXCjbeomD6oUuQDv3Bms8btdm/GKPITwlXtTbH7KwSj+v6Bcspx1noKQ0PvmM55xaLWxiGT7JAxzArFBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"449338628f2abb007476f6d350553126411bc785dc3fb8cf80369dbee00cf592","last_reissued_at":"2026-05-18T03:33:35.979077Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:35.979077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computing preimages of Boolean Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.IT"],"primary_cat":"cs.IT","authors_text":"Johannes Georg Klotz, Martin Bossert, Steffen Schober","submitted_at":"2013-02-15T10:54:01Z","abstract_excerpt":"In this paper we present an algorithm to address the predecessor problem of feed-forward Boolean networks. We propose an probabilistic algorithm, which solves this problem in linear time with respect to the number of nodes in the network. Finally, we evaluate our algorithm for random Boolean networks and the regulatory network of Escherichia coli."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3723","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":"1302.3723","created_at":"2026-05-18T03:33:35.979220+00:00"},{"alias_kind":"arxiv_version","alias_value":"1302.3723v1","created_at":"2026-05-18T03:33:35.979220+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3723","created_at":"2026-05-18T03:33:35.979220+00:00"},{"alias_kind":"pith_short_12","alias_value":"ISJTQYUPFK5Q","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"ISJTQYUPFK5QA5DW","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"ISJTQYUP","created_at":"2026-05-18T12:27:49.015174+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/ISJTQYUPFK5QA5DW63JVAVJREZ","json":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ.json","graph_json":"https://pith.science/api/pith-number/ISJTQYUPFK5QA5DW63JVAVJREZ/graph.json","events_json":"https://pith.science/api/pith-number/ISJTQYUPFK5QA5DW63JVAVJREZ/events.json","paper":"https://pith.science/paper/ISJTQYUP"},"agent_actions":{"view_html":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ","download_json":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ.json","view_paper":"https://pith.science/paper/ISJTQYUP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1302.3723&json=true","fetch_graph":"https://pith.science/api/pith-number/ISJTQYUPFK5QA5DW63JVAVJREZ/graph.json","fetch_events":"https://pith.science/api/pith-number/ISJTQYUPFK5QA5DW63JVAVJREZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ/action/storage_attestation","attest_author":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ/action/author_attestation","sign_citation":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ/action/citation_signature","submit_replication":"https://pith.science/pith/ISJTQYUPFK5QA5DW63JVAVJREZ/action/replication_record"}},"created_at":"2026-05-18T03:33:35.979220+00:00","updated_at":"2026-05-18T03:33:35.979220+00:00"}