{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:G7V7RF5Y57SRM5GCVVUTATKFKW","short_pith_number":"pith:G7V7RF5Y","schema_version":"1.0","canonical_sha256":"37ebf897b8efe51674c2ad69304d4555b43ec70ed1dd0d79ab387a4126d91503","source":{"kind":"arxiv","id":"1503.00368","version":1},"attestation_state":"computed","paper":{"title":"Phylogenetic incongruence through the lens of Monadic Second Order logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","cs.LO","q-bio.PE"],"primary_cat":"cs.DS","authors_text":"Celine Scornavacca, Leo van Iersel, Steven Kelk","submitted_at":"2015-03-01T22:31:31Z","abstract_excerpt":"Within the field of phylogenetics there is growing interest in measures for summarising the dissimilarity, or 'incongruence', of two or more phylogenetic trees. Many of these measures are NP-hard to compute and this has stimulated a considerable volume of research into fixed parameter tractable algorithms. In this article we use Monadic Second Order logic (MSOL) to give alternative, compact proofs of fixed parameter tractability for several well-known incongruency measures. In doing so we wish to demonstrate the considerable potential of MSOL - machinery still largely unknown outside the algor"},"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":"1503.00368","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-03-01T22:31:31Z","cross_cats_sorted":["cs.CE","cs.LO","q-bio.PE"],"title_canon_sha256":"3d8a077fd33c86079c5b7f1ae65cfbdcb20b20f5278ae6a9b3edeee400261599","abstract_canon_sha256":"9001c7ff83dfd47a770e499af7e8333ded4e34ad783392558be6b96c9b30b0c4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:54.609761Z","signature_b64":"yinARihbUhA+O6e3GkVSKZLN5jgAACTYTFYD0Wo6usTtwJ+DXvZhO1t5WHRL79clvOOw54eZ87FRaZGAUaxLAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37ebf897b8efe51674c2ad69304d4555b43ec70ed1dd0d79ab387a4126d91503","last_reissued_at":"2026-05-18T02:25:54.609385Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:54.609385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Phylogenetic incongruence through the lens of Monadic Second Order logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","cs.LO","q-bio.PE"],"primary_cat":"cs.DS","authors_text":"Celine Scornavacca, Leo van Iersel, Steven Kelk","submitted_at":"2015-03-01T22:31:31Z","abstract_excerpt":"Within the field of phylogenetics there is growing interest in measures for summarising the dissimilarity, or 'incongruence', of two or more phylogenetic trees. Many of these measures are NP-hard to compute and this has stimulated a considerable volume of research into fixed parameter tractable algorithms. In this article we use Monadic Second Order logic (MSOL) to give alternative, compact proofs of fixed parameter tractability for several well-known incongruency measures. In doing so we wish to demonstrate the considerable potential of MSOL - machinery still largely unknown outside the algor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00368","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":"1503.00368","created_at":"2026-05-18T02:25:54.609443+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.00368v1","created_at":"2026-05-18T02:25:54.609443+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00368","created_at":"2026-05-18T02:25:54.609443+00:00"},{"alias_kind":"pith_short_12","alias_value":"G7V7RF5Y57SR","created_at":"2026-05-18T12:29:22.688609+00:00"},{"alias_kind":"pith_short_16","alias_value":"G7V7RF5Y57SRM5GC","created_at":"2026-05-18T12:29:22.688609+00:00"},{"alias_kind":"pith_short_8","alias_value":"G7V7RF5Y","created_at":"2026-05-18T12:29:22.688609+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/G7V7RF5Y57SRM5GCVVUTATKFKW","json":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW.json","graph_json":"https://pith.science/api/pith-number/G7V7RF5Y57SRM5GCVVUTATKFKW/graph.json","events_json":"https://pith.science/api/pith-number/G7V7RF5Y57SRM5GCVVUTATKFKW/events.json","paper":"https://pith.science/paper/G7V7RF5Y"},"agent_actions":{"view_html":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW","download_json":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW.json","view_paper":"https://pith.science/paper/G7V7RF5Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.00368&json=true","fetch_graph":"https://pith.science/api/pith-number/G7V7RF5Y57SRM5GCVVUTATKFKW/graph.json","fetch_events":"https://pith.science/api/pith-number/G7V7RF5Y57SRM5GCVVUTATKFKW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW/action/storage_attestation","attest_author":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW/action/author_attestation","sign_citation":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW/action/citation_signature","submit_replication":"https://pith.science/pith/G7V7RF5Y57SRM5GCVVUTATKFKW/action/replication_record"}},"created_at":"2026-05-18T02:25:54.609443+00:00","updated_at":"2026-05-18T02:25:54.609443+00:00"}