{"as_of":"2026-08-19T06:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:69e2a530e0a7ed3e9663c44f774b08ab9217856a68fbcf57fb4abdc7daed1bb6","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-18T06:34:40.430872+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:af7b1c2293018431b695a8feb3976aa57944209702be9f9d75649a25d9efa041","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T22:04:01.193677Z","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:af41bcd86022122820c7d7a14da5d46b27adbe8e9918be3c75a2d0885f928883","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:344bc09617c3a083e98536fabdd9857e125e260133f049c483c2cc51cc2cb62b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:f32281466c39b57b67b7bdeb64e2fa991328b9e3507aa0d2d292156eef43c287","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:c886e68cd77b0005043accc4ffb6819357c7b77c0304b2e52f26b168bb98c0d9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:1a3a245d141799c1d9e55fd7580d1fbe91f90e10e2041e41d2454871e011c74e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:6a9a2147397c180d740ac6731fab3393c248e3ba2f9cae0d9f531308e5ae7013","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:9055ef5a80c4ddb369854bb1589fc5afb5e22c96c218d57315d33b6c231a4b12","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:92c2274eb0bc7385a934f5fed5d49756fd96213b0465c91ff80c6c05fcfd92b6","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e1f9cf61dfe49004a5e0ef838853fc310bd45e84ea7a1c07878d4fb8315a89c2","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:78bcc618f07ff1277c4d3ce0c4783842dd22d0e6794456acc612aa9d355f7e26","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:ff0ede01548784011a7ff807c3982adb961c47e4a12d8a6628b206c43747dafa","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:4c98a02e845cf55f6f630effcb686d5aa80cb21686acf28d684f5304dc14cf7c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:238df6ee06d41f85bfcb03533738d59c14b05243d7c4fdf03f398034389a2d78","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:5803b24fe94be2024345275b99b308083ad2b03db8097dbc7b70ce512e0d2b18","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:b97d5bfc09d54f6dae0d54bdba838ad80ec0b74c19300779aeaf11ca161c7022","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:8e673fb6c30c064cb9f817171249e3926fe9d00f5c99f44518c92ebfa7b978e8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e210c0cc71a4db4ed3c92ecb63a40d9c16b5bc18bffcafcc4b767fbaccd44b25","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:74f3343ef77077089be02bace41f052ca475166c68ce6dd15ce859d57b933fd4","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:f7058213ff8b8349f8aff90f4478bd1f6e6ce848a3c8b9be6a7bdd98e2f43491","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:0cbf8e1680e2689fbbc97b77304b81ebec820ec05bc570e2be56d62416751387","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:379ece0544f74ea85f23e94f860ebea21809fb43ec734581e97c96d9bb566a1f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:a54dd6b568dee51535090bd9f1775c662e4806c633969d86ca07285aca0a7d00","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:67497a67776102937d2dad2dc551a665766a50491c1ec859c44c8423f0793ab9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:713930379155381bfaa83fd4e85fb93b45b97177b2fd729e859e34598ba464b3","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:ee8bbe0fde5951c4aee05ebde1db43caa05bca1bbed46857292bf9bdf9e5686c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:ddafd291a34b06ea2e8a3d7f5dc76df98ca7b896edeb42cf6fd7d1214703e253","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:3b93272f0d1ea109faabfa5f745ab4d75f1138fcd08dee410303908ecd72b858","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:269c0927ea81c2760ef0a81990fae14f99fca17be47eaa384ced2e179e10a873","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:bf01e2b2e19e4afa7b3654739ba559d02a95635ff0661db54b758f052bb7c10a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e769a249e74304b2f0f94cceb4a25ba1c805dad14ac88212e4e9a838edee97a3","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:d2ffe9a10e6f797eda88f1890ef5ccd2afd561d10e00ab6d7b1372d0bd07ce6f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:39a7cf33b6e5bef1e680d500f51cf66d1e9141e0fa0b392257d08db7afd00ec2","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e1b075fcfdb69b82ca4e81cff50240ea0358b79af381a21d11c4cce4add59a8f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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."}