{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:APR45L4ETTBRKNILPF236DIYNW","short_pith_number":"pith:APR45L4E","canonical_record":{"source":{"id":"1501.05098","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-21T09:14:26Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"542ab0e1f14951e3cc406b0592f5892169444308de616000abb48a26ec1877ad","abstract_canon_sha256":"ddb0d90f221d0b56a541cc9bab32cb9383537c3979316d606c021241797f983b"},"schema_version":"1.0"},"canonical_sha256":"03e3ceaf849cc315350b7975bf0d186db906b529ef7214f9edad691feb4dcbd6","source":{"kind":"arxiv","id":"1501.05098","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.05098","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"arxiv_version","alias_value":"1501.05098v1","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.05098","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"pith_short_12","alias_value":"APR45L4ETTBR","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"APR45L4ETTBRKNIL","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"APR45L4E","created_at":"2026-05-18T12:29:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:APR45L4ETTBRKNILPF236DIYNW","target":"record","payload":{"canonical_record":{"source":{"id":"1501.05098","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-21T09:14:26Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"542ab0e1f14951e3cc406b0592f5892169444308de616000abb48a26ec1877ad","abstract_canon_sha256":"ddb0d90f221d0b56a541cc9bab32cb9383537c3979316d606c021241797f983b"},"schema_version":"1.0"},"canonical_sha256":"03e3ceaf849cc315350b7975bf0d186db906b529ef7214f9edad691feb4dcbd6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:30.862213Z","signature_b64":"MtZnewkTUyJuy0wk2yWYjoMKnORhh431NHcsTwsOBhaNTzZxaf0bZZweSdCT4f/GS9aSobuC45DxAziDKbbWBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"03e3ceaf849cc315350b7975bf0d186db906b529ef7214f9edad691feb4dcbd6","last_reissued_at":"2026-05-18T00:17:30.861563Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:30.861563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.05098","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-18T00:17:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eXS6NnuyTMWzAMqf60qKZ77HXzYzDO9+KKdE5TcbdfO2eYA40BBgvMmEgOh4WiN7BLjqFTM41jlA6pNuWYMwDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T09:46:03.294589Z"},"content_sha256":"d430e5e973aaefe935da9a650c387b8bdc5015f37ff2567b0c522b651367cb83","schema_version":"1.0","event_id":"sha256:d430e5e973aaefe935da9a650c387b8bdc5015f37ff2567b0c522b651367cb83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:APR45L4ETTBRKNILPF236DIYNW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Better Answers to Real Questions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SC","authors_text":"Andreas Dolzmann, Marek Kosta, Thomas Sturm","submitted_at":"2015-01-21T09:14:26Z","abstract_excerpt":"We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engineering. So far, the answers produced by these implementations included infinitesimal and infinite numbers, which are hard to interpret in practice. We introduce here a post-processing procedure to conver"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.05098","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-18T00:17:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yM5Kcx/7KybPh20/UhDlA4A+txzaWhM5il6d2+Mswe86ZPoeMzbq9J/gpjh0+90d/qslAGFEuPoCGQzCkv6sCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T09:46:03.294931Z"},"content_sha256":"a48d7529c8a3ddeac5bbd695d4c401790a211a70ae6c40d06dfed47822899114","schema_version":"1.0","event_id":"sha256:a48d7529c8a3ddeac5bbd695d4c401790a211a70ae6c40d06dfed47822899114"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/APR45L4ETTBRKNILPF236DIYNW/bundle.json","state_url":"https://pith.science/pith/APR45L4ETTBRKNILPF236DIYNW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/APR45L4ETTBRKNILPF236DIYNW/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-07-02T09:46:03Z","links":{"resolver":"https://pith.science/pith/APR45L4ETTBRKNILPF236DIYNW","bundle":"https://pith.science/pith/APR45L4ETTBRKNILPF236DIYNW/bundle.json","state":"https://pith.science/pith/APR45L4ETTBRKNILPF236DIYNW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/APR45L4ETTBRKNILPF236DIYNW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:APR45L4ETTBRKNILPF236DIYNW","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":"ddb0d90f221d0b56a541cc9bab32cb9383537c3979316d606c021241797f983b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-21T09:14:26Z","title_canon_sha256":"542ab0e1f14951e3cc406b0592f5892169444308de616000abb48a26ec1877ad"},"schema_version":"1.0","source":{"id":"1501.05098","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.05098","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"arxiv_version","alias_value":"1501.05098v1","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.05098","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"pith_short_12","alias_value":"APR45L4ETTBR","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"APR45L4ETTBRKNIL","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"APR45L4E","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:a48d7529c8a3ddeac5bbd695d4c401790a211a70ae6c40d06dfed47822899114","target":"graph","created_at":"2026-05-18T00:17:30Z","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 existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engineering. So far, the answers produced by these implementations included infinitesimal and infinite numbers, which are hard to interpret in practice. We introduce here a post-processing procedure to conver","authors_text":"Andreas Dolzmann, Marek Kosta, Thomas Sturm","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-21T09:14:26Z","title":"Better Answers to Real Questions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.05098","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:d430e5e973aaefe935da9a650c387b8bdc5015f37ff2567b0c522b651367cb83","target":"record","created_at":"2026-05-18T00:17:30Z","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":"ddb0d90f221d0b56a541cc9bab32cb9383537c3979316d606c021241797f983b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-21T09:14:26Z","title_canon_sha256":"542ab0e1f14951e3cc406b0592f5892169444308de616000abb48a26ec1877ad"},"schema_version":"1.0","source":{"id":"1501.05098","kind":"arxiv","version":1}},"canonical_sha256":"03e3ceaf849cc315350b7975bf0d186db906b529ef7214f9edad691feb4dcbd6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"03e3ceaf849cc315350b7975bf0d186db906b529ef7214f9edad691feb4dcbd6","first_computed_at":"2026-05-18T00:17:30.861563Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:30.861563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MtZnewkTUyJuy0wk2yWYjoMKnORhh431NHcsTwsOBhaNTzZxaf0bZZweSdCT4f/GS9aSobuC45DxAziDKbbWBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:30.862213Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.05098","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d430e5e973aaefe935da9a650c387b8bdc5015f37ff2567b0c522b651367cb83","sha256:a48d7529c8a3ddeac5bbd695d4c401790a211a70ae6c40d06dfed47822899114"],"state_sha256":"ae3d1449f14d5ae230979b50b0aa1281c685ca8c8650072fcd71eda82ac8b8ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eHyNWhp5cCMg8x1602D83S3lEfCr0BIQeKGjnb3jfpPbeGl2+c2vb+RiwlKAWiftRMSpBpEg6hChG1oF0kNaBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T09:46:03.296853Z","bundle_sha256":"a1074ca8b88cfdd811a8401fe4d302529783057f85a8651fcc8b07ae5764fa6f"}}