{"as_of":"2026-08-16T18:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:84c127353b534289f4a4c3dd82a5b4030272af77c68705903683473cdc9c3161","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:18:01.039364Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"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.09478/citation-record","integrity":"/paper/1908.09478/integrity","json":"/paper/1908.09478/citation-record.json","paper":"/paper/1908.09478"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.435336Z","title":null,"venue":null,"work_id":"ba7e0718-1e93-4217-bd05-7c0413e21936","year":2010},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:00.984697Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:b803255271ca44e45387533015b9ec56fb80ce20a0b23aa6f5d5c34e70bbf42c","observation_id":"68966d9c-0b34-4964-9909-30c849ddc6fb","resolution":{"observed_at":"2026-08-14T11:18:01.439546Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.421059Z","title":"Available at https://github.com/pedagand/ssrbit","venue":null,"work_id":"91e0681e-73e2-4915-b7af-b471be859755","year":null},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:00.989476Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:d680022e0a5f47caf66a5915fa4adccc010b696e2ad2908adb6256b40568dee8","observation_id":"c173b049-29b8-4612-8f56-b16ae9ae112d","resolution":{"observed_at":"2026-08-14T11:18:01.425455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.406434Z","title":"Available at https://github.com/mit-plv/bbv","venue":null,"work_id":"7568a1a7-d6b0-4714-84ce-4b2435f8212c","year":null},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:00.994370Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:8199d99da79b4a92c1a0217e26660c20eca5114cf85f2d1f937992a62bd48582","observation_id":"9b41d4d0-15d5-46a9-a5a0-7b98f8c2c6a9","resolution":{"observed_at":"2026-08-14T11:18:01.411152Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:00.998645Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:00.998645Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:9955fc46e79b0e4975fb1c037bfaf12b885d52a60ad82938881ac6280c052de4","observation_id":"81643031-ee4d-4ce2-874d-414a53a26c0d","resolution":{"observed_at":"2026-08-14T11:18:00.998645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.391306Z","title":"Available at https://coq.inria.fr/library/Coq.Bool","venue":null,"work_id":"5290310a-351d-4184-9a82-10bfccf548e9","year":null},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.003192Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:f7eb2e7afd35741f56a23e92b58920eb428453bb41ffa5523c0f7145b9108c12","observation_id":"455c0f66-22e3-4130-8e23-b9830f5e65ce","resolution":{"observed_at":"2026-08-14T11:18:01.395868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.007780Z","title":"In: Proceedings of 29th International Con- ference on Computer Aided Verification (CA V 2017), Lecture Notes in Computer Science 10427, Springer, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.007780Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:717d0e2818864b158e1815762a8f2591e7a7ec60e812489269936996a5aad414","observation_id":"c1ce4718-58ba-43e4-936d-556ecbd64a9f","resolution":{"observed_at":"2026-08-14T11:18:01.007780Z","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.1016/b978-0-08-049646-7.50008-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.096175Z","title":"Enderton (2001): Chapter TWO - First-Order Logic","venue":null,"work_id":"81e3fd1d-a89f-41e3-b88f-788c52c6d1e0","year":2001},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.012350Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:cbf1bf02c479e931ca0b407c327af6821b919e4ada5ce7c1d6d5b0bf8760d5d6","observation_id":"5c76baf6-6a98-47ed-a801-3c76d3ab5d51","resolution":{"observed_at":"2026-08-14T11:18:01.103131Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.346608Z","title":"Fisher (1993): Representation and Symbolic Manipulation of Linearly Inductive Boolean Functions","venue":null,"work_id":"3f7250e8-b54b-4861-b629-b28e6e3351a1","year":1993},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.016808Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:f77aa9f0d73c8a19de1f6be19664d1b2beaffd831a5ca3a06a4426685567fbc3","observation_id":"3343dc51-cf29-431d-a79a-22f6bcaf5566","resolution":{"observed_at":"2026-08-14T11:18:01.351487Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.021184Z","title":"In: Proceedings of 30th International Conference on Computer Aided Verification (CA V 2018), pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.021184Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:1f54003718d9ceb335a11ca52e792556ece1cef8e37a1ff2031b3adf3ed74645","observation_id":"953e2651-d1d3-4a2f-8202-e7f3cc207095","resolution":{"observed_at":"2026-08-14T11:18:01.021184Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.377419Z","title":"To appear in the proceedings of CADE-27","venue":null,"work_id":"57aad50c-c830-4047-98af-b729beb1a245","year":2019},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.026100Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:9958b478c77b211f5d5f214a0eca2f107f9e83bcdf9067d1f7f5bfad1f858c69","observation_id":"49567573-e280-43ac-9cc9-3f3de93d8334","resolution":{"observed_at":"2026-08-14T11:18:01.381934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:18:01.030271Z","title":"Lecture Notes in Computer Science 2283, Springer Science & Business Media, doi:10.1007/3- 540-45949-9 6","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.030271Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:095e9dbae61019fb31832259a4039a0c7d7144fe77cc3e2939673f149f0d4d39","observation_id":"69f8e22d-9a14-4e16-b3ba-260b6b457ea0","resolution":{"observed_at":"2026-08-14T11:18:01.030271Z","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-14T11:18:01.034570Z","title":"In: Proceedings of the 1st International Conference on Interactive Theorem Proving (ITP 2010), pp","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.034570Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:25196a6a723fb85c1ab51ea2388aad2cfb3088c2f0ac12c2b11e42ba18e4deef","observation_id":"704430f9-8526-481c-8377-178b4d9396e0","resolution":{"observed_at":"2026-08-14T11:18:01.034570Z","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-14T11:18:01.361600Z","title":"Available at https://coq.inria.fr/distrib/current/refman/","venue":null,"work_id":"3b90365b-edc4-4f20-bd74-c6b66ae7edc3","year":2019},"citing_paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T11:18:01.039364Z"},"links":{"citing_paper":"/paper/1908.09478"},"observation_digest":"sha256:1d877155bde5b21f8fe7e9eae0c8159e290fb81579fade8da439d0b5ec608166","observation_id":"06367187-dc57-4dec-a62b-c0c694c7d8c3","resolution":{"observed_at":"2026-08-14T11:18:01.366121Z","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"}}],"paper":{"arxiv_id":"1908.09478","last_updated":"2019-08-26T05:38:56Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T13:06:20.850042Z","submitted_at":"2019-08-26T05:38:56Z","title":"Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":2,"verified_fuzzy":5},"total_outbound_references":13},"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 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:1908.09478."}