{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:E4M5QSKQTCZ5ASBSB2TI66BJI3","short_pith_number":"pith:E4M5QSKQ","canonical_record":{"source":{"id":"1507.01423","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-07-06T12:47:52Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"b7a19e28b9acde94385fddee460d6d5dd863ce93d8d27987aecbb97a02c9522a","abstract_canon_sha256":"15008352431891846fe2bb509231fe66373462529563f66c44da909cd61c613f"},"schema_version":"1.0"},"canonical_sha256":"2719d8495098b3d048320ea68f782946ea6f83379684ea8bcb438497f87b4ac0","source":{"kind":"arxiv","id":"1507.01423","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.01423","created_at":"2026-05-18T01:37:16Z"},{"alias_kind":"arxiv_version","alias_value":"1507.01423v1","created_at":"2026-05-18T01:37:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.01423","created_at":"2026-05-18T01:37:16Z"},{"alias_kind":"pith_short_12","alias_value":"E4M5QSKQTCZ5","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"E4M5QSKQTCZ5ASBS","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"E4M5QSKQ","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:E4M5QSKQTCZ5ASBSB2TI66BJI3","target":"record","payload":{"canonical_record":{"source":{"id":"1507.01423","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-07-06T12:47:52Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"b7a19e28b9acde94385fddee460d6d5dd863ce93d8d27987aecbb97a02c9522a","abstract_canon_sha256":"15008352431891846fe2bb509231fe66373462529563f66c44da909cd61c613f"},"schema_version":"1.0"},"canonical_sha256":"2719d8495098b3d048320ea68f782946ea6f83379684ea8bcb438497f87b4ac0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:16.981539Z","signature_b64":"QJBWct0VOFD+8pwPNZKU+uOA7YeI+6kf8Ptn8b6h18eFFjj6Q1WXKDRNBqzQCqHgEFBCMovsPcVWWPiNBiG4Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2719d8495098b3d048320ea68f782946ea6f83379684ea8bcb438497f87b4ac0","last_reissued_at":"2026-05-18T01:37:16.980922Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:16.980922Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.01423","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-18T01:37:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VYjeEKulOLNTBjGqs5Q7lKttOxlvDyri1kZAjqvfkHRoqm8D92bW0aCpn8QzXU6PBdQaLye1C3XpofsoM7wtDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:20:55.919501Z"},"content_sha256":"6104b33b9ab55bed9cbea8e227cf0fc965310d12a9978dd8c265656812cfa68b","schema_version":"1.0","event_id":"sha256:6104b33b9ab55bed9cbea8e227cf0fc965310d12a9978dd8c265656812cfa68b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:E4M5QSKQTCZ5ASBSB2TI66BJI3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstract Interpretation of Supermodular Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.GT","authors_text":"Francesco Ranzato","submitted_at":"2015-07-06T12:47:52Z","abstract_excerpt":"Supermodular games find significant applications in a variety of models, especially in operations research and economic applications of noncooperative game theory, and feature pure strategy Nash equilibria characterized as fixed points of multivalued functions on complete lattices. Pure strategy Nash equilibria of supermodular games are here approximated by resorting to the theory of abstract interpretation, a well established and known framework used for designing static analyses of programming languages. This is obtained by extending the theory of abstract interpretation in order to handle a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.01423","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-18T01:37:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wHVbtk3A4Rzc9bn0bFLfKrxzd0mWuNvcXhLfWtq5VJG8gH5+IRieyJrpyq5vyYxWi9banBMpDJBPlys5pXnbCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:20:55.919877Z"},"content_sha256":"3ceb87f91f9f52181a2030a282d0f3f5cc6d798cacb7694af7083c18d278b2df","schema_version":"1.0","event_id":"sha256:3ceb87f91f9f52181a2030a282d0f3f5cc6d798cacb7694af7083c18d278b2df"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E4M5QSKQTCZ5ASBSB2TI66BJI3/bundle.json","state_url":"https://pith.science/pith/E4M5QSKQTCZ5ASBSB2TI66BJI3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E4M5QSKQTCZ5ASBSB2TI66BJI3/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-26T21:20:55Z","links":{"resolver":"https://pith.science/pith/E4M5QSKQTCZ5ASBSB2TI66BJI3","bundle":"https://pith.science/pith/E4M5QSKQTCZ5ASBSB2TI66BJI3/bundle.json","state":"https://pith.science/pith/E4M5QSKQTCZ5ASBSB2TI66BJI3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E4M5QSKQTCZ5ASBSB2TI66BJI3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:E4M5QSKQTCZ5ASBSB2TI66BJI3","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":"15008352431891846fe2bb509231fe66373462529563f66c44da909cd61c613f","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-07-06T12:47:52Z","title_canon_sha256":"b7a19e28b9acde94385fddee460d6d5dd863ce93d8d27987aecbb97a02c9522a"},"schema_version":"1.0","source":{"id":"1507.01423","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.01423","created_at":"2026-05-18T01:37:16Z"},{"alias_kind":"arxiv_version","alias_value":"1507.01423v1","created_at":"2026-05-18T01:37:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.01423","created_at":"2026-05-18T01:37:16Z"},{"alias_kind":"pith_short_12","alias_value":"E4M5QSKQTCZ5","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"E4M5QSKQTCZ5ASBS","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"E4M5QSKQ","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:3ceb87f91f9f52181a2030a282d0f3f5cc6d798cacb7694af7083c18d278b2df","target":"graph","created_at":"2026-05-18T01:37: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":"Supermodular games find significant applications in a variety of models, especially in operations research and economic applications of noncooperative game theory, and feature pure strategy Nash equilibria characterized as fixed points of multivalued functions on complete lattices. Pure strategy Nash equilibria of supermodular games are here approximated by resorting to the theory of abstract interpretation, a well established and known framework used for designing static analyses of programming languages. This is obtained by extending the theory of abstract interpretation in order to handle a","authors_text":"Francesco Ranzato","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-07-06T12:47:52Z","title":"Abstract Interpretation of Supermodular Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.01423","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:6104b33b9ab55bed9cbea8e227cf0fc965310d12a9978dd8c265656812cfa68b","target":"record","created_at":"2026-05-18T01:37: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":"15008352431891846fe2bb509231fe66373462529563f66c44da909cd61c613f","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-07-06T12:47:52Z","title_canon_sha256":"b7a19e28b9acde94385fddee460d6d5dd863ce93d8d27987aecbb97a02c9522a"},"schema_version":"1.0","source":{"id":"1507.01423","kind":"arxiv","version":1}},"canonical_sha256":"2719d8495098b3d048320ea68f782946ea6f83379684ea8bcb438497f87b4ac0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2719d8495098b3d048320ea68f782946ea6f83379684ea8bcb438497f87b4ac0","first_computed_at":"2026-05-18T01:37:16.980922Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:16.980922Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QJBWct0VOFD+8pwPNZKU+uOA7YeI+6kf8Ptn8b6h18eFFjj6Q1WXKDRNBqzQCqHgEFBCMovsPcVWWPiNBiG4Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:16.981539Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.01423","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6104b33b9ab55bed9cbea8e227cf0fc965310d12a9978dd8c265656812cfa68b","sha256:3ceb87f91f9f52181a2030a282d0f3f5cc6d798cacb7694af7083c18d278b2df"],"state_sha256":"cd487826a98707e580fa28a09ef62821a19e1044016424f4eb42c9a6d212094b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g9CaVE6xb+x9uv//GA8ExuwqdnaxCvmlyc1PR9HWXdOwV530z0xij5Wc0W/kZrgkwN57LvVXClYHugOoCCP1BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T21:20:55.922692Z","bundle_sha256":"f74d794c10d718323cc0df772e5a9ef15cd3700d7d49a2710b96a78417e8fca3"}}