{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:NWR6KFQW24HJYNXZYBVPIS2PJV","short_pith_number":"pith:NWR6KFQW","schema_version":"1.0","canonical_sha256":"6da3e51616d70e9c36f9c06af44b4f4d54b67ca5847834a0a5ba5675b5343484","source":{"kind":"arxiv","id":"1903.06514","version":5},"attestation_state":"computed","paper":{"title":"Mutual Coinduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.LO"],"primary_cat":"cs.LO","authors_text":"Moez A. AbdelGawad","submitted_at":"2019-03-14T12:45:53Z","abstract_excerpt":"In this paper we present mutual coinduction as a dual of mutual induction and also as a generalization of standard coinduction. In particular, we present a precise formal definition of mutual induction and mutual coinduction. In the process we present the associated mutual induction and mutual coinduction proof principles, and we present the conditions under which these principles hold.\n  In spite of some mention of mutual (co)induction in research literature, but the formal definition of mutual (co)induction and the proof of the mutual (co)induction proof principles we present here seem to be"},"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":"1903.06514","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-03-14T12:45:53Z","cross_cats_sorted":["cs.PL","math.LO"],"title_canon_sha256":"3fb25c53935dfca77318782259ab6eb464cdd23c0a1efaf6dafda2aba12a8747","abstract_canon_sha256":"e679111f08e27dcd34979aee3793fbc7acfa03bafba552bcc60eb9cba3caa92d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:24.654422Z","signature_b64":"rs7r3nwJ80HzY1Ds0EbejF5VrmDDmRrISudmAjxKODmHWiNbZ2CZujqVeSESBD8LIM2K1jwiff/TbxVfhDooDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6da3e51616d70e9c36f9c06af44b4f4d54b67ca5847834a0a5ba5675b5343484","last_reissued_at":"2026-05-17T23:39:24.653811Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:24.653811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Mutual Coinduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.LO"],"primary_cat":"cs.LO","authors_text":"Moez A. AbdelGawad","submitted_at":"2019-03-14T12:45:53Z","abstract_excerpt":"In this paper we present mutual coinduction as a dual of mutual induction and also as a generalization of standard coinduction. In particular, we present a precise formal definition of mutual induction and mutual coinduction. In the process we present the associated mutual induction and mutual coinduction proof principles, and we present the conditions under which these principles hold.\n  In spite of some mention of mutual (co)induction in research literature, but the formal definition of mutual (co)induction and the proof of the mutual (co)induction proof principles we present here seem to be"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.06514","kind":"arxiv","version":5},"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":"1903.06514","created_at":"2026-05-17T23:39:24.653906+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.06514v5","created_at":"2026-05-17T23:39:24.653906+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.06514","created_at":"2026-05-17T23:39:24.653906+00:00"},{"alias_kind":"pith_short_12","alias_value":"NWR6KFQW24HJ","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"NWR6KFQW24HJYNXZ","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"NWR6KFQW","created_at":"2026-05-18T12:33:24.271573+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1906.11197","citing_title":"Java Generics: An Order-Theoretic Approach (Abridged Outline)","ref_index":16,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV","json":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV.json","graph_json":"https://pith.science/api/pith-number/NWR6KFQW24HJYNXZYBVPIS2PJV/graph.json","events_json":"https://pith.science/api/pith-number/NWR6KFQW24HJYNXZYBVPIS2PJV/events.json","paper":"https://pith.science/paper/NWR6KFQW"},"agent_actions":{"view_html":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV","download_json":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV.json","view_paper":"https://pith.science/paper/NWR6KFQW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.06514&json=true","fetch_graph":"https://pith.science/api/pith-number/NWR6KFQW24HJYNXZYBVPIS2PJV/graph.json","fetch_events":"https://pith.science/api/pith-number/NWR6KFQW24HJYNXZYBVPIS2PJV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV/action/storage_attestation","attest_author":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV/action/author_attestation","sign_citation":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV/action/citation_signature","submit_replication":"https://pith.science/pith/NWR6KFQW24HJYNXZYBVPIS2PJV/action/replication_record"}},"created_at":"2026-05-17T23:39:24.653906+00:00","updated_at":"2026-05-17T23:39:24.653906+00:00"}