{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:NDZEDM5KW7DSXOLNZ54RBUYHF3","short_pith_number":"pith:NDZEDM5K","canonical_record":{"source":{"id":"1107.0025","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:38Z","cross_cats_sorted":[],"title_canon_sha256":"820532bc827def7983804392d70447436a54761cf18d6f4ab6b0b4573758e4c9","abstract_canon_sha256":"7956f4dd01abae3f2cfc5f58efda6fbd592ef099793b16bd4eddc94131355da1"},"schema_version":"1.0"},"canonical_sha256":"68f241b3aab7c72bb96dcf7910d3072ed38481aa545f3152d1497d107c0ca9a1","source":{"kind":"arxiv","id":"1107.0025","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0025","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0025v1","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0025","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"pith_short_12","alias_value":"NDZEDM5KW7DS","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"NDZEDM5KW7DSXOLN","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"NDZEDM5K","created_at":"2026-05-18T12:26:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:NDZEDM5KW7DSXOLNZ54RBUYHF3","target":"record","payload":{"canonical_record":{"source":{"id":"1107.0025","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:38Z","cross_cats_sorted":[],"title_canon_sha256":"820532bc827def7983804392d70447436a54761cf18d6f4ab6b0b4573758e4c9","abstract_canon_sha256":"7956f4dd01abae3f2cfc5f58efda6fbd592ef099793b16bd4eddc94131355da1"},"schema_version":"1.0"},"canonical_sha256":"68f241b3aab7c72bb96dcf7910d3072ed38481aa545f3152d1497d107c0ca9a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:19:02.965344Z","signature_b64":"JNB2tdikn3kJbGRbvMlikkAH5EMlqTifoR5AKH/ADAg5+VfzxF9x7xmB5BTwAEToOxPB0bFoOghh375DYdYuBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68f241b3aab7c72bb96dcf7910d3072ed38481aa545f3152d1497d107c0ca9a1","last_reissued_at":"2026-05-18T04:19:02.964794Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:19:02.964794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.0025","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-18T04:19:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JUpTPI++HTwu5KebSjpO0n2wUfC8facDJBLjrGZCOPFCW8GERinnDOkbFGuMktUB6ZyH9aY+mC/NkeHhNredCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:03:54.152841Z"},"content_sha256":"e1a6ca050d3790313bb071dbdd506aa3c42971596558c2a2d039730f000df500","schema_version":"1.0","event_id":"sha256:e1a6ca050d3790313bb071dbdd506aa3c42971596558c2a2d039730f000df500"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:NDZEDM5KW7DSXOLNZ54RBUYHF3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Taming Numbers and Durations in the Model Checking Integrated Planning System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"S. Edelkamp","submitted_at":"2011-06-30T20:33:38Z","abstract_excerpt":"The Model Checking Integrated Planning System (MIPS) is a temporal least commitment heuristic search planner based on a flexible object-oriented workbench architecture. Its design clearly separates explicit and symbolic directed exploration algorithms from the set of on-line and off-line computed estimates and associated data structures.   MIPS has shown distinguished performance in the last two international planning competitions. In the last event the description language was extended from pure propositional planning to include numerical state variables, action durations, and plan quality ob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0025","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-18T04:19:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ii3Gej+nSMNqEp0RT2/SW3MfE/2YtgH3uUFID2C0B88R2Tip+bRLGCU6dOXRncy5MmJmlRjRUUxBYVGSGFGqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:03:54.153392Z"},"content_sha256":"13fbbc1ce7a3d14c67b2b37f99040e4145bc70ef8c677e52daa095fe8b595c53","schema_version":"1.0","event_id":"sha256:13fbbc1ce7a3d14c67b2b37f99040e4145bc70ef8c677e52daa095fe8b595c53"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NDZEDM5KW7DSXOLNZ54RBUYHF3/bundle.json","state_url":"https://pith.science/pith/NDZEDM5KW7DSXOLNZ54RBUYHF3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NDZEDM5KW7DSXOLNZ54RBUYHF3/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-30T14:03:54Z","links":{"resolver":"https://pith.science/pith/NDZEDM5KW7DSXOLNZ54RBUYHF3","bundle":"https://pith.science/pith/NDZEDM5KW7DSXOLNZ54RBUYHF3/bundle.json","state":"https://pith.science/pith/NDZEDM5KW7DSXOLNZ54RBUYHF3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NDZEDM5KW7DSXOLNZ54RBUYHF3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:NDZEDM5KW7DSXOLNZ54RBUYHF3","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":"7956f4dd01abae3f2cfc5f58efda6fbd592ef099793b16bd4eddc94131355da1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:38Z","title_canon_sha256":"820532bc827def7983804392d70447436a54761cf18d6f4ab6b0b4573758e4c9"},"schema_version":"1.0","source":{"id":"1107.0025","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0025","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0025v1","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0025","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"pith_short_12","alias_value":"NDZEDM5KW7DS","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"NDZEDM5KW7DSXOLN","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"NDZEDM5K","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:13fbbc1ce7a3d14c67b2b37f99040e4145bc70ef8c677e52daa095fe8b595c53","target":"graph","created_at":"2026-05-18T04:19: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":"The Model Checking Integrated Planning System (MIPS) is a temporal least commitment heuristic search planner based on a flexible object-oriented workbench architecture. Its design clearly separates explicit and symbolic directed exploration algorithms from the set of on-line and off-line computed estimates and associated data structures.   MIPS has shown distinguished performance in the last two international planning competitions. In the last event the description language was extended from pure propositional planning to include numerical state variables, action durations, and plan quality ob","authors_text":"S. Edelkamp","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:38Z","title":"Taming Numbers and Durations in the Model Checking Integrated Planning System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0025","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:e1a6ca050d3790313bb071dbdd506aa3c42971596558c2a2d039730f000df500","target":"record","created_at":"2026-05-18T04:19: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":"7956f4dd01abae3f2cfc5f58efda6fbd592ef099793b16bd4eddc94131355da1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:38Z","title_canon_sha256":"820532bc827def7983804392d70447436a54761cf18d6f4ab6b0b4573758e4c9"},"schema_version":"1.0","source":{"id":"1107.0025","kind":"arxiv","version":1}},"canonical_sha256":"68f241b3aab7c72bb96dcf7910d3072ed38481aa545f3152d1497d107c0ca9a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"68f241b3aab7c72bb96dcf7910d3072ed38481aa545f3152d1497d107c0ca9a1","first_computed_at":"2026-05-18T04:19:02.964794Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:19:02.964794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JNB2tdikn3kJbGRbvMlikkAH5EMlqTifoR5AKH/ADAg5+VfzxF9x7xmB5BTwAEToOxPB0bFoOghh375DYdYuBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:19:02.965344Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.0025","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1a6ca050d3790313bb071dbdd506aa3c42971596558c2a2d039730f000df500","sha256:13fbbc1ce7a3d14c67b2b37f99040e4145bc70ef8c677e52daa095fe8b595c53"],"state_sha256":"b9fc82ffad2bc6c97867288d7e68f185de97b5e62de1d4fc0cb6f7f62ee85763"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2lHT7BSjo9wm/r07YajQYuyWAzpBOux8euVNDpIn7sn162bslKCvqArDAKOEMXAQYKKN8WF9GDTPGG6erGlECg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T14:03:54.156355Z","bundle_sha256":"c02800acd3fb66a0f4b77421fdcef85aade03d50335cbd97b706d5cf82d56218"}}