{"as_of":"2026-08-16T18:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:87bb64906fa6ecc60a03804e1cac0a5db4d9ecb20749159c211975aad5bfe689","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-16T06:30:59.297886+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-16T17:11:08.696489Z","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:425f417e76f60ad5755d169578608f8978a6cb0db5b8702646785223142039c4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:7822dff005b62fa32fa9cd81e5a2ccf5abd50e1d5bbd99beefae1b71dd9f166c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:af40d51d304897640dce88606e4c8e159ca7f9b9bb6bb485290f25b99671d3d3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:50580d6ed4f9e8e0e082dd54315ce3ce22c91130f09f5d056e4fb8d66f5ca9ba","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:b8e50473f70e24632a6eb381b98e39adee0543ceb01264f0f30acee41fc79400","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:c41cdf46cf999d55cb434a908bd32c38029c80d2ce365eb6fe4ad3065d7da58e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:b81143dade4e8aa5423fbd634172787380102ac54d9f9763f29f1baf1bdedd0a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:b30fe987098674712fc82a8ffa28990bc1b6f79585c672ea94979975ffe7ee4c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:cf46727d455d1b5399b01d324c7301349da0c6a4e910da7ced852f523db0aed1","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:a4d695bc93a38abf77b99afcc01d2be24d3182b5c32a75aab14e884960705061","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:59d0e2a1201d28783688d6034e2f44e1b7952da5ada1f8e899142119fe2b7fe1","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:5efdb7b9bee3fddc8000203af72888eb209bd20c242d84270d6ad66d250ca7d3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:46300c09aefcd491d2a84455d585c3fbb13435adc64ea6df6612aeb1748f7122","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:fe6566dd0316539f8e0707724b3785514ed047fcd18a1bcd0c34f74e6b95ef06","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:7fbf1772e0efeec515480b2458170be46b2248a1f3ad697b66451896f7c4ee13","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:152589c150d440e3f9f84180f456ddd020b5b905de898088225defe9ef3a36dc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:d159a94a2f19a0b0d8c08827b5de3e2a040d54c7a5f626fd4ad7705b447a238a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:1c4ab5217fcc4b3eaa217eacfd914ba0535e4b5acd062360c580576de19412f9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:62969251465e74e498523c5e0253a2eb23e9752906af865b0df305a0cd5ad0bc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:9fac660e64aa94d33c9136b99ee21c4af934ae553a0f8e8ff2b8e6ffb6ef414d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:1e13ecc03b0b0f7182c852a6a41ea7d043e6f5b78906955a9c7c1c0a891d3ace","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:9ca838e5cf3cbd2463bebc7d24288a7544f1d061440eedbfbaf9d99cc0e37958","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:de3ce1ad57eb69830174eaae2a3534dea9804ead23ee9735ce19950fc05d8214","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:dc3dd9bd11c2d629292ed6977dff060307e77b86c16f968bcc223ba480cd960c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2507.21851."}