{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:RYSJGFIDOBVBZ4ULSAMM3YWBE6","short_pith_number":"pith:RYSJGFID","canonical_record":{"source":{"id":"1603.02478","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-08T11:12:30Z","cross_cats_sorted":[],"title_canon_sha256":"9dcb3658cf42de323383abd98df09ed67162e2c7588ccc735e64af757245da30","abstract_canon_sha256":"58a3e24bbede15b3c801b7c3354d3104c0531c81fb99763bb92e212fd2e0e3f3"},"schema_version":"1.0"},"canonical_sha256":"8e24931503706a1cf28b9018cde2c127869eff0198c293e8ef277fb13b116c14","source":{"kind":"arxiv","id":"1603.02478","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.02478","created_at":"2026-05-18T01:09:29Z"},{"alias_kind":"arxiv_version","alias_value":"1603.02478v2","created_at":"2026-05-18T01:09:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02478","created_at":"2026-05-18T01:09:29Z"},{"alias_kind":"pith_short_12","alias_value":"RYSJGFIDOBVB","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RYSJGFIDOBVBZ4UL","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RYSJGFID","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:RYSJGFIDOBVBZ4ULSAMM3YWBE6","target":"record","payload":{"canonical_record":{"source":{"id":"1603.02478","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-08T11:12:30Z","cross_cats_sorted":[],"title_canon_sha256":"9dcb3658cf42de323383abd98df09ed67162e2c7588ccc735e64af757245da30","abstract_canon_sha256":"58a3e24bbede15b3c801b7c3354d3104c0531c81fb99763bb92e212fd2e0e3f3"},"schema_version":"1.0"},"canonical_sha256":"8e24931503706a1cf28b9018cde2c127869eff0198c293e8ef277fb13b116c14","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:29.535469Z","signature_b64":"bdKqVXSzHge7W+QBNMh/n5q10Jw+QjTGee0g7nkHw/7LF+aAfr4+jZhcI8MU0n8tGWPFLdogHzm7seenp7P9Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8e24931503706a1cf28b9018cde2c127869eff0198c293e8ef277fb13b116c14","last_reissued_at":"2026-05-18T01:09:29.535038Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:29.535038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.02478","source_version":2,"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:09:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bm6ZIzURik3ySG0+HKZ4t7F5hEfX+VVZfzVKvMWKF0REGP0bTwIjByhlZyb2Vf5/vC6gXRugqTAnkHWs9gehDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:21:27.408181Z"},"content_sha256":"76fcc509e81f93577434fe5f0cacdfe00a2653fb6dea715a94104ca48ccb94c8","schema_version":"1.0","event_id":"sha256:76fcc509e81f93577434fe5f0cacdfe00a2653fb6dea715a94104ca48ccb94c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:RYSJGFIDOBVBZ4ULSAMM3YWBE6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Introduction to Mechanized Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph Lange, Colin Rowat, Manfred Kerber","submitted_at":"2016-03-08T11:12:30Z","abstract_excerpt":"Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but -- to date -- this work has not yet been properly presented in economics journals. We introduce mechanized reasoning to economists in three ways. First, we introduce mechanized reasoning in general, describing both the techniques and their successful applications. Second, we explain how mechanized reasoning has been applied to economic problems, concentrating on the two domains that have attracted the most attention: social choic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02478","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"},"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:09:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hAoBH0yozffoOwJDB0oYwp0vkZs6xtYb8NDFA7aUZKBcozLqumBTz3geSqk+beWp1tPcR+cw+W22d/Kb7m90Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:21:27.408851Z"},"content_sha256":"027b36c2df4c2fbc47e02ee4fd14509b97ef02d56a4a6c453ef2ead8d0dcc91b","schema_version":"1.0","event_id":"sha256:027b36c2df4c2fbc47e02ee4fd14509b97ef02d56a4a6c453ef2ead8d0dcc91b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RYSJGFIDOBVBZ4ULSAMM3YWBE6/bundle.json","state_url":"https://pith.science/pith/RYSJGFIDOBVBZ4ULSAMM3YWBE6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RYSJGFIDOBVBZ4ULSAMM3YWBE6/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-25T15:21:27Z","links":{"resolver":"https://pith.science/pith/RYSJGFIDOBVBZ4ULSAMM3YWBE6","bundle":"https://pith.science/pith/RYSJGFIDOBVBZ4ULSAMM3YWBE6/bundle.json","state":"https://pith.science/pith/RYSJGFIDOBVBZ4ULSAMM3YWBE6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RYSJGFIDOBVBZ4ULSAMM3YWBE6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RYSJGFIDOBVBZ4ULSAMM3YWBE6","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":"58a3e24bbede15b3c801b7c3354d3104c0531c81fb99763bb92e212fd2e0e3f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-08T11:12:30Z","title_canon_sha256":"9dcb3658cf42de323383abd98df09ed67162e2c7588ccc735e64af757245da30"},"schema_version":"1.0","source":{"id":"1603.02478","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.02478","created_at":"2026-05-18T01:09:29Z"},{"alias_kind":"arxiv_version","alias_value":"1603.02478v2","created_at":"2026-05-18T01:09:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02478","created_at":"2026-05-18T01:09:29Z"},{"alias_kind":"pith_short_12","alias_value":"RYSJGFIDOBVB","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RYSJGFIDOBVBZ4UL","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RYSJGFID","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:027b36c2df4c2fbc47e02ee4fd14509b97ef02d56a4a6c453ef2ead8d0dcc91b","target":"graph","created_at":"2026-05-18T01:09:29Z","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":"Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but -- to date -- this work has not yet been properly presented in economics journals. We introduce mechanized reasoning to economists in three ways. First, we introduce mechanized reasoning in general, describing both the techniques and their successful applications. Second, we explain how mechanized reasoning has been applied to economic problems, concentrating on the two domains that have attracted the most attention: social choic","authors_text":"Christoph Lange, Colin Rowat, Manfred Kerber","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-08T11:12:30Z","title":"An Introduction to Mechanized Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02478","kind":"arxiv","version":2},"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:76fcc509e81f93577434fe5f0cacdfe00a2653fb6dea715a94104ca48ccb94c8","target":"record","created_at":"2026-05-18T01:09:29Z","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":"58a3e24bbede15b3c801b7c3354d3104c0531c81fb99763bb92e212fd2e0e3f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-08T11:12:30Z","title_canon_sha256":"9dcb3658cf42de323383abd98df09ed67162e2c7588ccc735e64af757245da30"},"schema_version":"1.0","source":{"id":"1603.02478","kind":"arxiv","version":2}},"canonical_sha256":"8e24931503706a1cf28b9018cde2c127869eff0198c293e8ef277fb13b116c14","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8e24931503706a1cf28b9018cde2c127869eff0198c293e8ef277fb13b116c14","first_computed_at":"2026-05-18T01:09:29.535038Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:29.535038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bdKqVXSzHge7W+QBNMh/n5q10Jw+QjTGee0g7nkHw/7LF+aAfr4+jZhcI8MU0n8tGWPFLdogHzm7seenp7P9Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:29.535469Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.02478","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:76fcc509e81f93577434fe5f0cacdfe00a2653fb6dea715a94104ca48ccb94c8","sha256:027b36c2df4c2fbc47e02ee4fd14509b97ef02d56a4a6c453ef2ead8d0dcc91b"],"state_sha256":"fe67b7787ad7946e05702b88890bed6cfbc8519f35e864838b4eb67961c1defb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dqa3B42tXyZJ/oQBO0+LMEyVX2sOEN/obBIhPwUSNCPN6DWbvAvT06DNPlflp6KzbgDvNnSi5YoIubuKNvnkCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T15:21:27.412708Z","bundle_sha256":"c2d051f3e46d6c219c2c2637555b84fbf828a84f2966b795bec81479912b20d9"}}