{"as_of":"2026-08-19T12:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:24112c8309b0210ec859802dbe916fe610a3014361d85c4076e9731253e1b71d","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T12:24:28.210348Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:50:12.409457Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-15T19:50:13.429697Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"cited_work":{"arxiv_id":"2507.21851","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.21851","snapshot_observed_at":"2026-08-15T19:50:13.429697Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","venue":"cs.LO","work_id":"0679a4bb-c1a5-4d7a-8ce7-b4fc8976fb51","year":2025},"citing_paper":{"arxiv_id":"2608.12961","last_updated":"2026-08-13T08:44:48Z","snapshot_observed_at":"2026-08-19T11:58:24.647289Z","submitted_at":"2026-08-13T08:44:48Z","title":"Moose: Latent concept learning with reasoning-shortcut awareness in $\\mathcal{EL}^{++}$","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:50:12.409457Z"},"links":{"cited_paper":"/paper/2507.21851","citing_paper":"/paper/2608.12961"},"observation_digest":"sha256:c6a01bf33ed14d57fe84d3f88b4cf031e3715bc387d45f3db20aa521dcdfb08b","observation_id":"2f952d0b-3c74-46c4-a20b-1a1162ac65e5","resolution":{"observed_at":"2026-08-15T19:50:13.435641Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.21851/citation-record","integrity":"/paper/2507.21851/integrity","json":"/paper/2507.21851/citation-record.json","paper":"/paper/2507.21851"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.467671Z","title":"Brandt, Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else?, in: R","venue":null,"work_id":"827dc494-f273-4af1-bdb7-69440c7f652c","year":2004},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.897714Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:e4fd236aafa6fde73229fb0b6172c2afd54a71d229178421d4ffa439973a9a50","observation_id":"a657e633-5a85-4aac-87e5-e0f6722f66e0","resolution":{"observed_at":"2026-08-06T12:24:29.480033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.441786Z","title":"Baader, S","venue":null,"work_id":"b02085df-0ad9-429c-85f4-326c46083a2a","year":2005},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.907463Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:240946f94bb70d6aec80ad4c43824795401f46628ded1891c4b9d7ba587417fe","observation_id":"9b26cc12-7285-4e6b-bce2-644aa3bfba44","resolution":{"observed_at":"2026-08-06T12:24:29.449857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2018/272","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Tena Cucala, B","venue":null,"work_id":"8eb45a2f-55cc-4a55-8489-385bf431608a","year":2018},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.916328Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:5c87da29c8d127b8e887777d557ecc63399fa07c88188d498eb5a272d67f8316","observation_id":"6cf9d42f-6cf2-4735-9477-4fe7859476d3","resolution":{"observed_at":"2026-08-06T12:24:28.845965Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-22102-7_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Tena Cucala, B","venue":"Lecture notes in computer science","work_id":"9ff3b75a-2f36-4e45-8332-527b8b885e86","year":2019},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.930739Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:a270ee0e79fd6cc44f9a1bbaa6513e6c29984290b941a20326f8aed6b23b99fb","observation_id":"26f5eca7-8f7a-4267-b6e3-0939d9b8bf1b","resolution":{"observed_at":"2026-08-06T12:24:28.794825Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.410250Z","title":"Kazakov, M","venue":null,"work_id":"e6f01f8a-dbca-4c11-8ca3-8f775db07dcf","year":2014},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.941434Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:b9fb63317e4dfc2645dacc71c3f2d1ac82e83ae20efa4690e944a6c5682e1a58","observation_id":"a64addab-ce88-418c-8727-f1c37d8bed11","resolution":{"observed_at":"2026-08-06T12:24:29.418411Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.websem.2014.06.003","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Steigmiller, T","venue":"Journal of Web Semantics","work_id":"6ed1233c-d386-4e29-93ef-4dfb8e69f980","year":2014},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.947343Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:4300def59886cac05cd2c1d3fd325e17092318248a961b9ac2bbca24585768d5","observation_id":"1fe613da-4354-4b31-89d9-7abfc24a0988","resolution":{"observed_at":"2026-08-06T12:24:28.756795Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1613/jair.1.11257","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Journal of Artificial Intelligence Research","work_id":"ed91080c-5596-4796-8fe4-b863e672fab1","year":2018},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.957981Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:680ad51e843661cd5458929ee64a7fa93f7191dc94abf1ce5c0165574df201cd","observation_id":"6f9079e0-1a5f-486c-bfa9-b6505b7c0834","resolution":{"observed_at":"2026-08-06T12:24:28.715312Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.354464Z","title":"Kazakov, P","venue":null,"work_id":"88842971-c1d3-4cc4-8ad4-78054c2da33a","year":2014},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.965760Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:497720297868d46067a9ed3f6a5705664d9ba37fded3c495c0171f48219cb5b7","observation_id":"5fc56de4-96a2-4898-8f88-eb8266efbdc9","resolution":{"observed_at":"2026-08-06T12:24:29.371807Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-17746-0_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Horridge, B","venue":"Lecture notes in computer science","work_id":"dbfb7eab-665e-48a4-b6e6-0e4c33f03fc4","year":2010},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.984155Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:5c7dbfe2ef7db96b57b338d914a6467eaec876ff66fbfe8a9239d4d4bb623b30","observation_id":"f1dbe085-3a05-478a-977b-3bf67ce09a65","resolution":{"observed_at":"2026-08-06T12:24:28.670181Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.308979Z","title":"Schlobach, Explaining subsumption by optimal interpolation, in: J","venue":null,"work_id":"d873ac25-f1db-4650-bc37-e8502eac2037","year":2004},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:27.995805Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:8b9d0772b3e9ac531e03c9c3c0e0a2d942e146662e7d8c7e1db62d27eacc7563","observation_id":"c5019cdf-305f-4583-a54e-3162bc903480","resolution":{"observed_at":"2026-08-06T12:24:29.326649Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/nhpp","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Alrabbaa, F","venue":"EPiC series in computing","work_id":"3cae94e2-c53a-41c4-acc8-02cadbf5cd3a","year":2020},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.009321Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:495910ad572c0a835ea9f6ae9ba20aceb04c78fb411bb920edaae5aabd21ee56","observation_id":"689d12c0-70ea-4e59-ada3-01375ff73993","resolution":{"observed_at":"2026-08-06T12:24:28.625016Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.019676Z","title":"Alrabbaa, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.019676Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:ea33763ddaf9a2cff04f061beff989f5552f2031d5a42533370d252018d8b067","observation_id":"3043ce9c-dc14-4ff0-9617-8636b3d7a0ed","resolution":{"observed_at":"2026-08-06T12:24:28.019676Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.032801Z","title":"Baader, I","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.032801Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:d029f76fab3f124320fb9522fe6ec2211620dfdeb891371cf563da2f9745c9ac","observation_id":"f42f246d-fcb0-4ea2-b4ea-2ad6d31b1097","resolution":{"observed_at":"2026-08-06T12:24:28.032801Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5591/978-1-57735-516-8/ijcai11-444","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.544264Z","title":"Krötzsch, Efficient rule-based inferencing for OWL EL, in: T","venue":null,"work_id":"c71a54d5-8849-4b75-8915-e2bb2354e67c","year":2011},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.051004Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:07562beb9556d70f632a8b84205d878bff93841440b1d53ca13151827ec54f9c","observation_id":"461d9de8-565c-45b4-9dfe-263985efdb56","resolution":{"observed_at":"2026-08-06T12:24:28.550983Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s13218-020-00667-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Carral, I","venue":"KI - Künstliche Intelligenz","work_id":"79cff547-d70e-4b3a-ab6a-37211ca7cf21","year":2020},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.060897Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:56cc2ebdbd7ae910b830f3934d2cfc1e49ec90d018d0538ecf90bf9f891a0671","observation_id":"a77a386c-0ca1-4050-a5a2-92020f1657c3","resolution":{"observed_at":"2026-08-06T12:24:28.524538Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/kr.2024/70","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Ivliev, L","venue":null,"work_id":"27402a80-be83-4b5c-8490-9b0244c8d221","year":2024},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.074584Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:70d1ac687492950c2dd6402cf6b1116f5f935ed7157cb908c23fd100652b8d70","observation_id":"ee2eee4e-f418-4be7-be49-88af46ad86d2","resolution":{"observed_at":"2026-08-06T12:24:28.478094Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.266819Z","title":"Parsia, N","venue":null,"work_id":"24f79dd9-01e9-4602-84f1-fc2990b42f20","year":2017},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.088431Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:f09bcd06b364f70873c48635ff72bb092a5cbf4967445b944c31e4a6ede7f44e","observation_id":"f666e406-48ff-42f1-b27a-600c7befdf49","resolution":{"observed_at":"2026-08-06T12:24:29.281223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.102037Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.102037Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:ae8d21c768de9c97d985e2800837efd1f277a912b68f736e3ba575126cc652bc","observation_id":"3a623598-4ede-4e3d-9095-e7b93a44342d","resolution":{"observed_at":"2026-08-06T12:24:28.102037Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.knosys.2013.08.021","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Horridge, S","venue":"Knowledge-Based Systems","work_id":"647b4e51-2f7c-43ea-972f-bbfe3e4412e8","year":2013},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.108189Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:b330e5c8f2e8cd26b53fef725d6fb8c7a77ac2b308e5db5f1792de0cb569c4e1","observation_id":"751e1e2e-b28a-423d-af7c-49fab358c3ae","resolution":{"observed_at":"2026-08-06T12:24:28.397198Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.221717Z","title":"Kazakov, P","venue":null,"work_id":"7cd43f95-dc30-48f7-b0e8-4752c0d3bf42","year":null},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.119234Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:10d6d5a4e96ff1e8e09da722ca0b600d013b36de252680df362c6df08343c02d","observation_id":"47a968d5-1422-44d6-aae4-77f5e2c01d59","resolution":{"observed_at":"2026-08-06T12:24:29.231657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.144525Z","title":"Méndez, C","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.144525Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:385d1ae4b298d99f9543c4fdd5fe06aadfeae65edbd82a1910d0708c3c8f17f1","observation_id":"c84ea66e-4281-4ff1-b0aa-ed04460a04ea","resolution":{"observed_at":"2026-08-06T12:24:28.144525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.131506Z","title":"Alrabbaa, F","venue":null,"work_id":"022dcd21-282c-4de1-911b-729a85823935","year":2021},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.152280Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:b5d39e34e5eb0f069f8525acf9d9dab8596b9c3f0ab46dcf7fea3d850a3db078","observation_id":"f99ae337-a6eb-4ad0-a94d-5f70ce608322","resolution":{"observed_at":"2026-08-06T12:24:29.142708Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.091905Z","title":"Alrabbaa, F","venue":null,"work_id":"585b8742-73f9-47ee-932f-861067101bd5","year":2020},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.161551Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:166b5385ff37d6cb7e89d71b7c6c08c90d747667766fcc6d5f371e8a1f6b547a","observation_id":"5d170916-1f58-4305-830a-84ea8aa16a23","resolution":{"observed_at":"2026-08-06T12:24:29.102179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4221.4228","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.993241Z","title":"Yannakakis, A polynomial algorithm for the min-cut linear arrangement of trees, J","venue":null,"work_id":"6253d679-87c7-4363-b609-e44d6828ba61","year":1985},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.174418Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:94a1c709fff725107592ec7508a6071e6c98e3a8b942350fc8a3984f18cc1ccc","observation_id":"e646b032-9e17-4a9e-a4db-bcadc0416c91","resolution":{"observed_at":"2026-08-06T12:24:29.016185Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.184435Z","title":"Horridge, S","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.184435Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:351e01ac6c5ae7b6958383ae0e2c5d7936ddd590f8c67bbffcf9f11f6d6a2d79","observation_id":"2747f740-2b6e-4e45-9744-26a21dcb7263","resolution":{"observed_at":"2026-08-06T12:24:28.184435Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.16320822","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:28.277819Z","title":"Alrabbaa, S","venue":null,"work_id":"411f11b6-35a3-4687-8112-8b7cdbfb7149","year":2025},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.202910Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:cbb72bc9b51f7fbfe6bf03e79356fb7c35c0f86d7f00775324abd5293c2958b4","observation_id":"8994a621-97a5-4e8c-9754-d4a7d81d6bd5","resolution":{"observed_at":"2026-08-06T12:24:28.287583Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.043620Z","title":"We abbreviate 𝑤𝑠 1 = cw(𝑆′ 1), and note that 𝑤𝑠 1≥ 𝑤1 = cw(𝑇 )","venue":null,"work_id":"322e2082-7b5e-49e2-a794-d1bbdbf66c35","year":null},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.210348Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:d83b80a7ab95608574d60477ccffb355920b1dd004736631712abca539ce1e20","observation_id":"e7cd633f-1af2-494f-bd32-87762f293425","resolution":{"observed_at":"2026-08-06T12:24:29.053911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:24:29.172426Z","title":null,"venue":null,"work_id":"0e2308f1-bb82-4c37-96b0-dcb30d3b200b","year":null},"citing_paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-06T12:24:28.129879Z"},"links":{"citing_paper":"/paper/2507.21851"},"observation_digest":"sha256:1d283af02b98f07bc1491a4ecdca0bf1e87b8d34170e65a117d0dd744a2df963","observation_id":"3a0b1792-69f3-4ed9-be53-952d0820081b","resolution":{"observed_at":"2026-08-06T12:24:29.183979Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.21851","last_updated":"2025-07-29T14:25:31Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-14T04:24:31.017592Z","submitted_at":"2025-07-29T14:25:31Z","title":"The Shape of $\\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":6,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":11,"verified_fuzzy":6},"total_outbound_references":28},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2507.21851."}