{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:KUHAKAEWYL422CYIO76PY47TTM","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":"fa5691063596819c33990f62b2507900323683ebf11918948597d99644959425","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-05-27T01:47:48Z","title_canon_sha256":"5acaf2dd4e8b39dea50740db5f345b94a07dc5197bb89c55989e2763fb6698fa"},"schema_version":"1.0","source":{"id":"1105.5448","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.5448","created_at":"2026-05-18T04:21:11Z"},{"alias_kind":"arxiv_version","alias_value":"1105.5448v1","created_at":"2026-05-18T04:21:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.5448","created_at":"2026-05-18T04:21:11Z"},{"alias_kind":"pith_short_12","alias_value":"KUHAKAEWYL42","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"KUHAKAEWYL422CYI","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"KUHAKAEW","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:f9991349c52ecac93f5071d41f6ed697fae2c8699d0ad6f23c5a8e5932d1faf7","target":"graph","created_at":"2026-05-18T04:21:11Z","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":"Order of magnitude reasoning - reasoning by rough    comparisons of the sizes of quantities - is often called 'back of    the envelope calculation', with the implication that the calculations    are quick though approximate.  This paper exhibits an interesting    class of constraint sets in which order of magnitude reasoning is    demonstrably fast.  Specifically, we present a polynomial-time    algorithm that can solve a set of constraints of the form 'Points a    and b are much closer together than points c and d.'  We prove that    this algorithm can be applied if `much closer together' is ","authors_text":"E. Davis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-05-27T01:47:48Z","title":"Order of Magnitude Comparisons of Distance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.5448","kind":"arxiv","version":1},"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:45bcf31af1d28cadeb07817dd7d1f897f94bb9a13af189a961c87729c834bd24","target":"record","created_at":"2026-05-18T04:21:11Z","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":"fa5691063596819c33990f62b2507900323683ebf11918948597d99644959425","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-05-27T01:47:48Z","title_canon_sha256":"5acaf2dd4e8b39dea50740db5f345b94a07dc5197bb89c55989e2763fb6698fa"},"schema_version":"1.0","source":{"id":"1105.5448","kind":"arxiv","version":1}},"canonical_sha256":"550e050096c2f9ad0b0877fcfc73f39b09347e961af90e410f8496c0cc6be268","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"550e050096c2f9ad0b0877fcfc73f39b09347e961af90e410f8496c0cc6be268","first_computed_at":"2026-05-18T04:21:11.763038Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:21:11.763038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+qGIbIFR0j6uNj8jLslIAb8YO58+6BOCih3owJ8xqyPMyCslimXXNiywIKrE0LjkcjwFjmVREMIX/nDOuVkgAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:21:11.763666Z","signed_message":"canonical_sha256_bytes"},"source_id":"1105.5448","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45bcf31af1d28cadeb07817dd7d1f897f94bb9a13af189a961c87729c834bd24","sha256:f9991349c52ecac93f5071d41f6ed697fae2c8699d0ad6f23c5a8e5932d1faf7"],"state_sha256":"ff145c2a7e6afade97a9a4a184fc98ebc545a264b88b759d69a355c73507135d"}