{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:AFIN32XTWPHV425DUCXGXWGQJI","short_pith_number":"pith:AFIN32XT","schema_version":"1.0","canonical_sha256":"0150ddeaf3b3cf5e6ba3a0ae6bd8d04a0a23aec2ad8b7aa7fee30dac2796cef4","source":{"kind":"arxiv","id":"1202.0246","version":1},"attestation_state":"computed","paper":{"title":"Evolutio producti infiniti (1-x)(1-xx)(1-x^3)(1-x^4)(1-x^5) etc. in seriem simplicem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Alexander Aycock, Artur Diener, Leonhard Euler","submitted_at":"2012-02-01T19:00:35Z","abstract_excerpt":"This paper does exactly what the title says it does. It expands the given series to arrive at the familiar \"pentagonal number\" expansion, also known as the pentagonal number theorem, and recalls its application to partition numbers. The paper is translated from Euler's Latin original into German."},"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":"1202.0246","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2012-02-01T19:00:35Z","cross_cats_sorted":[],"title_canon_sha256":"34b7b9ddc12cf6a256cea91fda927676c7fc49ca365ace447ed070a92f88b4fc","abstract_canon_sha256":"66896d7f2041938c28b57483705fb4b4038abd5de887d1b070c189160b2fd104"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:03:19.824690Z","signature_b64":"xzrxYlNS4IvrGy+q1Ufn3OsceyshODJFhh9iVGNbpgQVzDOda38Qw8kI++UOa5RaXQhOIvVh0aLJ1PmCURGJBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0150ddeaf3b3cf5e6ba3a0ae6bd8d04a0a23aec2ad8b7aa7fee30dac2796cef4","last_reissued_at":"2026-05-18T04:03:19.824118Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:03:19.824118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Evolutio producti infiniti (1-x)(1-xx)(1-x^3)(1-x^4)(1-x^5) etc. in seriem simplicem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Alexander Aycock, Artur Diener, Leonhard Euler","submitted_at":"2012-02-01T19:00:35Z","abstract_excerpt":"This paper does exactly what the title says it does. It expands the given series to arrive at the familiar \"pentagonal number\" expansion, also known as the pentagonal number theorem, and recalls its application to partition numbers. The paper is translated from Euler's Latin original into German."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.0246","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":"1202.0246","created_at":"2026-05-18T04:03:19.824205+00:00"},{"alias_kind":"arxiv_version","alias_value":"1202.0246v1","created_at":"2026-05-18T04:03:19.824205+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.0246","created_at":"2026-05-18T04:03:19.824205+00:00"},{"alias_kind":"pith_short_12","alias_value":"AFIN32XTWPHV","created_at":"2026-05-18T12:26:58.693483+00:00"},{"alias_kind":"pith_short_16","alias_value":"AFIN32XTWPHV425D","created_at":"2026-05-18T12:26:58.693483+00:00"},{"alias_kind":"pith_short_8","alias_value":"AFIN32XT","created_at":"2026-05-18T12:26:58.693483+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/AFIN32XTWPHV425DUCXGXWGQJI","json":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI.json","graph_json":"https://pith.science/api/pith-number/AFIN32XTWPHV425DUCXGXWGQJI/graph.json","events_json":"https://pith.science/api/pith-number/AFIN32XTWPHV425DUCXGXWGQJI/events.json","paper":"https://pith.science/paper/AFIN32XT"},"agent_actions":{"view_html":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI","download_json":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI.json","view_paper":"https://pith.science/paper/AFIN32XT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1202.0246&json=true","fetch_graph":"https://pith.science/api/pith-number/AFIN32XTWPHV425DUCXGXWGQJI/graph.json","fetch_events":"https://pith.science/api/pith-number/AFIN32XTWPHV425DUCXGXWGQJI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI/action/storage_attestation","attest_author":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI/action/author_attestation","sign_citation":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI/action/citation_signature","submit_replication":"https://pith.science/pith/AFIN32XTWPHV425DUCXGXWGQJI/action/replication_record"}},"created_at":"2026-05-18T04:03:19.824205+00:00","updated_at":"2026-05-18T04:03:19.824205+00:00"}