{"as_of":"2026-08-09T15:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0d2cecca8a499ff98557170154430c722de3ce5c8d9c578a7bddadf76d1e2eaf","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:48:15.745557Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2505.21103/citation-record","integrity":"/paper/2505.21103/integrity","json":"/paper/2505.21103/citation-record.json","paper":"/paper/2505.21103"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:13.528186Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.528186Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:c5b2ded0c8372d72d9a72307168e6da1785c61857e161f291016d35e4cbf158c","observation_id":"5e8f56b1-7401-45ea-a4b7-b60552c9e144","resolution":{"observed_at":"2026-08-07T13:48:13.528186Z","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-45072-3_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In: Fensel, A., Ozaki, A., Roman, D., Soylu, A","venue":"Lecture notes in computer science","work_id":"314432ff-b3a2-4872-b9ff-2a42af30e8d7","year":2023},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.576004Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:a4b51f629c16ad5c062af3228a91828fa0aab9b5c2462027cf8df18c7b531693","observation_id":"184a8eec-0f55-44d7-898b-c29ff7076a17","resolution":{"observed_at":"2026-08-07T13:48:17.934656Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-66167-4_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In: Dixon, C., Finger, M","venue":"Lecture notes in computer science","work_id":"b56451b8-4783-4cce-8b75-b0281e18650f","year":2017},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.632331Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:7ece3f5d9cad5470e620cc6779db086fea0ba7d9302f95a1d9760f6fd5b953af","observation_id":"86953fae-c94a-46d1-91d5-4e7cc3e65226","resolution":{"observed_at":"2026-08-07T13:48:17.751755Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/faia200146","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:17.520846Z","title":"In: ECAI 2020","venue":null,"work_id":"f07042cd-d728-4a90-b79e-3dd340877752","year":2020},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.682626Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:9faa38b99a481f13e375398876e0c8e2acf61c2c07e8ead35aeab6382be60920","observation_id":"29a11fca-6368-4c5e-a6ce-6d9bd461d1f5","resolution":{"observed_at":"2026-08-07T13:48:17.620521Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:21.240371Z","title":"(eds.): The Description Logic Handbook: Theory, Implementation, and Applications","venue":null,"work_id":"ec2652eb-f204-4e8d-bcf7-09c2af16934a","year":2003},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.767492Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:084cd681bbae36614b9bcb94a00c5067ae38b99988bfce0c3e82042325850d6b","observation_id":"3dc242fd-447e-4cde-9b50-80593a045699","resolution":{"observed_at":"2026-08-07T13:48:21.335528Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-29007-8_12","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:17.257647Z","title":"In: Herzig, A., Popescu, A","venue":null,"work_id":"2d4ddba1-37cf-4492-9f8a-40a9a1a52998","year":2019},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.840088Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:82b33b34f33a9f270b6cafa166cbfef66075f8adb6a8944bf6bacdc203ac62be","observation_id":"07d725b1-3200-4061-9c47-9abc9136983f","resolution":{"observed_at":"2026-08-07T13:48:17.378166Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:21.036474Z","title":"In: Mylopoulos, J., Reiter, R","venue":null,"work_id":"2ac2ee15-953a-475f-a49f-d41dffa6f5be","year":1991},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.913853Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:61c85413ebc664519cc732b9747f61c99839c62c1df78e373edf47b0575f0b91","observation_id":"f5156491-3dba-4995-9da0-c0411772dfb7","resolution":{"observed_at":"2026-08-07T13:48:21.145580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:13.981519Z","title":"Cambridge UniversityPress (2017).https://doi.org/10.1017/9781139025355","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:13.981519Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:7847b7c09963ff72777e5cd524a5168219eb370c10cef16abffa5df62ed67709","observation_id":"9519a691-9cf8-4045-b6cf-f269af30ca62","resolution":{"observed_at":"2026-08-07T13:48:13.981519Z","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-030-51074-9_24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:17.047584Z","title":"In: Peltier, N., Sofronie-Stokkermans, V","venue":null,"work_id":"1dbff72c-b812-433a-a46f-6dfab629565f","year":2020},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.035848Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:46894afd75402bfed944cf9b3f73fccf1a9779ed0da7b5d74f86a489cdc68bc2","observation_id":"0cbe79ad-2976-42b2-98f5-7c408601d087","resolution":{"observed_at":"2026-08-07T13:48:17.142223Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-022-09626-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:16.877399Z","title":"Journal of Automated Reasoning66(3), 357–407 (Aug 2022)","venue":null,"work_id":"398cef78-4e60-47f5-bd90-7bef94bd6c42","year":2022},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.082138Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:b61b1a79b1d9f41c5dcac77dc802815ecdf611ead101aba3c6249baf6d3a4b48","observation_id":"010ee3c1-5d49-4911-adc1-a0dbd3b0e8e8","resolution":{"observed_at":"2026-08-07T13:48:16.966321Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:20.876002Z","title":"Memoirs of the American Mathematical Society 66, 72 (1966), https://mathscinet.ams.org/ mathscinet-getitem?mr=216954","venue":null,"work_id":"e6e3a1b4-914f-4d43-9f48-07c810be287b","year":1966},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.123627Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:737f70b7cf5ac11573d9eeb70b6258d3c675dd5aa28722fde2ac0000ee2044f5","observation_id":"390d7908-e7d4-47f2-8c6e-5fb2801878d5","resolution":{"observed_at":"2026-08-07T13:48:20.939188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:20.559496Z","title":"In: Giordano, L., Jung, J.C., Ozaki, A","venue":null,"work_id":"7716acd6-fe5e-4ab5-8814-1b999c783fc5","year":2024},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.179243Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:10ce7d4d8607279cc138d31b22bacf8452f255874f4b0ac8acd1840da30ce928","observation_id":"5d0ead7d-c6b9-449a-9ecf-06868e8bf4c9","resolution":{"observed_at":"2026-08-07T13:48:20.728075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/978-1-61499-672-9-1440","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:16.647674Z","title":"general tboxes is decidable for concrete domains with the ehd-property","venue":null,"work_id":"e81c0c3a-ca96-489c-be8e-ac25ad5ca9f0","year":2016},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.230371Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:247773c986870df8c640cfc68e45e528abbb9f1d73a163ba1543277c9873336e","observation_id":"f3b8458b-140c-4f58-b506-4181c2e8b864","resolution":{"observed_at":"2026-08-07T13:48:16.774135Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:20.424722Z","title":"In: Gaggl, S.A., Martinez, M.V., Ortiz, M","venue":null,"work_id":"bf8cf596-ba33-4018-8624-6e4b42a3aa81","year":2023},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.311342Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:d59f9c1a455284ed79f6aed6cb189a0acc73576564489782aa728b727f58856e","observation_id":"5cf051e6-6769-4b48-8bde-220a9e6be931","resolution":{"observed_at":"2026-08-07T13:48:20.489702Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v31i1.10678","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:16.459985Z","title":"In: Singh, S., Markovitch, S","venue":null,"work_id":"5e8cf351-367a-42ea-8f0f-135a2c020adb","year":2017},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.372280Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:65a63176987052762cddce1184a20a28026541441e863d8e05530341f04eaa5f","observation_id":"dbe44f05-5ab4-4d87-9994-1eff6cfd6572","resolution":{"observed_at":"2026-08-07T13:48:16.539648Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:20.264431Z","title":"In: Allen, J.F., Fikes, R., Sandewall, E","venue":null,"work_id":"4834740e-bb42-4e22-bbe3-0e177a15ce2d","year":1991},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.437240Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:cdb8dcf1e0dac418167119d55fdb69d1f556528414b114f2c0b11ec0244c8353","observation_id":"943e69bb-25f1-45fc-bf07-b031b94dc1b9","resolution":{"observed_at":"2026-08-07T13:48:20.323885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:20.016316Z","title":null,"venue":null,"work_id":"e08c7f71-161c-4205-b43e-b97bc81fb62d","year":null},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.485610Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:2c3aa5127c41bcf190ca270485231234b52fd8bab1f4d5c608a2f715a040edfe","observation_id":"bc7b939b-9e3f-4fad-8ad9-516a7616fd7f","resolution":{"observed_at":"2026-08-07T13:48:20.107301Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:19.794623Z","title":"In: Nebel, B","venue":null,"work_id":"32485ae9-2dac-4bb8-bfb7-4a59e8f298a6","year":2001},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.572832Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:5e8ad1950688f2298fc8240340741e93c36dce779b6b9007cede33e78929e27d","observation_id":"bdb6dc6a-e7b1-42f9-8e9c-ecf20aeb8cc8","resolution":{"observed_at":"2026-08-07T13:48:19.918196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:14.650991Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.650991Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:a77274462882caf77f13a985395bee52246f92354a14ae5653e311eb9b2a161e","observation_id":"8b2f94db-9ed8-4f75-af40-21aaffa6f7f6","resolution":{"observed_at":"2026-08-07T13:48:14.650991Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:14.741104Z","title":"Artificial Intelligence257, 1–23 (Apr 2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.741104Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:691c5785cf6977103f932cb4fb894e6d12a21c732c075c10cf36c4f344a0ec11","observation_id":"692e1dbd-3d91-4867-9e5d-29d65e091a81","resolution":{"observed_at":"2026-08-07T13:48:14.741104Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:19.527189Z","title":"In: Pfenning, F","venue":null,"work_id":"6ef1fa52-daea-4c19-90cf-549b470d02bb","year":2007},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.820015Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:3d18e9440a7eb4555aabc1500fac79cb702e9121582221815f58002e3489d822","observation_id":"ed5e18a9-de6c-4466-aaec-eb8490e73085","resolution":{"observed_at":"2026-08-07T13:48:19.670549Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/kr.2020/61","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:16.228470Z","title":"In: Calvanese, D., Erdem, E., Thielscher, M","venue":null,"work_id":"18e19a80-e240-41ec-a711-5d0d29e30c3c","year":2020},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.866294Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:4284d1e00d93f2734dbba00e7d76a4c9e06e3476900f8cd10e2e61092aed38ff","observation_id":"41ae5549-a782-4f25-bb50-c0b0bb3831bf","resolution":{"observed_at":"2026-08-07T13:48:16.292213Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.artint.2013.05.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:16.109332Z","title":"Artificial Intelligence201, 32–58 (Aug 2013)","venue":null,"work_id":"31c68880-205c-48d9-bf04-a17e56190b4d","year":2013},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:14.953720Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:b8880f178c19941ca0873c96ab9716279d219cfd972a4f4dbf4e72edd3233d49","observation_id":"6a867f5e-fcb3-4563-a4d8-984cebd5566c","resolution":{"observed_at":"2026-08-07T13:48:16.159484Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:19.283343Z","title":null,"venue":null,"work_id":"3de30d0c-069b-43fa-a6d4-bd1fddd601aa","year":2002},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.017873Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:7db11e20b020352c4c4c193eb8c9c8c6c4382323ac4fa48f91d70fdda76f9a73","observation_id":"efbf0e10-ecb3-4b65-a640-f18ec2604d80","resolution":{"observed_at":"2026-08-07T13:48:19.395613Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4922.10249","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:18.156079Z","title":"ACM Transactions on Computational Logic (TOCL)5(4), 669–705 (2004)","venue":null,"work_id":"4c9aeea1-5448-48f5-89ea-4388f18efe32","year":2004},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.098279Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:3eed0ca76e8250065446f95c93e744732c17b45a81430a4c6b65eedf69d7999e","observation_id":"382976e8-a252-40db-b94f-c0bd64060bdc","resolution":{"observed_at":"2026-08-07T13:48:18.269429Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-006-9049-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:15.980318Z","title":"Journal of Automated Reasoning38(1), 227–259 (Apr 2007)","venue":null,"work_id":"c0aa88b9-423f-45c6-a19d-112bc894e785","year":2007},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.189043Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:9902d6be8c2dbbe46f989f1df048eeb75f4ee4242d9a72bbb38520014d06da62","observation_id":"e3fc54e9-0262-415a-bcae-3966a4038c3f","resolution":{"observed_at":"2026-08-07T13:48:16.029730Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:19.049027Z","title":"With a foreword by Martin Davis","venue":null,"work_id":"0534cfe8-82c4-4d09-a9b7-441a3e46115b","year":1993},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.302407Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:cd7ce921a29e0dc07d54634740b9642fd0b607d6eb2a8fdd314dfc29d0e57c0c","observation_id":"73e26c20-2cb8-47b4-8281-5124dead6933","resolution":{"observed_at":"2026-08-07T13:48:19.169341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:18.861697Z","title":"In: Nebel, B., Rich, C., Swartout, W.R","venue":null,"work_id":"d024679f-d92b-4dbd-97d7-0826eac2b12f","year":1992},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.372618Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:11761b54803e68eaec963d2671bc9fef376a5b9f34e5c9019ecc2f10cf5031f6","observation_id":"b8a84684-635e-40fe-ad81-27d32973ae60","resolution":{"observed_at":"2026-08-07T13:48:18.956943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:18.714123Z","title":"In: Mylopoulos, J., Reiter, R","venue":null,"work_id":"8c31be20-bae1-437a-9b15-f6b941924c9c","year":1991},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.450369Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:52cba8aa50c638123dbe585319b4a520be1f3ef27838d0f1a162a02dc4f0f204","observation_id":"9c6c7808-de53-4e56-8dd6-69907b511766","resolution":{"observed_at":"2026-08-07T13:48:18.771938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:15.525323Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.525323Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:f1c418f5319f8f77e52eef39b207abe89bf9d94796ddd9e0f7c4a089b684a55a","observation_id":"49d42c91-0bd6-4b2a-9a1c-55f805f11175","resolution":{"observed_at":"2026-08-07T13:48:15.525323Z","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.1093/logcom/11.1.85","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:15.827814Z","title":null,"venue":null,"work_id":"095f9274-a064-4179-ab44-99ff14dca95e","year":2001},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.620387Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:8dfabb060bfa70cb183c30cd32921561ae43dbafc0f963343668691751eb7663","observation_id":"6f2728f7-08bf-4540-9529-095d2419e335","resolution":{"observed_at":"2026-08-07T13:48:15.911464Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:18.530740Z","title":", pk.P ∈ tI(d) iff (c1,","venue":null,"work_id":"667d18f6-f78c-4779-963d-117743a6f202","year":null},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.690864Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:200a2937d00f1d31500fa8fe05427e95b15bf08a79a8284572854a235b2d65bf","observation_id":"f3f7dc99-f237-4e94-9b1e-f5b799efcc8b","resolution":{"observed_at":"2026-08-07T13:48:18.633851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:48:18.387907Z","title":"We know thatv = ve for some individuale = λd(x) with x ∈ Xd, and thus XP (α1,...,αk) ∈ v = ve iff αI 1 (d, e),","venue":null,"work_id":"97a01e58-d15a-4442-82b2-729bb5e7b0c5","year":null},"citing_paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:48:15.745557Z"},"links":{"citing_paper":"/paper/2505.21103"},"observation_digest":"sha256:89f49ccea66f4977ef2031ec3de5071c2e77e91af5ccb911a0b8ad279b1c7113","observation_id":"6cd50966-4c20-4665-9449-44856e9fced7","resolution":{"observed_at":"2026-08-07T13:48:18.457568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.21103","last_updated":"2025-05-27T12:28:09Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T13:33:14.039422Z","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":5,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":5,"verified_exact":12,"verified_fuzzy":10},"total_outbound_references":33},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2505.21103."}