{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:2DCUNS7KE3JPL53WR4SCRHDEJ4","short_pith_number":"pith:2DCUNS7K","schema_version":"1.0","canonical_sha256":"d0c546cbea26d2f5f7768f24289c644f368c2b0aae3518af23867227937457ba","source":{"kind":"arxiv","id":"1705.07228","version":1},"attestation_state":"computed","paper":{"title":"A Verified Algorithm Enumerating Event Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Juliana Bowles, Marco B. Caminati","submitted_at":"2017-05-20T00:17:07Z","abstract_excerpt":"An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups, topological spaces, rings, abound with algorithms and formulas to generate, enumerate and count particular sets of their members, no algorithm or formulas are known to generate or count all the possible event structures over a finite set of events. We present an algorithm to generate such a family, along with a functional implementation verified using Isabelle/HOL. As byproducts, we obtain a verified enumeration of"},"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":"1705.07228","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-20T00:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"9606a9dd10a7b6594780fa02ecee708bd0e412eb48aaabd522c6d53732bed511","abstract_canon_sha256":"ad8a70f324d54f6be080ddf6d6628a5c716816761adde24415c395fc4dc56c63"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:06.272478Z","signature_b64":"ZIwGcMqISOw8Wf/QFGTNomYLruJRJUbb+0WXABAfzYhERFvtIuY8IMkOQV3ZBMqM9Rm7KsPdGzb6SEQIxHQDBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0c546cbea26d2f5f7768f24289c644f368c2b0aae3518af23867227937457ba","last_reissued_at":"2026-05-18T00:44:06.271968Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:06.271968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Verified Algorithm Enumerating Event Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Juliana Bowles, Marco B. Caminati","submitted_at":"2017-05-20T00:17:07Z","abstract_excerpt":"An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups, topological spaces, rings, abound with algorithms and formulas to generate, enumerate and count particular sets of their members, no algorithm or formulas are known to generate or count all the possible event structures over a finite set of events. We present an algorithm to generate such a family, along with a functional implementation verified using Isabelle/HOL. As byproducts, we obtain a verified enumeration of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.07228","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":"1705.07228","created_at":"2026-05-18T00:44:06.272044+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.07228v1","created_at":"2026-05-18T00:44:06.272044+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.07228","created_at":"2026-05-18T00:44:06.272044+00:00"},{"alias_kind":"pith_short_12","alias_value":"2DCUNS7KE3JP","created_at":"2026-05-18T12:30:55.937587+00:00"},{"alias_kind":"pith_short_16","alias_value":"2DCUNS7KE3JPL53W","created_at":"2026-05-18T12:30:55.937587+00:00"},{"alias_kind":"pith_short_8","alias_value":"2DCUNS7K","created_at":"2026-05-18T12:30:55.937587+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/2DCUNS7KE3JPL53WR4SCRHDEJ4","json":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4.json","graph_json":"https://pith.science/api/pith-number/2DCUNS7KE3JPL53WR4SCRHDEJ4/graph.json","events_json":"https://pith.science/api/pith-number/2DCUNS7KE3JPL53WR4SCRHDEJ4/events.json","paper":"https://pith.science/paper/2DCUNS7K"},"agent_actions":{"view_html":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4","download_json":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4.json","view_paper":"https://pith.science/paper/2DCUNS7K","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.07228&json=true","fetch_graph":"https://pith.science/api/pith-number/2DCUNS7KE3JPL53WR4SCRHDEJ4/graph.json","fetch_events":"https://pith.science/api/pith-number/2DCUNS7KE3JPL53WR4SCRHDEJ4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4/action/storage_attestation","attest_author":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4/action/author_attestation","sign_citation":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4/action/citation_signature","submit_replication":"https://pith.science/pith/2DCUNS7KE3JPL53WR4SCRHDEJ4/action/replication_record"}},"created_at":"2026-05-18T00:44:06.272044+00:00","updated_at":"2026-05-18T00:44:06.272044+00:00"}