{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:N6HTZYV6QTQYDIYBLI6F32244I","short_pith_number":"pith:N6HTZYV6","canonical_record":{"source":{"id":"1506.04945","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-16T12:40:30Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"57a4c2ffde7de6de1a8b714ed3e4b23dc43144d9312f6454a4577f5759011e19","abstract_canon_sha256":"506f3b46679039299f7e86ccadade883a64486cd4877bf00053c54a60cd01309"},"schema_version":"1.0"},"canonical_sha256":"6f8f3ce2be84e181a3015a3c5deb5ce2333d1a22ac64110385c6d4a762645dc2","source":{"kind":"arxiv","id":"1506.04945","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.04945","created_at":"2026-05-18T01:48:05Z"},{"alias_kind":"arxiv_version","alias_value":"1506.04945v1","created_at":"2026-05-18T01:48:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.04945","created_at":"2026-05-18T01:48:05Z"},{"alias_kind":"pith_short_12","alias_value":"N6HTZYV6QTQY","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"N6HTZYV6QTQYDIYB","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"N6HTZYV6","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:N6HTZYV6QTQYDIYBLI6F32244I","target":"record","payload":{"canonical_record":{"source":{"id":"1506.04945","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-16T12:40:30Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"57a4c2ffde7de6de1a8b714ed3e4b23dc43144d9312f6454a4577f5759011e19","abstract_canon_sha256":"506f3b46679039299f7e86ccadade883a64486cd4877bf00053c54a60cd01309"},"schema_version":"1.0"},"canonical_sha256":"6f8f3ce2be84e181a3015a3c5deb5ce2333d1a22ac64110385c6d4a762645dc2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:48:05.421539Z","signature_b64":"EYE3tAIDGPiJyvvGcW4vbss40krh+C/lMjMPP0wVHufDMOvA/Ih9ZJ4pwPtigosqLpes9vlTwlOrHkIgqYlNDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f8f3ce2be84e181a3015a3c5deb5ce2333d1a22ac64110385c6d4a762645dc2","last_reissued_at":"2026-05-18T01:48:05.421083Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:48:05.421083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.04945","source_version":1,"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:48:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5+NDK1CAwSDr8rQzOH3G3pfe1vmgkyFSncPRtZaj7UFYJftwVlWhSwTnDMMm2EnWnT2UMOD6ao26KkJ03B7ZCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T22:27:52.259232Z"},"content_sha256":"4ab3dd3bdcefcaad8f7cbb8c3b2c913661e7cce98f8311b88d075442eb4ba98c","schema_version":"1.0","event_id":"sha256:4ab3dd3bdcefcaad8f7cbb8c3b2c913661e7cce98f8311b88d075442eb4ba98c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:N6HTZYV6QTQYDIYBLI6F32244I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PL"],"primary_cat":"cs.AI","authors_text":"Carl Schultz, Mehul Bhatt","submitted_at":"2015-06-16T12:40:30Z","abstract_excerpt":"Declarative spatial reasoning denotes the ability to (declaratively) specify and solve real-world problems related to geometric and qualitative spatial representation and reasoning within standard knowledge representation and reasoning (KR) based methods (e.g., logic programming and derivatives). One approach for encoding the semantics of spatial relations within a declarative programming framework is by systems of polynomial constraints. However, solving such constraints is computationally intractable in general (i.e. the theory of real-closed fields).\n  We present a new algorithm, implemente"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.04945","kind":"arxiv","version":1},"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:48:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gXeDh1mPRyKW4AEE4yrVdYBU13rTXfYk2Ck/7m0BgaMzPEpNG3iDhP2nNq0KCYhjC9mxc640CA7RtLV437DeAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T22:27:52.259906Z"},"content_sha256":"652bf7b8cb40294884e872b92bc293b92c50921d59c3c4e9e168cc253eb6d167","schema_version":"1.0","event_id":"sha256:652bf7b8cb40294884e872b92bc293b92c50921d59c3c4e9e168cc253eb6d167"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N6HTZYV6QTQYDIYBLI6F32244I/bundle.json","state_url":"https://pith.science/pith/N6HTZYV6QTQYDIYBLI6F32244I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N6HTZYV6QTQYDIYBLI6F32244I/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-22T22:27:52Z","links":{"resolver":"https://pith.science/pith/N6HTZYV6QTQYDIYBLI6F32244I","bundle":"https://pith.science/pith/N6HTZYV6QTQYDIYBLI6F32244I/bundle.json","state":"https://pith.science/pith/N6HTZYV6QTQYDIYBLI6F32244I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N6HTZYV6QTQYDIYBLI6F32244I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:N6HTZYV6QTQYDIYBLI6F32244I","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":"506f3b46679039299f7e86ccadade883a64486cd4877bf00053c54a60cd01309","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-16T12:40:30Z","title_canon_sha256":"57a4c2ffde7de6de1a8b714ed3e4b23dc43144d9312f6454a4577f5759011e19"},"schema_version":"1.0","source":{"id":"1506.04945","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.04945","created_at":"2026-05-18T01:48:05Z"},{"alias_kind":"arxiv_version","alias_value":"1506.04945v1","created_at":"2026-05-18T01:48:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.04945","created_at":"2026-05-18T01:48:05Z"},{"alias_kind":"pith_short_12","alias_value":"N6HTZYV6QTQY","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"N6HTZYV6QTQYDIYB","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"N6HTZYV6","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:652bf7b8cb40294884e872b92bc293b92c50921d59c3c4e9e168cc253eb6d167","target":"graph","created_at":"2026-05-18T01:48:05Z","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":"Declarative spatial reasoning denotes the ability to (declaratively) specify and solve real-world problems related to geometric and qualitative spatial representation and reasoning within standard knowledge representation and reasoning (KR) based methods (e.g., logic programming and derivatives). One approach for encoding the semantics of spatial relations within a declarative programming framework is by systems of polynomial constraints. However, solving such constraints is computationally intractable in general (i.e. the theory of real-closed fields).\n  We present a new algorithm, implemente","authors_text":"Carl Schultz, Mehul Bhatt","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-16T12:40:30Z","title":"Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.04945","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:4ab3dd3bdcefcaad8f7cbb8c3b2c913661e7cce98f8311b88d075442eb4ba98c","target":"record","created_at":"2026-05-18T01:48:05Z","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":"506f3b46679039299f7e86ccadade883a64486cd4877bf00053c54a60cd01309","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-16T12:40:30Z","title_canon_sha256":"57a4c2ffde7de6de1a8b714ed3e4b23dc43144d9312f6454a4577f5759011e19"},"schema_version":"1.0","source":{"id":"1506.04945","kind":"arxiv","version":1}},"canonical_sha256":"6f8f3ce2be84e181a3015a3c5deb5ce2333d1a22ac64110385c6d4a762645dc2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6f8f3ce2be84e181a3015a3c5deb5ce2333d1a22ac64110385c6d4a762645dc2","first_computed_at":"2026-05-18T01:48:05.421083Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:48:05.421083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EYE3tAIDGPiJyvvGcW4vbss40krh+C/lMjMPP0wVHufDMOvA/Ih9ZJ4pwPtigosqLpes9vlTwlOrHkIgqYlNDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:48:05.421539Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.04945","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4ab3dd3bdcefcaad8f7cbb8c3b2c913661e7cce98f8311b88d075442eb4ba98c","sha256:652bf7b8cb40294884e872b92bc293b92c50921d59c3c4e9e168cc253eb6d167"],"state_sha256":"0d5a69705b740a1d5799af1caeef7f31f2490d0a5a977d09f131f141c58cbdaf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YE/pj4hkJAe36OS6otG6T6Uh5YzhtXR2hU55nmrRGWulzyON2Qitnr2Ws/oLHfjyccIfnDb9f/PgSZtU1YnEBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T22:27:52.263409Z","bundle_sha256":"e231a1d86503d484de6466473fa6aeff4b7bb5cf8a99f4800fd94d8f7424df60"}}