{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:BONGRP3735JH2K36KB2PAGTIO3","short_pith_number":"pith:BONGRP37","schema_version":"1.0","canonical_sha256":"0b9a68bf7fdf527d2b7e5074f01a6876fc30a6545c66f622085209bc67115141","source":{"kind":"arxiv","id":"1501.03217","version":1},"attestation_state":"computed","paper":{"title":"SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Attila Egri-Nagy, Chrystopher L. Nehaniv, James D. Mitchell","submitted_at":"2015-01-14T00:18:04Z","abstract_excerpt":"We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products."},"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":"1501.03217","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-14T00:18:04Z","cross_cats_sorted":[],"title_canon_sha256":"7fcfb84b8f63c75ee99703854963764629790bdcade611abbc8eee4f79038e34","abstract_canon_sha256":"09a0efcab5a82e5c4b69019d7ad8c86c2203e509b500e402da9b3661647af9e5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:24.462111Z","signature_b64":"l6p7Gt0SZ2xX5WE0juNclDJDixYvhd7bZso9BZUJmj8z78AW6yGZJEBrLKc5Q1igru75w4a8LSguApBxDnZNAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b9a68bf7fdf527d2b7e5074f01a6876fc30a6545c66f622085209bc67115141","last_reissued_at":"2026-05-18T02:29:24.461699Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:24.461699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Attila Egri-Nagy, Chrystopher L. Nehaniv, James D. Mitchell","submitted_at":"2015-01-14T00:18:04Z","abstract_excerpt":"We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.03217","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":"1501.03217","created_at":"2026-05-18T02:29:24.461758+00:00"},{"alias_kind":"arxiv_version","alias_value":"1501.03217v1","created_at":"2026-05-18T02:29:24.461758+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.03217","created_at":"2026-05-18T02:29:24.461758+00:00"},{"alias_kind":"pith_short_12","alias_value":"BONGRP3735JH","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BONGRP3735JH2K36","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BONGRP37","created_at":"2026-05-18T12:29:14.074870+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/BONGRP3735JH2K36KB2PAGTIO3","json":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3.json","graph_json":"https://pith.science/api/pith-number/BONGRP3735JH2K36KB2PAGTIO3/graph.json","events_json":"https://pith.science/api/pith-number/BONGRP3735JH2K36KB2PAGTIO3/events.json","paper":"https://pith.science/paper/BONGRP37"},"agent_actions":{"view_html":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3","download_json":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3.json","view_paper":"https://pith.science/paper/BONGRP37","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1501.03217&json=true","fetch_graph":"https://pith.science/api/pith-number/BONGRP3735JH2K36KB2PAGTIO3/graph.json","fetch_events":"https://pith.science/api/pith-number/BONGRP3735JH2K36KB2PAGTIO3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3/action/storage_attestation","attest_author":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3/action/author_attestation","sign_citation":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3/action/citation_signature","submit_replication":"https://pith.science/pith/BONGRP3735JH2K36KB2PAGTIO3/action/replication_record"}},"created_at":"2026-05-18T02:29:24.461758+00:00","updated_at":"2026-05-18T02:29:24.461758+00:00"}