{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:4TZRYSGE5RMIQZEHV3FRSGXS2D","short_pith_number":"pith:4TZRYSGE","canonical_record":{"source":{"id":"1806.03049","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-08T09:43:53Z","cross_cats_sorted":[],"title_canon_sha256":"4ca2272ce1c8be445ffd2515645feae8f9f6a9af10539b1a55de81007c4be069","abstract_canon_sha256":"48f594a17d7f5c5105446d080ad86817bd67d3cb0785511e5f79f0e261144221"},"schema_version":"1.0"},"canonical_sha256":"e4f31c48c4ec58886487aecb191af2d0cf460e54d88663a03c0539b5787c7e0d","source":{"kind":"arxiv","id":"1806.03049","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.03049","created_at":"2026-05-18T00:13:49Z"},{"alias_kind":"arxiv_version","alias_value":"1806.03049v1","created_at":"2026-05-18T00:13:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.03049","created_at":"2026-05-18T00:13:49Z"},{"alias_kind":"pith_short_12","alias_value":"4TZRYSGE5RMI","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4TZRYSGE5RMIQZEH","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4TZRYSGE","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:4TZRYSGE5RMIQZEHV3FRSGXS2D","target":"record","payload":{"canonical_record":{"source":{"id":"1806.03049","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-08T09:43:53Z","cross_cats_sorted":[],"title_canon_sha256":"4ca2272ce1c8be445ffd2515645feae8f9f6a9af10539b1a55de81007c4be069","abstract_canon_sha256":"48f594a17d7f5c5105446d080ad86817bd67d3cb0785511e5f79f0e261144221"},"schema_version":"1.0"},"canonical_sha256":"e4f31c48c4ec58886487aecb191af2d0cf460e54d88663a03c0539b5787c7e0d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:49.832940Z","signature_b64":"JvTXBGqcnP/Nsb00FQ5JIDfThczP+7hpxHlgPJYQLUaR2sMXdNkcqnK8lCSmJTBPfTQdbC5heHY/Fv3Kfj0TCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4f31c48c4ec58886487aecb191af2d0cf460e54d88663a03c0539b5787c7e0d","last_reissued_at":"2026-05-18T00:13:49.832149Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:49.832149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.03049","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:13:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xnDaBwIslFmMUkKLS+z/dbN/h0JEXsTxYt9V5jBM1XlebZYALCCi3WeiQXkk3g9Yn8DhdYckD0m4dNw/h+aqBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T20:28:10.700689Z"},"content_sha256":"83b732aeb0f213bd1cd63cfd23eec3c3d4682f7f2be6ce0c2c286efd819f00f6","schema_version":"1.0","event_id":"sha256:83b732aeb0f213bd1cd63cfd23eec3c3d4682f7f2be6ce0c2c286efd819f00f6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:4TZRYSGE5RMIQZEHV3FRSGXS2D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalization of Lerch's Theorem using HOL Light","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adnan Rashid, Osman Hasan","submitted_at":"2018-06-08T09:43:53Z","abstract_excerpt":"The Laplace transform is an algebraic method that is widely used for analyzing physical systems by either solving the differential equations modeling their dynamics or by evaluating their transfer function. The dynamics of the given system are firstly modeled using differential equations and then Laplace transform is applied to convert these differential equations to their equivalent algebraic equations. These equations can further be simplified to either obtain the transfer function of the system or to find out the solution of the differential equations in frequency domain. Next, the uniquene"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.03049","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:13:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6H4YBmsEfiWRQ4L9DuavZtlBydiYD7ZOe/Ex7hI6u2ylr7Pf052e01HgoQL9wMOBxr1KjA5a/9FQQzG61QxoDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T20:28:10.701032Z"},"content_sha256":"8d9e95e2dcc10d86591650985ba46bc523e1f9fa118ee7d180177da405e49884","schema_version":"1.0","event_id":"sha256:8d9e95e2dcc10d86591650985ba46bc523e1f9fa118ee7d180177da405e49884"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4TZRYSGE5RMIQZEHV3FRSGXS2D/bundle.json","state_url":"https://pith.science/pith/4TZRYSGE5RMIQZEHV3FRSGXS2D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4TZRYSGE5RMIQZEHV3FRSGXS2D/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-06-23T20:28:10Z","links":{"resolver":"https://pith.science/pith/4TZRYSGE5RMIQZEHV3FRSGXS2D","bundle":"https://pith.science/pith/4TZRYSGE5RMIQZEHV3FRSGXS2D/bundle.json","state":"https://pith.science/pith/4TZRYSGE5RMIQZEHV3FRSGXS2D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4TZRYSGE5RMIQZEHV3FRSGXS2D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:4TZRYSGE5RMIQZEHV3FRSGXS2D","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":"48f594a17d7f5c5105446d080ad86817bd67d3cb0785511e5f79f0e261144221","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-08T09:43:53Z","title_canon_sha256":"4ca2272ce1c8be445ffd2515645feae8f9f6a9af10539b1a55de81007c4be069"},"schema_version":"1.0","source":{"id":"1806.03049","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.03049","created_at":"2026-05-18T00:13:49Z"},{"alias_kind":"arxiv_version","alias_value":"1806.03049v1","created_at":"2026-05-18T00:13:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.03049","created_at":"2026-05-18T00:13:49Z"},{"alias_kind":"pith_short_12","alias_value":"4TZRYSGE5RMI","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4TZRYSGE5RMIQZEH","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4TZRYSGE","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:8d9e95e2dcc10d86591650985ba46bc523e1f9fa118ee7d180177da405e49884","target":"graph","created_at":"2026-05-18T00:13:49Z","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 Laplace transform is an algebraic method that is widely used for analyzing physical systems by either solving the differential equations modeling their dynamics or by evaluating their transfer function. The dynamics of the given system are firstly modeled using differential equations and then Laplace transform is applied to convert these differential equations to their equivalent algebraic equations. These equations can further be simplified to either obtain the transfer function of the system or to find out the solution of the differential equations in frequency domain. Next, the uniquene","authors_text":"Adnan Rashid, Osman Hasan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-08T09:43:53Z","title":"Formalization of Lerch's Theorem using HOL Light"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.03049","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:83b732aeb0f213bd1cd63cfd23eec3c3d4682f7f2be6ce0c2c286efd819f00f6","target":"record","created_at":"2026-05-18T00:13:49Z","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":"48f594a17d7f5c5105446d080ad86817bd67d3cb0785511e5f79f0e261144221","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-08T09:43:53Z","title_canon_sha256":"4ca2272ce1c8be445ffd2515645feae8f9f6a9af10539b1a55de81007c4be069"},"schema_version":"1.0","source":{"id":"1806.03049","kind":"arxiv","version":1}},"canonical_sha256":"e4f31c48c4ec58886487aecb191af2d0cf460e54d88663a03c0539b5787c7e0d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4f31c48c4ec58886487aecb191af2d0cf460e54d88663a03c0539b5787c7e0d","first_computed_at":"2026-05-18T00:13:49.832149Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:49.832149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JvTXBGqcnP/Nsb00FQ5JIDfThczP+7hpxHlgPJYQLUaR2sMXdNkcqnK8lCSmJTBPfTQdbC5heHY/Fv3Kfj0TCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:49.832940Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.03049","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83b732aeb0f213bd1cd63cfd23eec3c3d4682f7f2be6ce0c2c286efd819f00f6","sha256:8d9e95e2dcc10d86591650985ba46bc523e1f9fa118ee7d180177da405e49884"],"state_sha256":"2bd77101c888539ded222afd1e5cbaef0389a0d0099f738a763e76c4c8917820"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v0ENUhkRDuVai8oGqG6CyFirhCeYAl9W394JJkNusbRLYbW2KOc6fK/ExLd2LWK/ZN31jIXURgBYPgpO6UXCBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T20:28:10.703011Z","bundle_sha256":"82925a2f3cf3c10ffc1227c9bb9514e07cd20baa6a1b2b6a1c5322bf05d4fe56"}}