{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:RS5BOVNZN2Y4HQSGU3BVQA6GCX","short_pith_number":"pith:RS5BOVNZ","canonical_record":{"source":{"id":"1804.10037","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-04-26T13:05:16Z","cross_cats_sorted":[],"title_canon_sha256":"6fae153306809437cf69e6343712f59e50bb7f34ecd75bf350cd38b08636f625","abstract_canon_sha256":"7cdb757c8f9ab308bb23d2868df07660bce406feeccc95e32323cf4341c526f9"},"schema_version":"1.0"},"canonical_sha256":"8cba1755b96eb1c3c246a6c35803c615cbbc3456737c4c262fc4cd65252b415e","source":{"kind":"arxiv","id":"1804.10037","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10037","created_at":"2026-05-18T00:16:02Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10037v2","created_at":"2026-05-18T00:16:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10037","created_at":"2026-05-18T00:16:02Z"},{"alias_kind":"pith_short_12","alias_value":"RS5BOVNZN2Y4","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"RS5BOVNZN2Y4HQSG","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"RS5BOVNZ","created_at":"2026-05-18T12:32:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:RS5BOVNZN2Y4HQSGU3BVQA6GCX","target":"record","payload":{"canonical_record":{"source":{"id":"1804.10037","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-04-26T13:05:16Z","cross_cats_sorted":[],"title_canon_sha256":"6fae153306809437cf69e6343712f59e50bb7f34ecd75bf350cd38b08636f625","abstract_canon_sha256":"7cdb757c8f9ab308bb23d2868df07660bce406feeccc95e32323cf4341c526f9"},"schema_version":"1.0"},"canonical_sha256":"8cba1755b96eb1c3c246a6c35803c615cbbc3456737c4c262fc4cd65252b415e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:02.673825Z","signature_b64":"dNP6IEHV7mYfs8HPMssXyL1YOOTrguPWAZq0cZWHVCFJYIHziJ4vnpsk1Jp7BUDr5cHUPqQ+Qk8nUjMIBE6JCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8cba1755b96eb1c3c246a6c35803c615cbbc3456737c4c262fc4cd65252b415e","last_reissued_at":"2026-05-18T00:16:02.673419Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:02.673419Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.10037","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-18T00:16:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FjLLvxuUX2K/5cJnn2ld34v0DppnDtZ3WJ1yKQFhBP1tWC7JLsbLWW0D5s5ls7UIpwekB531ptJwPiXAQUczDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:03:55.778698Z"},"content_sha256":"7554ba2e32f7e4cb45067087fe4fa51f29f8d39295d48063ad1900d3a4eb3537","schema_version":"1.0","event_id":"sha256:7554ba2e32f7e4cb45067087fe4fa51f29f8d39295d48063ad1900d3a4eb3537"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:RS5BOVNZN2Y4HQSGU3BVQA6GCX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantifier Elimination for Reasoning in Economics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Casey B. Mulligan, James H. Davenport, Matthew England, Russell Bradford, Zak Tonks","submitted_at":"2018-04-26T13:05:16Z","abstract_excerpt":"We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating to the 1970s. There is a great body of work considering its application in science and engineering but we show here how it can also find application in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent, automatically; and describe the application of this in both economics education and research. We describe a bank of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10037","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-18T00:16:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CL2QLA2O8+qcjsQzYQtC5PM6VJCx8My4MrIHmMisxfNLryyYoonxEc5M13YQd2g2tkQ+UwmyHWaE+vBgxCs/BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:03:55.779049Z"},"content_sha256":"cb46e2008ec6af3ae6d756e6808cc74eb6bb5f144ac8bd35b882e4044058f263","schema_version":"1.0","event_id":"sha256:cb46e2008ec6af3ae6d756e6808cc74eb6bb5f144ac8bd35b882e4044058f263"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RS5BOVNZN2Y4HQSGU3BVQA6GCX/bundle.json","state_url":"https://pith.science/pith/RS5BOVNZN2Y4HQSGU3BVQA6GCX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RS5BOVNZN2Y4HQSGU3BVQA6GCX/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-06-02T03:03:55Z","links":{"resolver":"https://pith.science/pith/RS5BOVNZN2Y4HQSGU3BVQA6GCX","bundle":"https://pith.science/pith/RS5BOVNZN2Y4HQSGU3BVQA6GCX/bundle.json","state":"https://pith.science/pith/RS5BOVNZN2Y4HQSGU3BVQA6GCX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RS5BOVNZN2Y4HQSGU3BVQA6GCX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:RS5BOVNZN2Y4HQSGU3BVQA6GCX","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":"7cdb757c8f9ab308bb23d2868df07660bce406feeccc95e32323cf4341c526f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-04-26T13:05:16Z","title_canon_sha256":"6fae153306809437cf69e6343712f59e50bb7f34ecd75bf350cd38b08636f625"},"schema_version":"1.0","source":{"id":"1804.10037","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10037","created_at":"2026-05-18T00:16:02Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10037v2","created_at":"2026-05-18T00:16:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10037","created_at":"2026-05-18T00:16:02Z"},{"alias_kind":"pith_short_12","alias_value":"RS5BOVNZN2Y4","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"RS5BOVNZN2Y4HQSG","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"RS5BOVNZ","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:cb46e2008ec6af3ae6d756e6808cc74eb6bb5f144ac8bd35b882e4044058f263","target":"graph","created_at":"2026-05-18T00:16:02Z","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":"We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating to the 1970s. There is a great body of work considering its application in science and engineering but we show here how it can also find application in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent, automatically; and describe the application of this in both economics education and research. We describe a bank of ","authors_text":"Casey B. Mulligan, James H. Davenport, Matthew England, Russell Bradford, Zak Tonks","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-04-26T13:05:16Z","title":"Quantifier Elimination for Reasoning in Economics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10037","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:7554ba2e32f7e4cb45067087fe4fa51f29f8d39295d48063ad1900d3a4eb3537","target":"record","created_at":"2026-05-18T00:16:02Z","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":"7cdb757c8f9ab308bb23d2868df07660bce406feeccc95e32323cf4341c526f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-04-26T13:05:16Z","title_canon_sha256":"6fae153306809437cf69e6343712f59e50bb7f34ecd75bf350cd38b08636f625"},"schema_version":"1.0","source":{"id":"1804.10037","kind":"arxiv","version":2}},"canonical_sha256":"8cba1755b96eb1c3c246a6c35803c615cbbc3456737c4c262fc4cd65252b415e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8cba1755b96eb1c3c246a6c35803c615cbbc3456737c4c262fc4cd65252b415e","first_computed_at":"2026-05-18T00:16:02.673419Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:02.673419Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dNP6IEHV7mYfs8HPMssXyL1YOOTrguPWAZq0cZWHVCFJYIHziJ4vnpsk1Jp7BUDr5cHUPqQ+Qk8nUjMIBE6JCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:02.673825Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.10037","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7554ba2e32f7e4cb45067087fe4fa51f29f8d39295d48063ad1900d3a4eb3537","sha256:cb46e2008ec6af3ae6d756e6808cc74eb6bb5f144ac8bd35b882e4044058f263"],"state_sha256":"eb597687f579f524ebc6f457138998721182f050aa1d9eb0a256d157f28847c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+1uBZ/Z1T+DT+7FstJQkMQqNWRG80E36AqSmnxpgozubqP6K+qKvgeYBUyCSg55bP76gZGqCaNPTKus+tiFqBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T03:03:55.780948Z","bundle_sha256":"9bd0c901cded245b4a114fa43c1e5c594a63153bef16d50b39b752346662d579"}}