{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:5XQYKFI4QPCB3IOH5Z57TUQIMF","short_pith_number":"pith:5XQYKFI4","canonical_record":{"source":{"id":"1311.3899","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-15T16:08:13Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"8a25d9660bb398b6ce1daa05f2fac5796c78ab78be748e572aeec06ef70dc3f6","abstract_canon_sha256":"fd4ceba42eb0a1a1b7c0aba1fbbd69f90f3421e702f56dea797bd072d472c8ef"},"schema_version":"1.0"},"canonical_sha256":"ede185151c83c41da1c7ee7bf9d208615e5c0756e088ea6491d6732a43b124e3","source":{"kind":"arxiv","id":"1311.3899","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.3899","created_at":"2026-05-18T03:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"1311.3899v2","created_at":"2026-05-18T03:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.3899","created_at":"2026-05-18T03:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"5XQYKFI4QPCB","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5XQYKFI4QPCB3IOH","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5XQYKFI4","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:5XQYKFI4QPCB3IOH5Z57TUQIMF","target":"record","payload":{"canonical_record":{"source":{"id":"1311.3899","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-15T16:08:13Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"8a25d9660bb398b6ce1daa05f2fac5796c78ab78be748e572aeec06ef70dc3f6","abstract_canon_sha256":"fd4ceba42eb0a1a1b7c0aba1fbbd69f90f3421e702f56dea797bd072d472c8ef"},"schema_version":"1.0"},"canonical_sha256":"ede185151c83c41da1c7ee7bf9d208615e5c0756e088ea6491d6732a43b124e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:09.982456Z","signature_b64":"1BzH8UJSCstT6sD6haGGf87Xnkla8mJRqOLcFok2nimJBSgs/UsTJLwzCb7DEwqQMAZx/IcAH19GVEgu2Wb8BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ede185151c83c41da1c7ee7bf9d208615e5c0756e088ea6491d6732a43b124e3","last_reissued_at":"2026-05-18T03:01:09.981696Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:09.981696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.3899","source_version":2,"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-18T03:01:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pzdRap8X69vrrIZoBQDGYUtikYc32UomPtuGq0yBIEbD85nQQWfK/bMvyNp1Y1tbx4RC3UB8s0eNPbFw3JSxDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T22:42:54.950693Z"},"content_sha256":"bc488af9ab97bc0a2f3ca83d6aa3f6e7e669c8b5c9c21dc24835d5a2962ba06e","schema_version":"1.0","event_id":"sha256:bc488af9ab97bc0a2f3ca83d6aa3f6e7e669c8b5c9c21dc24835d5a2962ba06e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:5XQYKFI4QPCB3IOH5Z57TUQIMF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deciding first-order properties of nowhere dense graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"cs.LO","authors_text":"Martin Grohe, Sebastian Siebertz, Stephan Kreutzer","submitted_at":"2013-11-15T16:08:13Z","abstract_excerpt":"Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of \"sparse graphs\" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and graph classes of bounded expansion.\n  We show that deciding properties of graphs definable in first-order logic is fixed-parameter tractable on nowhere dense graph classes. At least for graph classes closed under taking subgraphs, this result is optimal: it was known before that for all classes C of graphs closed under taking subgraphs, if deciding first-or"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.3899","kind":"arxiv","version":2},"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-18T03:01:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+6foP70KbJGWPr4n1e+kygYVxqNFmVGHJldLEqZzmGrv5J+4TWbBYmuqi8HrqxN2gMBuBnLVGR45AVeQjHONBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T22:42:54.951400Z"},"content_sha256":"005c774269dcc730e4ea8572aba8e08433ba445aa4bb511b6c5a9ca707f1c4f8","schema_version":"1.0","event_id":"sha256:005c774269dcc730e4ea8572aba8e08433ba445aa4bb511b6c5a9ca707f1c4f8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5XQYKFI4QPCB3IOH5Z57TUQIMF/bundle.json","state_url":"https://pith.science/pith/5XQYKFI4QPCB3IOH5Z57TUQIMF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5XQYKFI4QPCB3IOH5Z57TUQIMF/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-05-27T22:42:54Z","links":{"resolver":"https://pith.science/pith/5XQYKFI4QPCB3IOH5Z57TUQIMF","bundle":"https://pith.science/pith/5XQYKFI4QPCB3IOH5Z57TUQIMF/bundle.json","state":"https://pith.science/pith/5XQYKFI4QPCB3IOH5Z57TUQIMF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5XQYKFI4QPCB3IOH5Z57TUQIMF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:5XQYKFI4QPCB3IOH5Z57TUQIMF","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":"fd4ceba42eb0a1a1b7c0aba1fbbd69f90f3421e702f56dea797bd072d472c8ef","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-15T16:08:13Z","title_canon_sha256":"8a25d9660bb398b6ce1daa05f2fac5796c78ab78be748e572aeec06ef70dc3f6"},"schema_version":"1.0","source":{"id":"1311.3899","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.3899","created_at":"2026-05-18T03:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"1311.3899v2","created_at":"2026-05-18T03:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.3899","created_at":"2026-05-18T03:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"5XQYKFI4QPCB","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5XQYKFI4QPCB3IOH","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5XQYKFI4","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:005c774269dcc730e4ea8572aba8e08433ba445aa4bb511b6c5a9ca707f1c4f8","target":"graph","created_at":"2026-05-18T03:01:09Z","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":"Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of \"sparse graphs\" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and graph classes of bounded expansion.\n  We show that deciding properties of graphs definable in first-order logic is fixed-parameter tractable on nowhere dense graph classes. At least for graph classes closed under taking subgraphs, this result is optimal: it was known before that for all classes C of graphs closed under taking subgraphs, if deciding first-or","authors_text":"Martin Grohe, Sebastian Siebertz, Stephan Kreutzer","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-15T16:08:13Z","title":"Deciding first-order properties of nowhere dense graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.3899","kind":"arxiv","version":2},"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:bc488af9ab97bc0a2f3ca83d6aa3f6e7e669c8b5c9c21dc24835d5a2962ba06e","target":"record","created_at":"2026-05-18T03:01:09Z","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":"fd4ceba42eb0a1a1b7c0aba1fbbd69f90f3421e702f56dea797bd072d472c8ef","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-15T16:08:13Z","title_canon_sha256":"8a25d9660bb398b6ce1daa05f2fac5796c78ab78be748e572aeec06ef70dc3f6"},"schema_version":"1.0","source":{"id":"1311.3899","kind":"arxiv","version":2}},"canonical_sha256":"ede185151c83c41da1c7ee7bf9d208615e5c0756e088ea6491d6732a43b124e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ede185151c83c41da1c7ee7bf9d208615e5c0756e088ea6491d6732a43b124e3","first_computed_at":"2026-05-18T03:01:09.981696Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:09.981696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1BzH8UJSCstT6sD6haGGf87Xnkla8mJRqOLcFok2nimJBSgs/UsTJLwzCb7DEwqQMAZx/IcAH19GVEgu2Wb8BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:09.982456Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.3899","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc488af9ab97bc0a2f3ca83d6aa3f6e7e669c8b5c9c21dc24835d5a2962ba06e","sha256:005c774269dcc730e4ea8572aba8e08433ba445aa4bb511b6c5a9ca707f1c4f8"],"state_sha256":"a8abb7efff2885a0270319fef77355a12272632fa444f5bc226655b6c474ae4c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u+smB/Bxj47oYmZ3hIZrdqsnufC1QPZx+O6z81P0hnUdJNJuWhHFQTUmmhVicwx5tuOanCyXg/CHX+WKBCtmAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T22:42:54.954694Z","bundle_sha256":"6870c161fd046d3c278eda99b8f1fdb87204e48af31c59807392103906a41563"}}