{"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"}