{"as_of":"2026-08-19T14:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:20b94db73b04169a4c346b69fd8d8c2018a56dd37b455c8a5b0bdd1a2e1f41f3","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T17:42:24.854792Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:50:12.600527Z","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-05T15:32:34.759087Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"cited_work":{"arxiv_id":"2412.08739","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.08739","snapshot_observed_at":"2026-08-05T15:32:34.759087Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","venue":"cs.LO","work_id":"c60239c1-9bb0-42ff-8bf8-2ee73899784d","year":2024},"citing_paper":{"arxiv_id":"2509.02581","last_updated":"2026-06-18T10:35:57Z","snapshot_observed_at":"2026-08-06T21:17:50.512643Z","submitted_at":"2025-08-27T09:46:50Z","title":"Charting the Future of Scholarly Knowledge with AI: A Community Perspective","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T15:32:34.081903Z"},"links":{"cited_paper":"/paper/2412.08739","citing_paper":"/paper/2509.02581"},"observation_digest":"sha256:8eb59458f39c192ff8f6273534139341b0ced68b87271e5500b585fe179e77aa","observation_id":"0aca28fb-a5f0-4c8a-8833-a85f7a715932","resolution":{"observed_at":"2026-08-05T15:32:34.762962Z","resolver_source":"local_arxiv","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":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.08739","snapshot_observed_at":"2026-08-15T19:50:12.600527Z","title":"arXiv preprintabs/2412.08739(2024),https://arxiv.org/abs/2412.08739","venue":null,"work_id":null,"year":2024},"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":42,"source":"pdf_text","source_observed_at":"2026-08-15T19:50:12.600527Z"},"links":{"cited_paper":"/paper/2412.08739","citing_paper":"/paper/2608.12961"},"observation_digest":"sha256:ab60535d31f7c005ec3cd289455ab4bf5ac5d864551f7fa337e81fe1c4ecea2e","observation_id":"2a5d4bc5-c84b-4e6d-a4b2-064ad59c2b7d","resolution":{"observed_at":"2026-08-15T19:50:12.600527Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2412.08739/citation-record","integrity":"/paper/2412.08739/integrity","json":"/paper/2412.08739/citation-record.json","paper":"/paper/2412.08739"},"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-11T17:42:28.318681Z","title":null,"venue":null,"work_id":"050ba59d-bbc6-437d-a9f8-1a4686ac8e56","year":2005},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:23.812205Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:6b7fbc895197ca393e200802f64c6086ce0881e3c9165cfe3a7d3871d9a57f93","observation_id":"36155b2f-b934-489e-9936-6023676e6fd4","resolution":{"observed_at":"2026-08-11T17:42:28.364751Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:28.204990Z","title":null,"venue":null,"work_id":"00e34cd9-ae96-48f7-87bb-e6014cf39cef","year":2008},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:23.864760Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:ccc9f6c7c4b146c20037face9d877549dcdc6f6684ce018c68c453d6bd05002c","observation_id":"2ee9acfa-89fa-4554-bc6b-ba5e4aef58b8","resolution":{"observed_at":"2026-08-11T17:42:28.254757Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:28.054782Z","title":null,"venue":null,"work_id":"223f9ead-bcdc-401a-ad37-bf6a95eb6185","year":2020},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:23.889578Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:8744e16c4fdc2f0523ce5e13e2ff375241bfae7cfe3c0b9d8a8dc0760ad13981","observation_id":"44bccc07-84d7-44c2-956f-f13e07c8fff2","resolution":{"observed_at":"2026-08-11T17:42:28.094841Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:27.914912Z","title":"Al. I. Cuza University","venue":null,"work_id":"097a159d-5d60-4f03-9584-7b9c56cd6ca3","year":2022},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:23.902618Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:8a5f87625e1505632976cb93c129c50caffdbddc7211a62fdba2c5c561c081f1","observation_id":"18859198-381d-420c-ab4b-fd4c1ba32353","resolution":{"observed_at":"2026-08-11T17:42:27.954917Z","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-11T17:42:27.767832Z","title":null,"venue":null,"work_id":"588f44de-bf14-40b3-be05-d5378e6fc92b","year":2018},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:23.934763Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:772336829e50b559fc91beeda1ec75c922f5900438338d6f2d5c3ac1ce1c5dda","observation_id":"d842c1dd-d0b1-40c4-987e-1761447fe418","resolution":{"observed_at":"2026-08-11T17:42:27.815380Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:27.634878Z","title":"M.; and Di Sciascio, E","venue":null,"work_id":"d53fb30a-8e7f-45d0-b363-794a1464e5d7","year":2024},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:23.974752Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:dc702ea545bd79533728f585a606bd6acd962c2fd057d0141e09721417d935c1","observation_id":"9cf34034-40de-4920-a4b3-f87eef91686f","resolution":{"observed_at":"2026-08-11T17:42:27.675406Z","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":{"arxiv_id":"2206.03358","last_updated":"2022-07-02T11:48:43Z","snapshot_observed_at":"2026-08-16T16:54:43.203244Z","submitted_at":"2022-06-07T14:49:31Z","title":"Towards a Coq formalization of a quantified modal logic","version":2},"cited_work":{"arxiv_id":"2206.03358","doi":null,"metadata_source":"pith","pith_arxiv_id":"2206.03358","snapshot_observed_at":"2026-08-11T17:42:25.043789Z","title":"Towards a Coq formalization of a quantified modal logic","venue":"cs.LO","work_id":"40a15eb1-9add-44bf-94ff-e142fe25808c","year":2022},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.034750Z"},"links":{"cited_paper":"/paper/2206.03358","citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:298d4a379dee75fe66cdadb9d13a2d42aa2a7224af373151862f3be22e42d6ed","observation_id":"99125aa1-7a9c-44f1-90e2-fb7f703cf7e9","resolution":{"observed_at":"2026-08-11T17:42:25.061819Z","resolver_source":"local_arxiv","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-11T17:42:27.514756Z","title":null,"venue":null,"work_id":"7cc71aa3-1fe6-411f-ab71-da0edb8907bf","year":2024},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.064329Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:5037a7cd5bc9dc35749f50f8705cebe9093b3776bdc7e1ce5cf472c822932a78","observation_id":"19b5549c-24b7-4669-a82b-0dbe4067a0b2","resolution":{"observed_at":"2026-08-11T17:42:27.584757Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:27.364840Z","title":null,"venue":null,"work_id":"2ab8acce-3838-4a21-b186-7eb2db4e0c92","year":2022},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.114754Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:21fc0ec1a9c8fe07d41b89580c0798d71f01d83380a6ca02ed7c0d682d310432","observation_id":"b9a1662f-ead9-4166-864e-7b6ccdc37ecb","resolution":{"observed_at":"2026-08-11T17:42:27.414764Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:27.216883Z","title":null,"venue":null,"work_id":"c18ae195-a6d0-427c-b66c-ef2f391d289e","year":2014},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.165594Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:055aad1a014e5b4064449b0577108c9db8f938b81529015d8355e1f016e984e2","observation_id":"6263e658-e6ad-4508-acaa-c9765a6ef248","resolution":{"observed_at":"2026-08-11T17:42:27.254928Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:27.074987Z","title":null,"venue":null,"work_id":"2e070bc5-5d26-4e36-a7f0-74c1f25b4b62","year":2023},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.187482Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:878eb5a4c7daadf006210a59953fa0a367eedcbf493ea68c3660a78a79d80fde","observation_id":"e4fe4785-0e55-4214-bc69-4bb926c7cfa3","resolution":{"observed_at":"2026-08-11T17:42:27.134760Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:26.914764Z","title":null,"venue":null,"work_id":"f2d83a63-005d-4104-9264-245c139c0a2c","year":2017},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.192254Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:26031cbf1e78f2dad7818220206407f06670c81f9111a18ad4a5dfd8bd80177a","observation_id":"2ef8fa3f-ddb5-4ee4-b73e-b351b0479133","resolution":{"observed_at":"2026-08-11T17:42:26.954770Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:26.745195Z","title":"J.; Alonso-Jim\\' e nez, J","venue":null,"work_id":"a5046e86-bfb2-4692-87a9-7ef573bd1679","year":2014},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.204846Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:a73789cc297f7f9decc61ada5645c45dd125044b3ae75b7589c4cc3c73eb8409","observation_id":"509d8164-c4dc-40e2-a808-8a29f5471752","resolution":{"observed_at":"2026-08-11T17:42:26.785328Z","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-11T17:42:26.574845Z","title":null,"venue":null,"work_id":"8498929d-e67f-4ba4-908b-217a12965f33","year":2021},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.240593Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:ea2f5a4ab15d62ef2a3936e0b4ea18af62227231a27cafdc8169ceb7d604ee2d","observation_id":"0a53390e-4598-43eb-89d2-96bb4a7504e0","resolution":{"observed_at":"2026-08-11T17:42:26.624758Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:26.451845Z","title":"K.; and Zhou, L","venue":null,"work_id":"8637be61-1c48-44ee-ab10-bfe5ccded0fb","year":2022},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.274922Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:1b598b11e56216cc7675a7209621649c3a62025b27bc3fdad9744306f0c67633","observation_id":"1ac88fc6-25f0-415e-9ec9-b9b619e4e1fb","resolution":{"observed_at":"2026-08-11T17:42:26.458959Z","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-11T17:42:26.306996Z","title":null,"venue":null,"work_id":"bc309f4d-e750-4351-8f02-81f7ae755b0a","year":2018},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.314462Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:f8f57226c0b0bce238d72f02692f16ae3c0cc57299341ce166a785643fc60f44","observation_id":"c24efe64-b7fc-4d16-a452-be8146577d29","resolution":{"observed_at":"2026-08-11T17:42:26.344770Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:26.175184Z","title":null,"venue":null,"work_id":"badfda3d-c32e-400b-883a-1a753774f701","year":2012},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.354762Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:2b3cd0aea8e5a0ca5c639b98a017c6668eb886e4f30691d06ece8fae1b2fd23e","observation_id":"45e00e9f-c182-495b-b65c-c11b5edcb040","resolution":{"observed_at":"2026-08-11T17:42:26.234747Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:26.034774Z","title":null,"venue":null,"work_id":"bf5013ac-36e1-4716-a1f0-d79ecc744a7a","year":2002},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.374757Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:ac8a3506ab857511bd305f87bbf03dde308a28b4825a0cecee95053eddcb5aa9","observation_id":"13817fe2-4220-40cd-a0ce-3e8368767f2a","resolution":{"observed_at":"2026-08-11T17:42:26.084764Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.884766Z","title":null,"venue":null,"work_id":"0cfe3396-0552-49d4-8e49-6bd4d702eedd","year":2004},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.406037Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:f69ef15232ed0cb5fa332db85c4b94eca7d868a4ab3e43668eca00e5fb473e02","observation_id":"c56aed5c-db73-4e86-ad36-a3e6a0071627","resolution":{"observed_at":"2026-08-11T17:42:25.924762Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.744765Z","title":null,"venue":null,"work_id":"d6af8182-1532-4b5f-a7b5-a044d01c3801","year":2018},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.444743Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:ae52c058f3c45f9b0903af163f72d9e7271b7cc64f0b65bcb6cb04a95e760e67","observation_id":"732963ba-a1bc-43b6-98e1-58edb628d02c","resolution":{"observed_at":"2026-08-11T17:42:25.771672Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.581455Z","title":"B.; and Kumar, S","venue":null,"work_id":"66a4fcbd-aeee-4a16-a01b-f22759190870","year":2011},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.494756Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:532b4a7b4dd74935126e1aeb998a9eebb289b4740caa2fa6ac2e486822c8f3e5","observation_id":"d07c0ec6-9662-4124-a889-b85eec04d477","resolution":{"observed_at":"2026-08-11T17:42:25.616250Z","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-11T17:42:25.498632Z","title":null,"venue":null,"work_id":"06b79a58-f348-4d6d-b786-e6bf2f00a428","year":2015},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.509241Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:1af2c0ccac0c5fb196fcc284238f382c9c79f6bfd232e5750add705abd39f9c4","observation_id":"0700225e-c3f5-4db1-80f2-a469672a7f1c","resolution":{"observed_at":"2026-08-11T17:42:25.515640Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.464880Z","title":null,"venue":null,"work_id":"82887a3a-3ea8-42dc-8836-5fe8866c8889","year":2018},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.544754Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:822857f1bf3f355f0056bf0867a976aea6b5070858119dd04555be8039b3a9c5","observation_id":"da452404-3bc9-442b-8434-edca71d968f0","resolution":{"observed_at":"2026-08-11T17:42:25.479741Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.406340Z","title":"S.; Glimm, B.; and Steigmiller, A","venue":null,"work_id":"fabc805e-dffc-4619-af64-1dafbaf413cf","year":2017},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.602506Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:c00818393e7360822f2cc9800a2d3eafa22ec9d1daa52a835455f454bf476c7d","observation_id":"e18b7e71-4958-46f2-b5fb-8411bed3590f","resolution":{"observed_at":"2026-08-11T17:42:25.419075Z","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-11T17:42:25.387500Z","title":null,"venue":null,"work_id":"a2598276-2874-4fbf-b1f2-a00e9cbeda3c","year":2020},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.634754Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:e69c803e4354b8816edcb47d099ae03e7141b1a17f8d15f51e7d99bd1405684c","observation_id":"79a87837-fa92-4bc9-bae2-48421f9ba7e3","resolution":{"observed_at":"2026-08-11T17:42:25.391978Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.358959Z","title":"C.; Kalyanpur, A.; and Katz, Y","venue":null,"work_id":"75ee3f25-14b5-4135-8bb5-ad89162dc95c","year":2007},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.654739Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:0ae938675eec31786356e1af16898cb705465aa4a893a2c52fa76748a81a457f","observation_id":"8f3aa840-e9f1-4c98-8167-9707faf9910a","resolution":{"observed_at":"2026-08-11T17:42:25.369897Z","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-11T17:42:25.312440Z","title":null,"venue":null,"work_id":"64bfc427-98a1-4c0a-ac62-710c61a2b802","year":2007},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.674771Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:3cd387d5a47eecfded8e6b2ceec3b4de098ba3171832f923e3be45000a6b3361","observation_id":"5c69c419-d09c-438e-b0e2-e0f0e9520b79","resolution":{"observed_at":"2026-08-11T17:42:25.333477Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.285010Z","title":null,"venue":null,"work_id":"94caac03-039c-4d4b-a550-d063465b480e","year":2014},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.685977Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:276ddea0a4d8e476587a394fa0bc106bc02807b7aa9d4becd1d177be98a3ac2b","observation_id":"c6eb2970-bb1f-4f86-8d3e-864fd559c015","resolution":{"observed_at":"2026-08-11T17:42:25.294594Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.251280Z","title":null,"venue":null,"work_id":"487631b2-20d3-41fc-9e91-b5162cc3356b","year":2024},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.701029Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:bbe67f9c104022901af601954475747dfb3595a15f99adba4fd01ade252fe78e","observation_id":"1807caf2-abc5-40ce-96e4-081f8db20e8f","resolution":{"observed_at":"2026-08-11T17:42:25.264752Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.218769Z","title":null,"venue":null,"work_id":"1af817e2-3613-4d72-90d4-1abc00747c83","year":2006},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.726536Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:483c787ef70bf6589790ee92b001f94d450d0a0d325b3eaf8ec7276af1361f09","observation_id":"09bcc3a8-8c5a-4b2d-8525-d0a6c7cf5d5f","resolution":{"observed_at":"2026-08-11T17:42:25.224748Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.171245Z","title":null,"venue":null,"work_id":"f13494a7-8c0c-4ba8-9afb-93c69b048422","year":2018},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.754836Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:599de99f408eb65dcbaffc829601ba300febb9c308221fcae7acf158753e6c78","observation_id":"2722930e-aad2-4d62-a4b9-695f06cdc8b0","resolution":{"observed_at":"2026-08-11T17:42:25.188692Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:25.141224Z","title":null,"venue":null,"work_id":"f61062a4-16ee-4d67-afc4-9ce76dddcfe0","year":2012},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.774775Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:de5d657e02f0d5df50e8afec9d710f91a423f24dbda924bf4486afc7f1cf9451","observation_id":"a89b4130-e9d3-4179-8a66-b0925c90b831","resolution":{"observed_at":"2026-08-11T17:42:25.147528Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:42:24.815152Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.815152Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:348bb2bd89d634846b84696ba5f91f1edf3bb53a406c29e4e9c056ef1db8053c","observation_id":"a5527224-274f-41a9-b63c-a0d882369ecd","resolution":{"observed_at":"2026-08-11T17:42:24.815152Z","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-11T17:42:24.854792Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-11T17:42:24.854792Z"},"links":{"citing_paper":"/paper/2412.08739"},"observation_digest":"sha256:cb997980ccfe2074871f1e17077f63f14459ef6535dae0c63960d58d2e1cc560","observation_id":"44511837-b2ab-4f00-9afc-3ce1a05b7475","resolution":{"observed_at":"2026-08-11T17:42:24.854792Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.08739","last_updated":"2024-12-11T19:17:28Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T08:30:50.639464Z","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":1,"verified_fuzzy":7},"total_outbound_references":34},"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 34 of 34 outbound references and 2 inbound Pith citation observations for arXiv:2412.08739."}