{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2007:Y5H34LRDMO5V2RATE4P2ZGLDPN","short_pith_number":"pith:Y5H34LRD","schema_version":"1.0","canonical_sha256":"c74fbe2e2363bb5d4413271fac99637b5a8d3f3e47fd748923217bcd83717bb8","source":{"kind":"arxiv","id":"0801.0249","version":1},"attestation_state":"computed","paper":{"title":"A mathematical formalism for agent-based modeling","license":"","headline":"","cross_cats":["cs.DM","math.CO"],"primary_cat":"cs.MA","authors_text":"Abdul S. Jarrah, Henning Mortveit, Reinhard Laubenbacher, S.S. Ravi","submitted_at":"2007-12-31T23:22:50Z","abstract_excerpt":"Many complex systems can be modeled as multiagent systems in which the constituent entities (agents) interact with each other. The global dynamics of such a system is determined by the nature of the local interactions among the agents. Since it is difficult to formally analyze complex multiagent systems, they are often studied through computer simulations. While computer simulations can be very useful, results obtained through simulations do not formally validate the observed behavior. Thus, there is a need for a mathematical framework which one can use to represent multiagent systems and form"},"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":"0801.0249","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.MA","submitted_at":"2007-12-31T23:22:50Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"8b8f712b64f7c6d7b79a653df7a7363532f5ba8e12748d310d85130371c107d3","abstract_canon_sha256":"034961f72c896fa5181b7bd875501f83a93b7c5648acc4f8ced800bf1d58ce28"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:09:04.182611Z","signature_b64":"0tujrYZlyn9fqwHv8+ne8EGeqaEvcQMI8SfiZzniVOcs3/Y98tNRTJYhkyNAn/ji0H0Z5rjj4MXAUcLvEsECBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c74fbe2e2363bb5d4413271fac99637b5a8d3f3e47fd748923217bcd83717bb8","last_reissued_at":"2026-05-18T04:09:04.181883Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:09:04.181883Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A mathematical formalism for agent-based modeling","license":"","headline":"","cross_cats":["cs.DM","math.CO"],"primary_cat":"cs.MA","authors_text":"Abdul S. Jarrah, Henning Mortveit, Reinhard Laubenbacher, S.S. Ravi","submitted_at":"2007-12-31T23:22:50Z","abstract_excerpt":"Many complex systems can be modeled as multiagent systems in which the constituent entities (agents) interact with each other. The global dynamics of such a system is determined by the nature of the local interactions among the agents. Since it is difficult to formally analyze complex multiagent systems, they are often studied through computer simulations. While computer simulations can be very useful, results obtained through simulations do not formally validate the observed behavior. Thus, there is a need for a mathematical framework which one can use to represent multiagent systems and form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0801.0249","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":"0801.0249","created_at":"2026-05-18T04:09:04.182002+00:00"},{"alias_kind":"arxiv_version","alias_value":"0801.0249v1","created_at":"2026-05-18T04:09:04.182002+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0801.0249","created_at":"2026-05-18T04:09:04.182002+00:00"},{"alias_kind":"pith_short_12","alias_value":"Y5H34LRDMO5V","created_at":"2026-05-18T12:25:56.245647+00:00"},{"alias_kind":"pith_short_16","alias_value":"Y5H34LRDMO5V2RAT","created_at":"2026-05-18T12:25:56.245647+00:00"},{"alias_kind":"pith_short_8","alias_value":"Y5H34LRD","created_at":"2026-05-18T12:25:56.245647+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/Y5H34LRDMO5V2RATE4P2ZGLDPN","json":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN.json","graph_json":"https://pith.science/api/pith-number/Y5H34LRDMO5V2RATE4P2ZGLDPN/graph.json","events_json":"https://pith.science/api/pith-number/Y5H34LRDMO5V2RATE4P2ZGLDPN/events.json","paper":"https://pith.science/paper/Y5H34LRD"},"agent_actions":{"view_html":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN","download_json":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN.json","view_paper":"https://pith.science/paper/Y5H34LRD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0801.0249&json=true","fetch_graph":"https://pith.science/api/pith-number/Y5H34LRDMO5V2RATE4P2ZGLDPN/graph.json","fetch_events":"https://pith.science/api/pith-number/Y5H34LRDMO5V2RATE4P2ZGLDPN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN/action/storage_attestation","attest_author":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN/action/author_attestation","sign_citation":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN/action/citation_signature","submit_replication":"https://pith.science/pith/Y5H34LRDMO5V2RATE4P2ZGLDPN/action/replication_record"}},"created_at":"2026-05-18T04:09:04.182002+00:00","updated_at":"2026-05-18T04:09:04.182002+00:00"}