{"as_of":"2026-08-17T14:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aa90f33207865357eef93cbbebf62a8bfbb0f9de5931632bdeb4f3b894ca1b53","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T07:53:57.541081Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2607.21307/citation-record","integrity":"/paper/2607.21307/integrity","json":"/paper/2607.21307/citation-record.json","paper":"/paper/2607.21307"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:53:56.551349Z","title":"QEL: Rational Ensemble Logic for Model-Checking-Based Cohort Discovery with Real-World Electrophysiology Data.Under review, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:56.551349Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:082c6d72d784d979fe2e561727c9bc4e796fa3e5a5fe9270fa3e0b2152c1bdfc","observation_id":"5a121235-5e4c-4c13-9954-22af46768b98","resolution":{"observed_at":"2026-08-01T07:53:56.551349Z","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-01T07:53:56.628957Z","title":"Temporal ensemble logic for integrative representation of the entirety of clinical trials.32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:56.628957Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:bcb97bca27cdc80ea61f5794dee4cf8e400fa58691ac0656bf259a6652261ac9","observation_id":"7f4f3acb-f906-4432-a09e-c60a3dea47d4","resolution":{"observed_at":"2026-08-01T07:53:56.628957Z","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-01T07:53:56.741765Z","title":"Formal representation of eligibility criteria: A literature review.Journal of the American Medical Informatics Association","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:56.741765Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:86522e7b8da985ccc58f9d8da24f912db4e230e6f8da60fe9cdd2f9c4fbeb507","observation_id":"4716623b-bc3d-474e-95d1-899dc56259ed","resolution":{"observed_at":"2026-08-01T07:53:56.741765Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.14443","last_updated":"2024-08-30T14:41:26Z","snapshot_observed_at":"2026-08-16T13:23:44.846934Z","submitted_at":"2024-08-26T17:36:25Z","title":"Temporal Ensemble Logic","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.14443","snapshot_observed_at":"2026-08-01T07:53:56.822209Z","title":"Temporal ensemble logic.arXiv preprint arXiv:2408.14443","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:56.822209Z"},"links":{"cited_paper":"/paper/2408.14443","citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:3920ea8934a146c145b7bb8c00c79f70945add27f315451489ffae26f83b2c8a","observation_id":"f8dc2ffc-1b73-45be-a58e-6713ce0583a2","resolution":{"observed_at":"2026-08-01T07:53:56.822209Z","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-01T07:53:56.902621Z","title":"Study Data Tabulation Model (SDTM) [Internet]","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:56.902621Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:b9b4279f747114b8ddc635045f7d1db1f08f8243105baacd314e68daf274561f","observation_id":"36cafffd-e810-4a51-9ae6-07514fe2bcbc","resolution":{"observed_at":"2026-08-01T07:53:56.902621Z","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-01T07:53:56.987239Z","title":"Ontology for Biomedical Investigations (OBI) [Internet]","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:56.987239Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:2079347532d76567ccb6233d73008bef4c8bd5bf732add604a47850ee01c0aef","observation_id":"4048d47a-1cd6-437c-a408-e28638867626","resolution":{"observed_at":"2026-08-01T07:53:56.987239Z","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-01T07:53:57.076140Z","title":"The temporal logic of programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.076140Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:7c68dd4d12b84f5a29bcd022d1a0bbb86e6e8bcafbe62579acacd105d8291c67","observation_id":"171a8e26-59df-4d3a-9bb7-caf3fdff55ac","resolution":{"observed_at":"2026-08-01T07:53:57.076140Z","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-01T07:53:57.130790Z","title":"Temporal data representation, normalization, extraction, and reasoning: A review from clinical domain","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.130790Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:1ea15f5dcc74400236184b970277afc6a631aa8a6c306dd557fd6a6a7313f7b0","observation_id":"23b1b9fe-7060-48f3-b186-c9660fe18886","resolution":{"observed_at":"2026-08-01T07:53:57.130790Z","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-01T07:53:57.196188Z","title":"Using features of Arden Syntax with object-oriented medical data models for guideline modeling","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.196188Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:b92902994cf2feb77c6db44fbda8d13f0958349bb2de9d87aa13d6c44a9cdb13","observation_id":"06173a88-5791-45f6-b682-16392172c648","resolution":{"observed_at":"2026-08-01T07:53:57.196188Z","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-01T07:53:57.238452Z","title":"BFO: Basic formal ontology","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.238452Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:04ed2a909f8f42f450b7274eac71ea424be9240df0387df7606fb5e172714f48","observation_id":"97de3b10-8679-4aba-87a1-8a8cf6174083","resolution":{"observed_at":"2026-08-01T07:53:57.238452Z","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-01T07:53:57.263718Z","title":"Maintaining knowledge about temporal intervals.Communications of the ACM","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.263718Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:77f05dcf0eca7383c1ce14798c29b885244c1bb27c5408b2854fbc01552432bf","observation_id":"7053e7d1-2377-4c70-aeeb-2706def15477","resolution":{"observed_at":"2026-08-01T07:53:57.263718Z","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-01T07:53:57.310848Z","title":"A propositional modal logic of time intervals.Journal of the ACM","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.310848Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:cf4452ccb7cdf5729f8e7000e66fec1729126b60f7627a73817f14d7f113ddb8","observation_id":"97c41903-83f8-4cb8-b7f8-878b58b6ed7b","resolution":{"observed_at":"2026-08-01T07:53:57.310848Z","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-01T07:53:57.356050Z","title":"CT-TEL-scaleup: Scaling Up Formal Representation of Clinical Trial Proto- cols in Ensemble Logic Using LLMs [Internet]","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.356050Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:772d7b5ab98da596fdf7d4fc93bf3f233c8c1d920278d5b686d3ab11e4660ed2","observation_id":"14505dec-192c-4741-8357-5e7855873fb3","resolution":{"observed_at":"2026-08-01T07:53:57.356050Z","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-01T07:53:57.408769Z","title":"The unified medical language system (UMLS): integrating biomedical terminology","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.408769Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:33fff3bc63d59b63ec19dbecfd5761a4a58e5a3cb141cafed465981216290d6d","observation_id":"5c8086af-4b67-446f-b147-b462f59d4554","resolution":{"observed_at":"2026-08-01T07:53:57.408769Z","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-01T07:53:57.458416Z","title":"AD-CDO: A Lightweight Ontology for Representing Eligibility Criteria in Alzheimer’s Disease Clinical Trials","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.458416Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:f0ea0d60193109e8ede94b292b720af73f9050e2bfe45ec62de516c7b578558f","observation_id":"07568d6b-4e9a-4fbc-99cf-73f9f604dbdd","resolution":{"observed_at":"2026-08-01T07:53:57.458416Z","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-01T07:53:57.541081Z","title":"Bethesda (MD): National Library of Medicine (US)","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T07:53:57.541081Z"},"links":{"citing_paper":"/paper/2607.21307"},"observation_digest":"sha256:c32be60a169f369c74b72434cdd8a73f01cf70d71db7385cbbc09d936f587e3a","observation_id":"d14e870e-3204-4864-b9fc-a85d31017cdc","resolution":{"observed_at":"2026-08-01T07:53:57.541081Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.21307","last_updated":"2026-07-23T13:31:05Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-08T03:02:23.836650Z","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":16},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2607.21307."}