{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:CG352EB2Q65QXHYNBWXYTD4T74","short_pith_number":"pith:CG352EB2","schema_version":"1.0","canonical_sha256":"11b7dd103a87bb0b9f0d0daf898f93ff2ca8b4a1f35d2de3129538e2a3916a29","source":{"kind":"arxiv","id":"1712.10250","version":1},"attestation_state":"computed","paper":{"title":"Some Applications of the Hahn-Banach Separation Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.FA","authors_text":"Frank Deutsch, Hein Hundal, Ludmil Zikatanov","submitted_at":"2017-12-29T15:06:00Z","abstract_excerpt":"We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and detailed characterizations of best approximations from certain important cones in Hilbert space."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1712.10250","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2017-12-29T15:06:00Z","cross_cats_sorted":[],"title_canon_sha256":"b97784879bd2b0e14061f5509bb2d271c32aa0215015d0ddbe23b307b8a04706","abstract_canon_sha256":"352c6705b85103e24d24abf6c42c342e9ac695c8c2811ae23f0b1283d925f4a4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:03.609808Z","signature_b64":"Mquk5qWlf+HzBWv1ZLADHG4ZDO4xB1oin4V7XfFhyGzzMUo/q3CLvOotGvWdb++z4R8t/7Lud9oiHvfzfY+HAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"11b7dd103a87bb0b9f0d0daf898f93ff2ca8b4a1f35d2de3129538e2a3916a29","last_reissued_at":"2026-05-18T00:27:03.609101Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:03.609101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Some Applications of the Hahn-Banach Separation Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.FA","authors_text":"Frank Deutsch, Hein Hundal, Ludmil Zikatanov","submitted_at":"2017-12-29T15:06:00Z","abstract_excerpt":"We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and detailed characterizations of best approximations from certain important cones in Hilbert space."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.10250","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1712.10250","created_at":"2026-05-18T00:27:03.609206+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.10250v1","created_at":"2026-05-18T00:27:03.609206+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.10250","created_at":"2026-05-18T00:27:03.609206+00:00"},{"alias_kind":"pith_short_12","alias_value":"CG352EB2Q65Q","created_at":"2026-05-18T12:31:10.602751+00:00"},{"alias_kind":"pith_short_16","alias_value":"CG352EB2Q65QXHYN","created_at":"2026-05-18T12:31:10.602751+00:00"},{"alias_kind":"pith_short_8","alias_value":"CG352EB2","created_at":"2026-05-18T12:31:10.602751+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74","json":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74.json","graph_json":"https://pith.science/api/pith-number/CG352EB2Q65QXHYNBWXYTD4T74/graph.json","events_json":"https://pith.science/api/pith-number/CG352EB2Q65QXHYNBWXYTD4T74/events.json","paper":"https://pith.science/paper/CG352EB2"},"agent_actions":{"view_html":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74","download_json":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74.json","view_paper":"https://pith.science/paper/CG352EB2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.10250&json=true","fetch_graph":"https://pith.science/api/pith-number/CG352EB2Q65QXHYNBWXYTD4T74/graph.json","fetch_events":"https://pith.science/api/pith-number/CG352EB2Q65QXHYNBWXYTD4T74/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74/action/storage_attestation","attest_author":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74/action/author_attestation","sign_citation":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74/action/citation_signature","submit_replication":"https://pith.science/pith/CG352EB2Q65QXHYNBWXYTD4T74/action/replication_record"}},"created_at":"2026-05-18T00:27:03.609206+00:00","updated_at":"2026-05-18T00:27:03.609206+00:00"}