{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:4QGIOLZQ3CJQ75TBIWB5IM2WGH","short_pith_number":"pith:4QGIOLZQ","schema_version":"1.0","canonical_sha256":"e40c872f30d8930ff6614583d4335631efec2c450c1aa61c0c5ce7b2ac6d2ff3","source":{"kind":"arxiv","id":"1003.3047","version":2},"attestation_state":"computed","paper":{"title":"On the Relative Strength of Pebbling and Resolution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.CO"],"primary_cat":"cs.CC","authors_text":"Jakob Nordstr\\\"om","submitted_at":"2010-03-15T23:16:02Z","abstract_excerpt":"The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula and then argue that proofs of this formula must inherit (various aspects of) the pebbling properties of the underlying graph. Unfortunately, the reductions used here are not tight. To simulate resolution proo"},"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":"1003.3047","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-03-15T23:16:02Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"53a57199d2d0c7db7785d9ec398e6ad20555debe52751d4304c99f46e88aa4e5","abstract_canon_sha256":"584cd94c866087b6290ac09a67f82442313f872cf10690de4f00853a167cd9d6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:24:37.043036Z","signature_b64":"Aah8cGz/jU7Ot3rOGywxlrbcaB5rkACzraDWxT/CoU+ufvSQSYQ1541bOPNDP/z/opqHdwUHc3L13DE2+3mkBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e40c872f30d8930ff6614583d4335631efec2c450c1aa61c0c5ce7b2ac6d2ff3","last_reissued_at":"2026-05-18T02:24:37.042404Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:24:37.042404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Relative Strength of Pebbling and Resolution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.CO"],"primary_cat":"cs.CC","authors_text":"Jakob Nordstr\\\"om","submitted_at":"2010-03-15T23:16:02Z","abstract_excerpt":"The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula and then argue that proofs of this formula must inherit (various aspects of) the pebbling properties of the underlying graph. Unfortunately, the reductions used here are not tight. To simulate resolution proo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.3047","kind":"arxiv","version":2},"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":"1003.3047","created_at":"2026-05-18T02:24:37.042506+00:00"},{"alias_kind":"arxiv_version","alias_value":"1003.3047v2","created_at":"2026-05-18T02:24:37.042506+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.3047","created_at":"2026-05-18T02:24:37.042506+00:00"},{"alias_kind":"pith_short_12","alias_value":"4QGIOLZQ3CJQ","created_at":"2026-05-18T12:26:04.259169+00:00"},{"alias_kind":"pith_short_16","alias_value":"4QGIOLZQ3CJQ75TB","created_at":"2026-05-18T12:26:04.259169+00:00"},{"alias_kind":"pith_short_8","alias_value":"4QGIOLZQ","created_at":"2026-05-18T12:26:04.259169+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/4QGIOLZQ3CJQ75TBIWB5IM2WGH","json":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH.json","graph_json":"https://pith.science/api/pith-number/4QGIOLZQ3CJQ75TBIWB5IM2WGH/graph.json","events_json":"https://pith.science/api/pith-number/4QGIOLZQ3CJQ75TBIWB5IM2WGH/events.json","paper":"https://pith.science/paper/4QGIOLZQ"},"agent_actions":{"view_html":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH","download_json":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH.json","view_paper":"https://pith.science/paper/4QGIOLZQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1003.3047&json=true","fetch_graph":"https://pith.science/api/pith-number/4QGIOLZQ3CJQ75TBIWB5IM2WGH/graph.json","fetch_events":"https://pith.science/api/pith-number/4QGIOLZQ3CJQ75TBIWB5IM2WGH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/action/storage_attestation","attest_author":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/action/author_attestation","sign_citation":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/action/citation_signature","submit_replication":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/action/replication_record"}},"created_at":"2026-05-18T02:24:37.042506+00:00","updated_at":"2026-05-18T02:24:37.042506+00:00"}