{"as_of":"2026-08-16T11:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fabfb81a9426ebb8a2464a78d4871651713b9eaf452c8dea345203e1ccc9a399","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T16:02:51.291041Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"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.00922/citation-record","integrity":"/paper/1908.00922/integrity","json":"/paper/1908.00922/citation-record.json","paper":"/paper/1908.00922"},"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-14T16:02:51.838907Z","title":"Albuquerque, J","venue":null,"work_id":"1e122a40-f5cf-4f4c-b9ab-b20e4199bc61","year":null},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.036182Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:a1c3b610bbb129f5db21472fff41412f97318af2051764cfc42d2861a42aa868","observation_id":"086a00d4-9763-4496-bff5-403853f09c8a","resolution":{"observed_at":"2026-08-14T16:02:51.846079Z","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-14T16:02:51.041868Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.041868Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:440b45094677bd8bd3bac11ba32371782bfcc48162c64f8b14a78a6d72381308","observation_id":"5e1a15be-f952-407e-a9cd-d3b21edfbdb0","resolution":{"observed_at":"2026-08-14T16:02:51.041868Z","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-14T16:02:51.798726Z","title":null,"venue":null,"work_id":"69f105e4-e947-484b-9759-931008fce0f7","year":1977},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.047073Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:9f409a601b6d035ec067b4b69973828d0a2accad056952d2b54a89d295c9f90a","observation_id":"4a4853b3-5f89-4e5c-b758-726cfd2c1ec4","resolution":{"observed_at":"2026-08-14T16:02:51.805609Z","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-14T16:02:51.777792Z","title":"Bezhanishvili, T","venue":null,"work_id":"08930f15-575d-4794-b6de-6b252508b6fd","year":2017},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.052633Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:e7335d6218890fbd788d286757f2ebfb5321ed80a4ee416def3f98d6d8e8540f","observation_id":"f23d6801-f3fc-47bc-9ff2-30dc0539282f","resolution":{"observed_at":"2026-08-14T16:02:51.783710Z","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-14T16:02:51.759745Z","title":null,"venue":null,"work_id":"391add5c-78ab-4957-bb88-ef9c23bf16a8","year":2006},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.057757Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:197f1e1feb9b4884769dd374c97bfe7b083069bb7b6fde4118ddeb75d70b5a8d","observation_id":"a9692b30-3712-49ac-9bc6-7b89a1ec9cf9","resolution":{"observed_at":"2026-08-14T16:02:51.765411Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:02:51.063510Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.063510Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:8f9bbf2960cc4ba3dd3c9450f93bce063501bd0715257304fcf0ee211723560a","observation_id":"28cb6e54-658a-4c40-a688-93d78113341b","resolution":{"observed_at":"2026-08-14T16:02:51.063510Z","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-14T16:02:51.068844Z","title":null,"venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.068844Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:4e50251c0a327ed1d2a53367f10c789570fe4e72f6ded0fda381503b391b7680","observation_id":"de961874-ae54-45d3-9dcc-3fa35b277bd8","resolution":{"observed_at":"2026-08-14T16:02:51.068844Z","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-14T16:02:51.699806Z","title":null,"venue":null,"work_id":"ae9cd0a4-0a42-41c7-beb3-0ef03feec052","year":1997},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.075310Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:04c3b5c086b6d8fb747c352b2fbef91c85971e512ea58e6db59966b073ddd850","observation_id":"9051fa19-603b-4ca8-a5cc-d4d2d65427a8","resolution":{"observed_at":"2026-08-14T16:02:51.704785Z","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-14T16:02:51.669011Z","title":"Burris and H","venue":null,"work_id":"d70aa700-8daa-47a9-a331-0ca2a2f1382f","year":2012},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.081367Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:f107f5484668687ba5bf9beba853c501a3830e3174d7fa9627a13a9bc98afd9c","observation_id":"81904aca-eea4-4f54-87ac-f222f840e6d0","resolution":{"observed_at":"2026-08-14T16:02:51.683487Z","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-14T16:02:51.087252Z","title":"Chagrov and M","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.087252Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:7eaaa9d397b8f9f1837c38c11e2a4bd53447f92bba75d7661d850fab153a1f75","observation_id":"5332616d-b4cf-4b74-a1c8-8abeef7895ec","resolution":{"observed_at":"2026-08-14T16:02:51.087252Z","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-14T16:02:51.101112Z","title":"Czelakowski","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.101112Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:cacce954e23cf9295a7fce59ff998b1384c3a0b2e3fbcd9689072419a80b047e","observation_id":"d92191b7-11e6-4e80-b241-673c99844d39","resolution":{"observed_at":"2026-08-14T16:02:51.101112Z","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-14T16:02:51.621606Z","title":"Czelakowski and D","venue":null,"work_id":"c7af442c-713c-4ac5-a33e-27c8c5ec6772","year":1999},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.108558Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:b9ed5c626e689aa68a5b2da878b095ed17df98f57f8ed005492311eb7eb5bee7","observation_id":"06db8d67-ff33-4e46-a421-5573432b53e1","resolution":{"observed_at":"2026-08-14T16:02:51.627790Z","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-14T16:02:51.114482Z","title":"Czelakowski and D","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.114482Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:b040a604c6f2cb5ffdd10df7c6e5d57e754056a660ca717638ef5d91ae324700","observation_id":"29d02797-1bd3-46dc-8f2b-bf29839ebde4","resolution":{"observed_at":"2026-08-14T16:02:51.114482Z","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-14T16:02:51.132040Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.132040Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:ceec11dd9057e785200fb694dd98d2b605147965eda399fba459bdb082dd6849","observation_id":"dd0a6547-8dc8-43c6-a043-569d9b1adc5c","resolution":{"observed_at":"2026-08-14T16:02:51.132040Z","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-14T16:02:51.579941Z","title":null,"venue":null,"work_id":"e60e52dc-d18d-4889-992d-d6eda928b0d7","year":2009},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.140170Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:4df3910221a5a28547862e4274bc2f054ec31ca6090294896fb077d7507ea931","observation_id":"ae84aeb1-dc07-48bb-86d8-cf8c6a555750","resolution":{"observed_at":"2026-08-14T16:02:51.585245Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:02:51.145793Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.145793Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:510304d6cd25505a3a4987b4de2c28ef8086096f6965837777653055d1e79e23","observation_id":"9d8c1d2a-9c16-4112-a7dd-efdef558e006","resolution":{"observed_at":"2026-08-14T16:02:51.145793Z","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-14T16:02:51.151695Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.151695Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:2e171fe1d23017b1c44670545cca6628173df51eb01508608b7fdc0cf588dd7e","observation_id":"cc4f6cb7-8be1-4785-a5d0-b734837b7b0d","resolution":{"observed_at":"2026-08-14T16:02:51.151695Z","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-14T16:02:51.532290Z","title":null,"venue":null,"work_id":"fe34f582-7c7d-4964-ad45-250f49b6d056","year":1966},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.158721Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:8df291dc4d8050843330295102e9804a58850e2f7aab8b9bd52374949005d9a9","observation_id":"69d8038c-8758-495f-8b2e-39101037e438","resolution":{"observed_at":"2026-08-14T16:02:51.539078Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:02:51.164181Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.164181Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:fad823b19dec13be048fc11f44e5891efe80b3b4278cc1e91278770202b44c4b","observation_id":"83105552-bad9-4674-ad47-4a77a1a20220","resolution":{"observed_at":"2026-08-14T16:02:51.164181Z","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-14T16:02:51.490036Z","title":null,"venue":null,"work_id":"8ef091ce-30bc-4e99-b85c-80db18a2c127","year":2014},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.169481Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:c85f5dd74ce633467e99e4b9f92d0ad9f2ddb33e3d51e42a5b76314cbacdc032","observation_id":"fb19d9e1-39f2-4b09-b271-92a287dbf569","resolution":{"observed_at":"2026-08-14T16:02:51.496649Z","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-14T16:02:51.473834Z","title":null,"venue":null,"work_id":"53b247f4-ed51-4fa3-b685-e854b049ddf6","year":2005},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.176408Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:3653927f164f5c5a94cad10bffa2c08679916cb902d32054a814063a54036f3f","observation_id":"f8d2ac69-218a-4225-96d4-99f7502a0c3b","resolution":{"observed_at":"2026-08-14T16:02:51.478610Z","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-14T16:02:51.455758Z","title":"Hoogland","venue":null,"work_id":"9b061e57-4bf3-45fe-9fda-5a357565db2a","year":2000},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.204758Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:aacda1b5c9c0c47d0501b7409bb05c1da8ca78010da9101355f1fb45a3c624e0","observation_id":"7d86b24f-9f89-454f-91b5-e324993d29bb","resolution":{"observed_at":"2026-08-14T16:02:51.461174Z","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-14T16:02:51.437421Z","title":null,"venue":null,"work_id":"21c50dcf-4579-4e18-979a-bbc0c2500bbf","year":2005},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.234874Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:3be982179f1b780c3616e5346641a82fbe82631d81ac77e37aa3095276cd3eb7","observation_id":"d7ec7430-239f-4b4c-b7cf-2165528a2cec","resolution":{"observed_at":"2026-08-14T16:02:51.442734Z","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-14T16:02:51.414914Z","title":null,"venue":null,"work_id":"4ce1bf8b-ede9-4da7-9849-072d24ee791d","year":1977},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.269274Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:484aa2d9b0bff4ca351aa71fedf2d001edccfae2b57ef59b53dacd2abac105e1","observation_id":"0f22a6d4-a689-4d59-8d0b-f6bd32752032","resolution":{"observed_at":"2026-08-14T16:02:51.421707Z","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-14T16:02:51.396396Z","title":"Matiyasevich","venue":null,"work_id":"9787295a-70b5-46f1-9a73-ae7b6799a14c","year":1993},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.277148Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:00ad97f8d5fcb1cb36f8b4527153e81f03037be1748d5878dad531ea8d8f08c2","observation_id":"68fab3d1-2dae-4334-84a0-311b2867afba","resolution":{"observed_at":"2026-08-14T16:02:51.401626Z","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-14T16:02:51.377855Z","title":"Tarski and S","venue":null,"work_id":"47700877-79c4-4e69-9fc1-c06cb1d8d119","year":1987},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.285091Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:eed4b06c37d6812e80d1030b70189230d4ded34b5cc7ab843969caa64e065e7b","observation_id":"a59a722f-69ae-4f7a-b2e6-ad8b2203c811","resolution":{"observed_at":"2026-08-14T16:02:51.383272Z","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-14T16:02:51.336079Z","title":"W ´ojcicki","venue":null,"work_id":"e63731b9-38fe-44b2-8220-c4e0772399cd","year":1988},"citing_paper":{"arxiv_id":"1908.00922","last_updated":"2019-08-01T17:50:06Z","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T16:02:51.291041Z"},"links":{"citing_paper":"/paper/1908.00922"},"observation_digest":"sha256:c793cae9d891944816bd874b5326e424f32dbd35bcd472a7536fcc63bb7caccf","observation_id":"f378243c-a853-4ecb-970a-a4369f3eddbb","resolution":{"observed_at":"2026-08-14T16:02:51.358961Z","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.00922","last_updated":"2019-08-01T17:50:06Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-14T15:46:40.692197Z","submitted_at":"2019-08-01T17:50:06Z","title":"A computational glimpse at the Leibniz and Frege hierarchies"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":0,"verified_fuzzy":8},"total_outbound_references":27},"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 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:1908.00922."}