{"as_of":"2026-08-15T20:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5f80735ff6dd8c36ae2e09518128889856c7319d35de6802eef6f00c9a6b2c2e","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T12:41:31.965964Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2507.21752/citation-record","integrity":"/paper/2507.21752/integrity","json":"/paper/2507.21752/citation-record.json","paper":"/paper/2507.21752"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.416714Z","title":"https://www.w3.org/TR/2012/REC-owl2- overview-20121211/, accessed: July 24, 2025","venue":null,"work_id":"bec39162-1c5d-4e0c-8178-9acda03549f4","year":2012},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.755327Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:3279af4d92e0c87adabda2ed9770c3557e5a347292019490ec43c4dddce16f83","observation_id":"836a2d82-a1db-46f3-86dd-4754ba2a20b2","resolution":{"observed_at":"2026-08-06T12:41:33.421031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.402417Z","title":"Cam- bridge Tracts in Theoretical Computer Science, Cambridge University Press (1992)","venue":null,"work_id":"65e233b7-309a-414b-b0fa-7c0be954f657","year":1992},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.759935Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:715164e9de0e8ba6f99973886c4a7b8d60fffb7367fde3d14df5bee3f4e15345","observation_id":"f1d92f69-2522-4277-b74a-a125d448ba2f","resolution":{"observed_at":"2026-08-06T12:41:33.407593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.764154Z","title":"Cambridge University Press (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.764154Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:da87dc2d86dfe3a704520093dbb5ba756c1a5b610de862b3787e81a426a36988","observation_id":"58fcbd7e-c1fc-4a1b-8493-b25fe3d95f3d","resolution":{"observed_at":"2026-08-06T12:41:31.764154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.768944Z","title":"Journal of the ACM (JACM)36(4), 929–965 (1989)","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.768944Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:3bc1b2eb54455083d64748c46882b64d13ead717d85f9d7dd6e0949706c2fe92","observation_id":"ff32d27e-bfd5-42a0-baf3-7b04419c07f5","resolution":{"observed_at":"2026-08-06T12:41:31.768944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.773483Z","title":"In: Proceedings of 42nd International Symposium on Theoretical Aspects of Computer Science, STACS","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.773483Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:8cc35b28027bf13f72a0777ce35efa3775c21efb4363093f8a739229334247b7","observation_id":"517ce150-c59b-476e-b82a-6d2a42323598","resolution":{"observed_at":"2026-08-06T12:41:31.773483Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4558.31862","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.056770Z","title":"In: Companion Proceedings of the The Web Conference 2018","venue":null,"work_id":"2fe638a8-3b9c-4666-887c-acd7469c90d6","year":2018},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.777943Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:05c6ab45919ab4454653f10c948f7cc3e06499aa43b027e1b472b49fff902bd9","observation_id":"b4966a71-746b-4e58-b2a6-dac55438141e","resolution":{"observed_at":"2026-08-06T12:41:33.068735Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/icaps.v29i1.3529","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","work_id":"d410789c-95ad-4ab2-9cc7-ce9a8bca985d","year":2019},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.782761Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:1db8d8403d13e2d635cf7d05de1f1ebc240a8ff24907e4c738298874e742d83c","observation_id":"2b93adc5-8f0f-4f96-9a2a-bb3336f684b3","resolution":{"observed_at":"2026-08-06T12:41:32.225569Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1832.36418","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:32.983004Z","title":"SIGMOD Rec.52(4), 6–18 (2023)","venue":null,"work_id":"b33097a6-1615-41af-b5ad-9ae2adafe848","year":2023},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.786912Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:47c74c3defa57f6a3acf4670b59b2aa9c9821bba21dec09bdb34ebdd3cb26f2b","observation_id":"e4a9c0e5-42e1-4752-b903-d53e609ca0a3","resolution":{"observed_at":"2026-08-06T12:41:32.990153Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.791179Z","title":"In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.791179Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:d8c9ce848bbdbdedabe136ca1b40dc53cf87036391af5d67f63991b10ff26664","observation_id":"0f7f5557-b417-44da-8b65-df724ce038ea","resolution":{"observed_at":"2026-08-06T12:41:31.791179Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.08511","last_updated":"2023-05-15T10:20:31Z","snapshot_observed_at":"2026-08-13T11:42:40.834754Z","submitted_at":"2023-05-15T10:20:31Z","title":"SAT-Based PAC Learning of Description Logic Concepts","version":1},"cited_work":{"arxiv_id":"2305.08511","doi":"10.48550/arxiv.2305.08511","metadata_source":"pith","pith_arxiv_id":"2305.08511","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"SAT-Based PAC Learning of Description Logic Concepts","venue":"cs.AI","work_id":"20294d5b-c6d5-4138-8ef7-ca81f91c433b","year":2023},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.795528Z"},"links":{"cited_paper":"/paper/2305.08511","citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:82db6edebc511e9628943f02a05395beb6ccd3efd38550a267c0b45c4cb8ad06","observation_id":"6525006b-c0eb-4ee5-a424-a631df5b1e3c","resolution":{"observed_at":"2026-08-06T12:41:32.200133Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.10643","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:32.897383Z","title":"Information Processing Letters183, 106431 (2024)","venue":null,"work_id":"ff8b4825-0466-482b-8dd6-8a14c98eca27","year":2024},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.799903Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:608e7a5715cb55114e2e29eec7e829e8f8922b1211e31211c36b6310bb304182","observation_id":"57cbf58e-9ee0-418d-a8f9-f5d310d03218","resolution":{"observed_at":"2026-08-06T12:41:32.907682Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.388367Z","title":"Machine Learning17(2-3), 169–199 (1994)","venue":null,"work_id":"81e6c57a-e57d-4f3f-b6e6-79f0340e4637","year":1994},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.804249Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:dff8a7d23d78763511d72b2695cbdb94c7e9516f7e2a801c893395bb7e16d497","observation_id":"386f9403-b60f-4e67-ba18-7dcdc922ea37","resolution":{"observed_at":"2026-08-06T12:41:33.393292Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2023/403","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":null,"work_id":"1e65a2f5-af80-498f-bfdf-8fbf5cd85c6d","year":2023},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.808472Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:86e93f8686960f75051f5f0e424b8bf8bc5e20b050050db0847559b72e5fc45e","observation_id":"5cfbe4dc-9ff4-4713-ad7a-6d08f78e5106","resolution":{"observed_at":"2026-08-06T12:41:32.179004Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.374395Z","title":"In: Proceedings of the Thirtieth International Joint Confer- ence on Artificial Intelligence, IJCAI-21","venue":null,"work_id":"ef7ce1dd-cca5-49fe-a84d-4d369034c974","year":2021},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.812464Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:9cff5603019fd85b5e0fd42e6de566c87a00884a9a1248960156a8486e226b87","observation_id":"da347c02-d3b5-4c88-9189-ec3f04dccec2","resolution":{"observed_at":"2026-08-06T12:41:33.378875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.816530Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.816530Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:848f646b73e712a0691f065ced2426c5587024dc580ae9f1373f90746ade6c2d","observation_id":"32e4c827-04ff-4bc5-99b0-785ecbd999e3","resolution":{"observed_at":"2026-08-06T12:41:31.816530Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.821019Z","title":"In: WWW ’22: The ACM Web Conference 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.821019Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:3fae9f94998dc024bc994bd9ea282e82c16495e6a1070cf188d023a328d4fbe1","observation_id":"873ffaf6-ef93-4c24-9032-2449bee93661","resolution":{"observed_at":"2026-08-06T12:41:31.821019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.360203Z","title":"In: Doherty, P., Mylopoulos, J., Welty, C.A","venue":null,"work_id":"f953a246-9962-4910-9c25-9e652d9e156b","year":2006},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.825201Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:b775d55220e21399ef4c75a6d58046e9b9fe822aecedb87995ae2ca9d389791b","observation_id":"94778fd6-ebf0-4da4-a5fa-30e2a6b73e85","resolution":{"observed_at":"2026-08-06T12:41:33.364620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.829422Z","title":"Applied Intelligence26(2), 139–159 (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.829422Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:e1496f0e0ae91bb828642cf98b657f6c4472c865fcbfb888a499b8120226da8c","observation_id":"7ff2817e-0475-46ce-b292-c1e04e2aa375","resolution":{"observed_at":"2026-08-06T12:41:31.829422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.833543Z","title":"In: Theory and Applications of Satisfiability Testing – SAT 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.833543Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:b61df26b4caa09593bba718254daf563265ee56ac42ea144671c88752de7cfc0","observation_id":"c86214a6-46db-4aa8-98ab-8a730f8c97b4","resolution":{"observed_at":"2026-08-06T12:41:31.833543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.837468Z","title":"In: 27th International Conference on Theory and Applications of Satisfiability Testing","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.837468Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:9a6df86a4b766b27aea941270bfa51507539cc825d41fb399411d7f6c5d0a86f","observation_id":"4dab8da5-ffe1-4e53-a864-b0c2b4b4bcb4","resolution":{"observed_at":"2026-08-06T12:41:31.837468Z","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":"4644.17464","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:32.736473Z","title":"Journal of the ACM (JACM)41(1), 67–95 (1994)","venue":null,"work_id":"7e95d89a-f93d-44cc-ad50-4bd9045c674c","year":1994},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.841329Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:a560b502219787d4aeb9631ec09d90135586a538dbc9beb562c693722444fd7e","observation_id":"94b20745-0a10-4c51-bee2-2fa2fdf1645d","resolution":{"observed_at":"2026-08-06T12:41:32.748567Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.845407Z","title":"In: Machine Learning: ECML-93","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.845407Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:406dcd4a9af353499b9c06c0325f21be4518b2d985a3d859aa2bb43a8d5453a2","observation_id":"1e4414bd-6f6a-4166-866e-4137e82f2770","resolution":{"observed_at":"2026-08-06T12:41:31.845407Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-33455-9_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: The Semantic Web - 20th International Conference, ESWC 2023","venue":"Lecture notes in computer science","work_id":"20720a7e-f999-4f7f-8d9e-c4500c7f0490","year":2023},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.849436Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:6faf282d76a74350aa2c8cb7ffa95698ac5a9b85c5f2061651f9919d6e5796e3","observation_id":"d6534663-8006-4a26-ad50-02c2a3293924","resolution":{"observed_at":"2026-08-06T12:41:32.116372Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-43421-1_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023","venue":"Lecture notes in computer science","work_id":"bd2f4534-291b-4933-8b41-6d14c4a98030","year":2023},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.853586Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:b29cb6883f5ada505b27a6908e41e2e082be557d70bdecab8300e45fabd95cbb","observation_id":"138b164a-fea1-4d94-92cc-7735e553f078","resolution":{"observed_at":"2026-08-06T12:41:32.101787Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.858198Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.858198Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:b8fe3f58605f52528b12ef7a94e0f1b34145d265a910a5e6475e5587de77376e","observation_id":"ebe39d36-39f5-46e9-8863-9e363b166df0","resolution":{"observed_at":"2026-08-06T12:41:31.858198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.346584Z","title":"In: Per- spectives on Ontology Learning, pp","venue":null,"work_id":"9b5c5da2-3449-4c84-bec0-b1ee612e84ae","year":2014},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.862477Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:ad9790bbcbc4a34a3ef9fabe6802add040371b3daf49e10e372ac798f6ad211f","observation_id":"23b9bba9-8080-41b7-a95e-09e541f122be","resolution":{"observed_at":"2026-08-06T12:41:33.350798Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.323919Z","title":"Machine Learning78, 203–250 (2010)","venue":null,"work_id":"c2013124-0cdb-4f17-b566-f72051d9da07","year":2010},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.866409Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:754f356bd507f476c65d1e0b999eea07fcc5e8b75c7927db862bcf18d8017bd7","observation_id":"95248e32-0edc-4842-9ea1-53736c86e58e","resolution":{"observed_at":"2026-08-06T12:41:33.332099Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.871026Z","title":"Information Systems83, 89–100 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.871026Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:1c656d2970ade5ee6594ae776be9002afe51a43e9983459cc38313519761b554","observation_id":"d2b8c63f-f32f-4e0d-b17a-0f973cad00ac","resolution":{"observed_at":"2026-08-06T12:41:31.871026Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16336","last_updated":"2023-12-26T21:16:19Z","snapshot_observed_at":"2026-08-13T10:06:25.792078Z","submitted_at":"2023-12-26T21:16:19Z","title":"Learning temporal formulas from examples is hard","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16336","snapshot_observed_at":"2026-08-06T12:41:31.875128Z","title":"CoRRabs/2312.16336 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.875128Z"},"links":{"cited_paper":"/paper/2312.16336","citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:e3b35db277ffa707d0d61a406d2fb97aa7284e837bf2956083eab3f52250073b","observation_id":"a7035703-4956-4557-8bd4-5d72580a708c","resolution":{"observed_at":"2026-08-06T12:41:31.875128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.879691Z","title":"In: Proceedings of 18th Conference on Formal Methods in Computer Aided Design FMCAD","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.879691Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:0297875387df092d0423a1f197686953730308c1e631f090d310cce84677a123","observation_id":"d86236b9-c214-468a-a11b-e605ea93c7b6","resolution":{"observed_at":"2026-08-06T12:41:31.879691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.883607Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.883607Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:bf1b31d3cd5deda90c69a7e78504f39ebc3a64ad79653f26b92b9af2e0c4eef0","observation_id":"7ad971ed-0344-4393-a0a5-788ec1d96a10","resolution":{"observed_at":"2026-08-06T12:41:31.883607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-63498-7_22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: Proceedings of 12th International Joint Conference on Automated Reasoning IJCAR","venue":"Lecture notes in computer science","work_id":"d2e36dbc-00bd-4986-bcee-6fd5e6d3873e","year":2024},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.887639Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:53b77c00ae2da21ca37be4391c8dce374bcd652f4c55a2589b075ffe1573e71c","observation_id":"7c309c63-8944-4a7d-b4d9-c1c18c5b7d29","resolution":{"observed_at":"2026-08-06T12:41:32.050825Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.88769","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:32.473871Z","title":"In: Kazmierski, T.J., von Hanxleden, R., Mak, T.S.T","venue":null,"work_id":"236af2e2-8e9d-4e53-b63b-a0d07fac24fa","year":2019},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.891704Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:3ece5af420430836f9e6357397cd896dac6ac6bf9dbba5e05e0a6a151057e4ce","observation_id":"273eae38-da02-44c2-a2e2-7f766bb33716","resolution":{"observed_at":"2026-08-06T12:41:32.481190Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.895872Z","title":"Future Gener","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.895872Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:ac27793c64df59d895da6f09fe188b79a93ad05e0ef07845f40bb7d9ca540a50","observation_id":"a5f75914-9aad-4a7c-8ca2-f500f0543155","resolution":{"observed_at":"2026-08-06T12:41:31.895872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.899875Z","title":"In: Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.899875Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:b4f7b021aa194bab06790d2feede16096e9c932349b940daba7c851a5c6a9967","observation_id":"7f6170b6-191f-45c7-a25a-da9110c6e268","resolution":{"observed_at":"2026-08-06T12:41:31.899875Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.904045Z","title":"In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.904045Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:b189cfadc685770572d1487f40fe39ab06aa5155f325550656b2b883a5136407","observation_id":"fc060347-2b42-4637-8284-5b2ce789b64d","resolution":{"observed_at":"2026-08-06T12:41:31.904045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.299794Z","title":"Journal of Machine Learning Research18, 64:1–64:34 (2017), https://jmlr.org/papers/v18/14-317.html","venue":null,"work_id":"7c6358e7-9cd3-4063-b922-5a712ea607ee","year":2017},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.908330Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:a0786cbaabb64f495d3b57c968b2368a0ae06d7773931b6d835eefa4a71b48e7","observation_id":"ecdcf18a-fb76-4961-9bf0-1085a487e690","resolution":{"observed_at":"2026-08-06T12:41:33.308111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.912485Z","title":"Communications of the ACM27(11), 1134–1142 (1984)","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.912485Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:5f9e51ca3acc9798a9d4b4ed26f6cbe85616be36a573221ec99badc64b1d9a56","observation_id":"e5a63d9b-cd7b-4c89-9a4c-c9278b71a894","resolution":{"observed_at":"2026-08-06T12:41:31.912485Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/sw-180308","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Semantic Web10(2), 231–245 (2019)","venue":"Semantic Web","work_id":"3fe0f08c-f1f1-496e-bb83-212838487c30","year":2019},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.917139Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:f52cec00da02ec112d65d764ca1980e3bb2b3b02bda68db1311956f4db6229a5","observation_id":"45b86c11-5f52-489e-bbfb-d646c8db4dd4","resolution":{"observed_at":"2026-08-06T12:41:32.003824Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:31.921401Z","title":"In: American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.921401Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:55f51dc7e4a93cce3db53b896d3792de02839db5a6e6b944d8782d2b36c2ecd8","observation_id":"d87c3c33-6388-43ba-affb-57da9e52b7c2","resolution":{"observed_at":"2026-08-06T12:41:31.921401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.285260Z","title":null,"venue":null,"work_id":"536e7565-0220-4d4e-960c-eaf644c43b08","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.925457Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:e3787a8d225acb5d8080e94a0f5db4080a6fc8dc8e922b72143dfa2939705225","observation_id":"367f2ce4-d776-465b-9029-989d5b92129f","resolution":{"observed_at":"2026-08-06T12:41:33.289692Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.270076Z","title":null,"venue":null,"work_id":"15da5435-5100-4af9-a9da-c0addfc54354","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.929777Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:1eb06006e76c42eb96415efecdf0e677118d61c8bc91de0ab72250bb281f417c","observation_id":"2b85eb42-e77e-4fd7-9eb6-116e719a9861","resolution":{"observed_at":"2026-08-06T12:41:33.274830Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.255442Z","title":null,"venue":null,"work_id":"388a9c5e-e52f-41dc-b6bc-bd18ed6fe4f3","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.933877Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:c94cbccb550ac53021951a4a40c02e76d743438d2934da417d3991d6d5bc6227","observation_id":"9dd885e4-d7df-4d38-b86d-b253eeb36cfe","resolution":{"observed_at":"2026-08-06T12:41:33.259714Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.240996Z","title":null,"venue":null,"work_id":"9d44d828-2bde-4b2e-b65b-3702387fd832","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.938333Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:c512b096a9e201bc5a0c689822a8c3db7587bdc0f7b490a667125b43d786f54d","observation_id":"5371771d-86c4-4a9e-82d2-0fc5da78a561","resolution":{"observed_at":"2026-08-06T12:41:33.245273Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.224737Z","title":"only if\"-direction; the","venue":null,"work_id":"d98937f4-21d9-45ed-98c0-f4036617bdc5","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.942898Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:022509e29099ecc0c715dabd2332398a094db5dbd3f0d94f8e1fcf883857ac80","observation_id":"2f62779a-1b50-4977-9044-b60c6f2694a6","resolution":{"observed_at":"2026-08-06T12:41:33.229808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.208306Z","title":", an, a′ n} contains a single element and this element satisfies Di","venue":null,"work_id":"dffb06db-61a2-4316-a8b6-bd7c0ab39496","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.947497Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:33bb85fc0fa14bf57f16f2711609a57a89453d552f9748848ca9743d02a855e0","observation_id":"4bcb8f3a-fc20-4cf2-b236-ac072682e721","resolution":{"observed_at":"2026-08-06T12:41:33.213030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.193284Z","title":"In the inductive base, we setw1 = r and D1 = D","venue":null,"work_id":"75cec895-625c-4114-83bf-8e048d43e5f4","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.952089Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:152aa3d0f5bffb5e8afd34e617f09dfdc2957e5851f625fbde7329bce54e3c62","observation_id":"648d6c90-655d-4583-899a-4fb3a24d07b1","resolution":{"observed_at":"2026-08-06T12:41:33.197787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.177792Z","title":"Proof of the claim.To show, (i)⇒(ii), let α be a satisfying assignment ofφ","venue":null,"work_id":"f1f2b6a4-db27-46c2-9ce7-0794f6bef525","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.956646Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:815dbc328a115def3dbb96b21599d86915c309bcaf73f990cab35eaf3b1e7e7d","observation_id":"c48d83da-440e-453d-9376-90bb5915e9d8","resolution":{"observed_at":"2026-08-06T12:41:33.182589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.163006Z","title":null,"venue":null,"work_id":"96cb084a-b6fd-4fd3-9a98-268c46c4d4fb","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.961091Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:0538752b7735a571152329cb11ac41f6c1b1a272b28442c15030f4fb8058dd4d","observation_id":"9a3054d3-15b8-4a9c-b689-f03eb388edbf","resolution":{"observed_at":"2026-08-06T12:41:33.167232Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:41:33.146842Z","title":"switch off","venue":null,"work_id":"f15670a5-464e-42d1-9d73-62e8e5e2d73d","year":null},"citing_paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T12:41:31.965964Z"},"links":{"citing_paper":"/paper/2507.21752"},"observation_digest":"sha256:d8445ed618e20214e529a40c4f9f65a1a08e10cf0cf9b7a980116530d87f7fc0","observation_id":"69a0fb3b-b0e0-48dd-a007-9a0d7d48e61c","resolution":{"observed_at":"2026-08-06T12:41:33.151122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.21752","last_updated":"2025-07-29T12:32:16Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T23:22:48.880457Z","submitted_at":"2025-07-29T12:32:16Z","title":"SAT-Based Bounded Fitting for the Description Logic ALC"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":3,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":24,"verified_exact":6,"verified_fuzzy":11},"total_outbound_references":50},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2507.21752."}