{"as_of":"2026-08-16T21:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d7f7a4d6ca571ebbc223172ecbe1627befb36e7ba4f21da58524ee4912266cf1","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:18:18.356251Z","state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.09477/citation-record","integrity":"/paper/1908.09477/integrity","json":"/paper/1908.09477/citation-record.json","paper":"/paper/1908.09477"},"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-14T11:18:18.683374Z","title":"Baader, D","venue":null,"work_id":"16e81ba4-63ef-446c-b5ed-1134cba6db99","year":2003},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.271410Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:2a9f06009ecec9f5f26e02da8eabff8b0e0e39298d09b1e6ff1a4d6d0312b377","observation_id":"28f1de8a-cf72-4aef-9a90-abea27fbbd62","resolution":{"observed_at":"2026-08-14T11:18:18.688945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.277492Z","title":"Baader, I","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.277492Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:024bad4c31e996f924ce8fb4325c75be7d644bba3a49ea11f9bdf5f26e34fe1a","observation_id":"ec01fdc1-f599-4162-b1de-50ad3678cf90","resolution":{"observed_at":"2026-08-14T11:18:18.277492Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.666746Z","title":"Bibel (1993): Deduction - automated logic","venue":null,"work_id":"2036528d-8949-4b39-9392-695aebe065e6","year":1993},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.287396Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:f3525c176902adab85f3f5a4ef49707fe2e926ee63d07ff25a068e5795ff0114","observation_id":"cd16d54d-e2ad-48f3-88a6-36514d48b497","resolution":{"observed_at":"2026-08-14T11:18:18.671462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.650207Z","title":"Borgida, E","venue":null,"work_id":"6f4370b8-d4d9-40a5-a124-89b12a4ce3b3","year":2000},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.299879Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:6b762b4f5d40bcb7eaebd719fa8156dd3e9b4faa5cee95b4eeeb11777d405adc","observation_id":"79d363d6-8e0a-4cff-935b-cce8f97c2aad","resolution":{"observed_at":"2026-08-14T11:18:18.655887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.314755Z","title":"Freitas & J","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.314755Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:8a77f9e2e7e1612d1c8a08caf097627e99f22f081cf0c2fd38c36f91c1cbfa2e","observation_id":"db06f470-2dc7-4770-9204-248cc0066690","resolution":{"observed_at":"2026-08-14T11:18:18.314755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.633287Z","title":"Cambridge University Press","venue":null,"work_id":"5255fc24-d869-4621-9561-620de5b5de8b","year":1989},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.324751Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:a049f001e542ca5b15e6d6d9f4560437c5bda2d055cb5f554f3cc9957ec4db55","observation_id":"3a9157a1-3a3a-4567-a6b1-2c0635f3b6b0","resolution":{"observed_at":"2026-08-14T11:18:18.638325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.579620Z","title":"Horrocks (2008): Ontologies and the semantic web","venue":null,"work_id":"799bb418-8651-4c2b-b6a1-6ba91786bcee","year":2008},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.334907Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:8a3185801a4b30f9db01f390f2cd7049d3372811e399d32a9ab332059228b9d0","observation_id":"10dd9548-eea1-42a1-b2ed-35d4e81666f6","resolution":{"observed_at":"2026-08-14T11:18:18.584628Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.616018Z","title":null,"venue":null,"work_id":"9c15359e-e9a3-477c-953c-9caa8f36d746","year":2017},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.340164Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:0ebf82b8e307084de409bb886eb2756fe6953fd19dae333e03aa01071c3bbf9a","observation_id":"690447db-1471-44b7-ba62-1aa977fb8057","resolution":{"observed_at":"2026-08-14T11:18:18.621243Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22119-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.401666Z","title":"Otten (2011): A Non-clausal Connection Calculus","venue":null,"work_id":"1075a94d-5f26-4082-8d64-5c1959709a6d","year":2011},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.345325Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:d7903aa98c4e4faba107bc785b929d6e5363168b9caa83fe2b577be567da6b45","observation_id":"70eb1a38-1a8e-42ff-b8db-0a0da7700303","resolution":{"observed_at":"2026-08-14T11:18:18.409332Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.598946Z","title":"Palmeira (2017): Conversion of Proof in Description LogicALC Generated by Connection Method into Sequents","venue":null,"work_id":"2dcf528e-e472-4c4a-a225-23fb3d197566","year":2017},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.350837Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:57201207616c653473ced6feebfb67d318d39144b2bec97cb0ac0a16a223789b","observation_id":"deb094bb-d507-4976-89ea-14dad0b88517","resolution":{"observed_at":"2026-08-14T11:18:18.604553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:18.356251Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:18.356251Z"},"links":{"citing_paper":"/paper/1908.09477"},"observation_digest":"sha256:431ff86bc8d173cba746422f896d9b5648582f85a67a357e6933e35733d0df3d","observation_id":"10399692-002d-4371-aaf8-6f413410153f","resolution":{"observed_at":"2026-08-14T11:18:18.356251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.09477","last_updated":"2019-08-26T05:38:33Z","latest_version":1,"primary_category":"cs.SC","snapshot_observed_at":"2026-08-16T06:28:59.223683Z","submitted_at":"2019-08-26T05:38:33Z","title":"Converting ALC Connection Proofs into ALC Sequents"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":2,"verified_fuzzy":5},"total_outbound_references":11},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:1908.09477."}