{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:7QVKUKPRN423VNQSEKHDIMDHLA","short_pith_number":"pith:7QVKUKPR","schema_version":"1.0","canonical_sha256":"fc2aaa29f16f35bab612228e3430675822c5080c14ecea9dbe6e3c15321af79e","source":{"kind":"arxiv","id":"1010.0163","version":1},"attestation_state":"computed","paper":{"title":"A Game for the Resolution of Singularities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.AG","authors_text":"Herwig Hauser, Josef Schicho","submitted_at":"2010-10-01T13:42:16Z","abstract_excerpt":"We propose a combinatorial game on finite graphs, called Salmagundy, that is played by two protagonists, Dido and Mephisto. The game captures the logical structure of a proof of the resolution of singularities. In each round, the graph of the game is modified by the moves of the players. When it assumes a final configuration, Dido has won. Otherwise, the game goes on forever, and nobody wins. In particular, Mephisto cannot win himself, he can only prevent Dido from winning.\n  We show that Dido always possesses a winning strategy, regardless of the initial shape of the graph and of the moves 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":"1010.0163","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2010-10-01T13:42:16Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"5b4c89d1a8e70042fea24c5fbb4bf7798ce1dc9d4a33af33dc6ec83d79340552","abstract_canon_sha256":"2fafc824384c695e142c83c829e76aafdbabafbb904a17a35545c91d128fe31f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:58:01.689310Z","signature_b64":"52UugOaozFrO2h829eYpDQrQ84ikSzf3g0rA44K5Q2NKNMnpn4S9JN6yv+oyutP4HLylqNMtA3xg0MvwfD0rAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc2aaa29f16f35bab612228e3430675822c5080c14ecea9dbe6e3c15321af79e","last_reissued_at":"2026-05-18T02:58:01.688660Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:58:01.688660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Game for the Resolution of Singularities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.AG","authors_text":"Herwig Hauser, Josef Schicho","submitted_at":"2010-10-01T13:42:16Z","abstract_excerpt":"We propose a combinatorial game on finite graphs, called Salmagundy, that is played by two protagonists, Dido and Mephisto. The game captures the logical structure of a proof of the resolution of singularities. In each round, the graph of the game is modified by the moves of the players. When it assumes a final configuration, Dido has won. Otherwise, the game goes on forever, and nobody wins. In particular, Mephisto cannot win himself, he can only prevent Dido from winning.\n  We show that Dido always possesses a winning strategy, regardless of the initial shape of the graph and of the moves of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.0163","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":"1010.0163","created_at":"2026-05-18T02:58:01.688763+00:00"},{"alias_kind":"arxiv_version","alias_value":"1010.0163v1","created_at":"2026-05-18T02:58:01.688763+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.0163","created_at":"2026-05-18T02:58:01.688763+00:00"},{"alias_kind":"pith_short_12","alias_value":"7QVKUKPRN423","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_16","alias_value":"7QVKUKPRN423VNQS","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_8","alias_value":"7QVKUKPR","created_at":"2026-05-18T12:26:05.355336+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/7QVKUKPRN423VNQSEKHDIMDHLA","json":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA.json","graph_json":"https://pith.science/api/pith-number/7QVKUKPRN423VNQSEKHDIMDHLA/graph.json","events_json":"https://pith.science/api/pith-number/7QVKUKPRN423VNQSEKHDIMDHLA/events.json","paper":"https://pith.science/paper/7QVKUKPR"},"agent_actions":{"view_html":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA","download_json":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA.json","view_paper":"https://pith.science/paper/7QVKUKPR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1010.0163&json=true","fetch_graph":"https://pith.science/api/pith-number/7QVKUKPRN423VNQSEKHDIMDHLA/graph.json","fetch_events":"https://pith.science/api/pith-number/7QVKUKPRN423VNQSEKHDIMDHLA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA/action/storage_attestation","attest_author":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA/action/author_attestation","sign_citation":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA/action/citation_signature","submit_replication":"https://pith.science/pith/7QVKUKPRN423VNQSEKHDIMDHLA/action/replication_record"}},"created_at":"2026-05-18T02:58:01.688763+00:00","updated_at":"2026-05-18T02:58:01.688763+00:00"}