{"as_of":"2026-08-16T09:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de151fb5a523e5c78a5cbd4f0ba6d78606ee7988f946fddfbf33e0ee89da2d28","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:16:49.787970Z","state":"measured"},{"denominator":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.09479/citation-record","integrity":"/paper/1908.09479/integrity","json":"/paper/1908.09479/citation-record.json","paper":"/paper/1908.09479"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:16:49.894810Z","title":"Available at http://www.lsv.fr/~dowek/Publi/expressing.pdf","venue":null,"work_id":"17e41554-7def-4ed4-b0ee-03acc3b6a5d8","year":null},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.749110Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:637d899a8cadcd18762e16c6f50a93d709ca5d6cb3e04c57e7e3ae7a6f4a9d6d","observation_id":"62f4b591-bfbd-4577-aa25-14fedf6434f5","resolution":{"observed_at":"2026-08-14T11:16:49.898922Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:16:49.753688Z","title":"In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings , pp","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.753688Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:de10abf5fd5c896048134624313a1bf437f463a75e7bfd56d2cdb25dd016ea27","observation_id":"8c7e4e19-d31a-4134-bbf8-2b411fc3d833","resolution":{"observed_at":"2026-08-14T11:16:49.753688Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:16:49.881278Z","title":"Available at https://hal.archives-ouvertes.fr/hal-02083232","venue":null,"work_id":"7290530d-1bdd-480d-bd70-9c4e9aff04c6","year":2018},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.758250Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:954f8cc6a1c0c7ef59d598698c5b49ac7f4a040bcb031b84634a573ed68c4f6d","observation_id":"7f614613-e131-499a-a2a6-c3d46ae9f861","resolution":{"observed_at":"2026-08-14T11:16:49.885753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:16:49.869722Z","title":"Theses, ´Ecole polytechnique","venue":null,"work_id":"9f39f866-2d5c-495d-840c-fd0bffc966f2","year":2015},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.762623Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:84392dd96f46ec5d7826810259523c42efc733071d4eb01b4172b8ac1d6459dc","observation_id":"de475fea-c762-4b71-a68e-ba68ce247b8d","resolution":{"observed_at":"2026-08-14T11:16:49.873563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:16:49.857039Z","title":"Available at http://www.lsv.fr/~dowek/Publi/skolem.pdf","venue":null,"work_id":"82667180-52c2-4353-b9bb-c8f764b02f3d","year":null},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.771729Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:b7401b8f4ba89da132c0a69f58fd937732eacfd0098b59dda99d55ce7120a1db","observation_id":"7e0e8c07-e433-428b-ad9c-3857eac8d125","resolution":{"observed_at":"2026-08-14T11:16:49.862136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:16:49.776399Z","title":"In Ken McMillan, Aart Middeldorp & Andrei V oronkov, editors: Proc","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.776399Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:d61c6f117a67e9bb6051d2cba5e6a7d8120bcc153318d12b3c6e86aa955a2946","observation_id":"a30cbe75-efbd-4298-b81f-9fe170636121","resolution":{"observed_at":"2026-08-14T11:16:49.776399Z","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-14T11:16:49.780011Z","title":"Sutcliffe (2017): The TPTP Problem Library and Associated Infrastructure","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.780011Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:ecb5e4ee2f62c6280db99746a5be1ab341233533409648f7b3237c90100db627","observation_id":"58749ae7-6434-4ca9-a150-90f952f19a60","resolution":{"observed_at":"2026-08-14T11:16:49.780011Z","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-14T11:16:49.783999Z","title":"AI Commun","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.783999Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:40d38d0f0b8e0171a4b16bbb198cd5b6a2931f4a338440da425107966258df03","observation_id":"297679cf-53ff-4a01-bcc3-819513592af5","resolution":{"observed_at":"2026-08-14T11:16:49.783999Z","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.4204/eptcs.274.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:16:49.814694Z","title":null,"venue":null,"work_id":"24c70cc7-fe6f-47c6-963e-9c4093bd9df2","year":2018},"citing_paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:16:49.787970Z"},"links":{"citing_paper":"/paper/1908.09479"},"observation_digest":"sha256:19950e20e30165bfffe38d4c25b5f71ebca01329ad1b86bb23ef5164ead7b9b6","observation_id":"3fe426fd-3ab3-447a-8122-fc66998e89e8","resolution":{"observed_at":"2026-08-14T11:16:49.819330Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.09479","last_updated":"2019-08-26T05:39:13Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T05:21:10.309354Z","submitted_at":"2019-08-26T05:39:13Z","title":"EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":1,"verified_fuzzy":4},"total_outbound_references":9},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:1908.09479."}