{"as_of":"2026-08-07T23:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:22a93eec5d483d0fdc63bdd9c567c0879ad0d47ec3627f37e86ad47da7a2c3a6","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:47:56.069947Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2506.07131/citation-record","integrity":"/paper/2506.07131/integrity","json":"/paper/2506.07131/citation-record.json","paper":"/paper/2506.07131"},"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-07T05:47:56.659205Z","title":"A set of postulates for the foundation of logic.Annals of Mathematics, Series 2, 33:346–366,","venue":null,"work_id":"3515f857-0c89-43d7-a6a2-2a8b0174c8a8","year":1932},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.956680Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:9879840e8d902aaf3d43eb9f69afcf8df36867626e3df85e2921171bd59f02d3","observation_id":"db8637fc-2169-45d9-b758-2c0dbcdd5c8e","resolution":{"observed_at":"2026-08-07T05:47:56.662958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.648636Z","title":"345–363,","venue":null,"work_id":"329eefb9-8449-45b0-9ac6-0bd445568cde","year":1936},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.961176Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:6a582addcae6c42cd6d6522a6c91c8c0fe2641c733984d64c8f89f38193ea237","observation_id":"70ef2b67-cbd4-4444-9cdf-76e7120b025b","resolution":{"observed_at":"2026-08-07T05:47:56.652002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.616794Z","title":"Hintikka, M","venue":null,"work_id":"2bcd3362-a1f7-4488-b094-90e27ef89d90","year":1986},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.977271Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:294bc3853ff9d7a295aaad36415ac62c2ba24fc27647882c607be00c603ace1f","observation_id":"f99a9e91-47e4-4e10-9184-0831453da036","resolution":{"observed_at":"2026-08-07T05:47:56.620621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00153-022-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:47:56.369622Z","title":"The Theory of an Arbitrary Higherλ- Model","venue":null,"work_id":"190affa9-4de2-4034-9936-705ebafd98c3","year":null},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.004223Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:72ea9fee60950de8b5c074daba3c5fde1bcf92799aca956e9144d57731dd4656","observation_id":"d154b2f6-5471-4328-942a-b304787f7cd2","resolution":{"observed_at":"2026-08-07T05:47:56.374917Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.15496/publikation-35319","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:47:56.109337Z","title":"Validity of Inferences Reconsidered","venue":null,"work_id":"19cd0e04-2040-42c5-a11c-817ded8a6947","year":2019},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.018702Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:eec4b2f6903cb023c2600d396d853d4f71ef9e26334a176ca46ebe8e4ffe1569","observation_id":"faba7b8b-d41b-48c6-9c04-ef4ce6f67b77","resolution":{"observed_at":"2026-08-07T05:47:56.112915Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-94-011-4574-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:47:56.096421Z","title":"https://doi.org/10.1007/978-94-011-4574-9 10 de Queiroz, R.J.G.B., Maibaum, T.S.E","venue":null,"work_id":"c4ea6a7f-9a58-4b5f-83c2-c17ae8c7a558","year":null},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.043718Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:fb52b0977b63ff5c0a3bee74468ecdc61e29ac1436079ad6b40acd9f7351c465","observation_id":"134db7b2-0bb2-430d-bd37-7d2d7eac069f","resolution":{"observed_at":"2026-08-07T05:47:56.101473Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.15776","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:47:56.216630Z","title":null,"venue":null,"work_id":"0b8fa7da-38fa-4f0e-9d56-d6539329a443","year":2021},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.058722Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:8b27e9ff348a424f7df2d61cab3b101a865612cf4de721675913ca36b0690a9a","observation_id":"3540a832-4c31-432e-a6b8-053e84a77a5f","resolution":{"observed_at":"2026-08-07T05:47:56.222617Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.01658","last_updated":"2023-03-22T14:40:06Z","snapshot_observed_at":"2026-08-05T10:52:53.476547Z","submitted_at":"2022-12-03T17:55:04Z","title":"The Strategic Balance of Games in Logic","version":2},"cited_work":{"arxiv_id":"2212.01658","doi":null,"metadata_source":"pith","pith_arxiv_id":"2212.01658","snapshot_observed_at":"2026-08-07T05:47:56.141672Z","title":"The Strategic Balance of Games in Logic","venue":"math.LO","work_id":"1bcb0e12-5b01-4a4b-a812-84b056b3de68","year":2022},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.066265Z"},"links":{"cited_paper":"/paper/2212.01658","citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:ba30ddef1aa1644a3ad5408c3edcf5280011e290b96a071c735b4e6e73f64515","observation_id":"611797bc-ed24-44b1-ae8a-35c5776deb09","resolution":{"observed_at":"2026-08-07T05:47:56.146365Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.459789Z","title":"Edited by the Wittgenstein Archives at the University of Bergen (W AB) under the direction of Alois Pichler","venue":null,"work_id":"68e81b10-42a6-4ad7-864d-9cc01ca23ece","year":2016},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.069947Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:054ab1b0eef63ee884d124e7c50bbb24c9f3585ffce803e4e4067dbaeb19336a","observation_id":"83c7e455-bcd7-421a-86c2-26968f075d28","resolution":{"observed_at":"2026-08-07T05:47:56.464133Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.483807Z","title":"de Queiroz, R.J.G.B., de Oliveira, A.G., Gabbay, D.M","venue":null,"work_id":"6aa6fb5a-1fe6-4bed-af93-9ab3953a29e2","year":2011},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.047983Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:320a14404eb4c5b1f396d526d1bd0acced0c814dcafbfbd6b4a2e4132e3781d0","observation_id":"7ee77555-1666-4633-8793-36054c27746f","resolution":{"observed_at":"2026-08-07T05:47:56.487571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.582158Z","title":"VII + 298 pp 27 Lorenzen, P","venue":null,"work_id":"14b31a17-7952-4f7a-8d7d-3d20b8e77e87","year":1969},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.988852Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:84af2b0ccaf20074825fd7d920084fff1f3398a6d1b76389908352cd20778533","observation_id":"7257c2de-e396-46c9-bd31-128d6ee6ac98","resolution":{"observed_at":"2026-08-07T05:47:56.586578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:55.973085Z","title":"I.Math Z39, 176–210","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1935,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.973085Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:58cd90325a4d0a40aef26100f649e188bba54a1e8661113313510a998a67f005","observation_id":"7aafd331-3484-4a01-92c6-fe536a36fbd4","resolution":{"observed_at":"2026-08-07T05:47:55.973085Z","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-07T05:47:56.638097Z","title":"1991.The Logical Basis of Metaphysics, Harvard University Press, Cambridge (Mass.)","venue":null,"work_id":"a4241c0f-4221-4f9d-af55-7abedfab5cf9","year":1991},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1936,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.965221Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:8218dc9cb3b74d13f157c1fbdd1041a97dbc348ff752e32fc5e0d033b7a37d60","observation_id":"ce3b193a-fc53-47bd-b4b4-e78560a8fb85","resolution":{"observed_at":"2026-08-07T05:47:56.641737Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.594491Z","title":"Konstruktive Begr ¨undung der Mathematik","venue":null,"work_id":"a3a801b9-7f58-45ab-868e-311d10a859de","year":1955},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1950,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.985290Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:0613ed307846f2261937e579375b1f5ea1b8faba08eb9932dc431d9fa56b8f5b","observation_id":"66898f64-944e-4625-babd-aff150ba3c09","resolution":{"observed_at":"2026-08-07T05:47:56.598444Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.627750Z","title":"2013.Basic Laws of Arithmetic, Ph","venue":null,"work_id":"fdef6de6-abfd-4090-a844-37a6b6b54d59","year":2013},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1965,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.969148Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:799f0f0e161c5b453002af026f33c6f8e702b83c24bf2941a43fbe5cf4cc0745","observation_id":"ae01780f-a836-4a25-b3d5-88f3842a1730","resolution":{"observed_at":"2026-08-07T05:47:56.631509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.471476Z","title":"InThe Kleene Symposium, J","venue":null,"work_id":"4b0e1ab7-75db-4478-b563-098d1a041015","year":1980},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1970,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.062844Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:2e0c90685889a81ca82c2628f34b5a1761e9b4faa2d3c4b24e5d7e2809e52f4f","observation_id":"7eaf374e-43b9-4e09-a309-5c6bf86c392f","resolution":{"observed_at":"2026-08-07T05:47:56.476337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.555747Z","title":"1965.Natural Deduction: A Proof-Theoretical Study","venue":null,"work_id":"bed4afd1-7cab-42da-ac2f-2712dbf2aa45","year":1975},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1975,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.015379Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:c67ea9db7248a912789b7df7a236f9faa0ecf87853010e140e300733fb86e56d","observation_id":"d15526b2-d052-49b4-8cf4-9abd1fa1da10","resolution":{"observed_at":"2026-08-07T05:47:56.559934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.606188Z","title":"The formulae-as-types notion of construction","venue":null,"work_id":"849490bb-cd03-4872-80e5-9dcb188e3ff8","year":1980},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1980,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.981609Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:ca15db1e0fdd286a11bc987ac543ac34e4b1f557e98b1f7c2bd7fa6b54ebeeae","observation_id":"d7a84760-7395-47e5-acab-83613d8e3994","resolution":{"observed_at":"2026-08-07T05:47:56.609877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.543247Z","title":"Note on Frege’s notions of definition and the relationship proof the- ory vs. recursion theory (Extended Abstract)","venue":null,"work_id":"547e3228-41df-4b45-a0b7-fdb55be90352","year":1987},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1987,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.022087Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:4e99a3e4e45681fdb1f4a0674a9d7f223ed3220f0bdadc53a5786dddfbfba06b","observation_id":"b33161f5-5151-4730-b1ab-0285fad3e623","resolution":{"observed_at":"2026-08-07T05:47:56.547716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.530520Z","title":"Meaning, function, purpose, usefulness, consequences – intercon- nected concepts (abstract)","venue":null,"work_id":"2f989b83-9afe-4db7-9745-42bfc3eec728","year":1989},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1989,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.025528Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:fdd3a32458fa8d5643ab357d5b08bd2e59ce835828100d8537792fa083a7d89d","observation_id":"7f7179fb-6e5e-4032-809f-2a98cd32a36a","resolution":{"observed_at":"2026-08-07T05:47:56.534926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.518583Z","title":"Grundgesetze alongside Begriffsschrift (abstract)","venue":null,"work_id":"0c6747bc-3ba6-4d65-befd-d236593cc205","year":1992},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.029140Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:1096308a0c9e17dc08f3f0374a597c093e8278f7961c8e55b4aecc841f4a7503","observation_id":"4f6c0005-e55d-4b8a-b990-3d54cac2cd5e","resolution":{"observed_at":"2026-08-07T05:47:56.522678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.506485Z","title":"Equality in Labelled Deductive Systems and the functional interpretation of propositional equality","venue":null,"work_id":"c01d8e51-2c0d-4df7-993c-a625cc99f7cc","year":1994},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.036859Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:3d931514202a9d7c9b52905b36c533036d153329c4d54ec9d0b9556f205092f2","observation_id":"199bcc1c-9829-4e0e-b273-bcded5c26415","resolution":{"observed_at":"2026-08-07T05:47:56.510529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.495000Z","title":"The functional interpretation of modal necessity","venue":null,"work_id":"c5a8bfa2-1490-4339-8687-77557756aa47","year":1997},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.040190Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:3a0ca2c44133dab08ef43b4cdccc7523a57af7ad3085aae2639dcf138cd5dc26","observation_id":"4406ae03-36c3-4833-8512-98bfde529f14","resolution":{"observed_at":"2026-08-07T05:47:56.498913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.568958Z","title":"A new basic set of proof transformations","venue":null,"work_id":"1f5dab7f-2821-42bb-9d26-ff9a2a865c6f","year":1932},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.011990Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:35274f9d2ad90b58ef2ba41389d33f520da97ff02e6d05a3894179ca3f7660b0","observation_id":"1ff56a1f-50fa-4a37-af07-2824de3ebc1e","resolution":{"observed_at":"2026-08-07T05:47:56.573239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.18949","last_updated":"2025-04-26T15:18:12Z","snapshot_observed_at":"2026-08-07T15:58:58.265418Z","submitted_at":"2025-04-26T15:18:12Z","title":"From the Notebooks to the Investigations and Beyond","version":1},"cited_work":{"arxiv_id":"2504.18949","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.18949","snapshot_observed_at":"2026-08-07T05:47:56.298600Z","title":"From the Notebooks to the Investigations and Beyond","venue":"math.HO","work_id":"23dcee34-f703-432b-bcff-51de8e9b0cd4","year":2025},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.032896Z"},"links":{"cited_paper":"/paper/2504.18949","citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:0d6fa78eabf782699cdbd4f5037eeac0e220ebde7043ad5677c4f36b7e0e88e9","observation_id":"2862e32b-664c-4bbd-b599-0ac0cdd360e2","resolution":{"observed_at":"2026-08-07T05:47:56.304104Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-94-007-5137-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:47:56.119736Z","title":"Verificationism Then and Now","venue":null,"work_id":"46d105e5-1d7f-43ea-87bd-ec773c6f1d90","year":null},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:55.993234Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:b93fc1b8f9175017a359ed6cf2b828efd71b95978ce12f522a060231e9d10405","observation_id":"bca38bfa-93bd-45d4-b2f8-6293f5a47615","resolution":{"observed_at":"2026-08-07T05:47:56.123159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:47:56.051658Z","title":"Propositional Equality, Identity Types, and Computational Paths","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.051658Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:e24a0b354b3d12c0108799ce1ccdd91342dccc0fbec1de05dac1ec72efaf9cda","observation_id":"65e8e4de-ecad-4245-b971-dedc64274866","resolution":{"observed_at":"2026-08-07T05:47:56.051658Z","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":"2021.16371","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:47:56.281016Z","title":"Convers ˜ao de Termos, Homo- topia, e Estrutura de Grup ´oide","venue":null,"work_id":"eb8fe1f9-a1f9-44bc-80f4-eb95624dd442","year":2021},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.055043Z"},"links":{"citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:b6961ea18afe4cacbf511a116966b6b104f977e1b6e1cf7cfafd4bd1b816e414","observation_id":"e8344e74-9289-4dc2-a4c0-c2cd8f3aa9b6","resolution":{"observed_at":"2026-08-07T05:47:56.286755Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.07103","last_updated":"2026-04-05T23:02:52Z","snapshot_observed_at":"2026-07-06T21:22:12.025373Z","submitted_at":"2025-05-11T19:54:39Z","title":"The $K_\\infty$ Homotopy $\\lambda$-Model","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.07103","snapshot_observed_at":"2026-08-07T05:47:56.008037Z","title":"TheK ∞ Homotopyλ-Model","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T05:47:56.008037Z"},"links":{"cited_paper":"/paper/2505.07103","citing_paper":"/paper/2506.07131"},"observation_digest":"sha256:bac3201122c1cefd226e784fb4ad5c9dd10995b3199d661eccb304744d9ac4f9","observation_id":"bb3cd282-c53d-446f-83ad-75c9cd752f81","resolution":{"observed_at":"2026-08-07T05:47:56.008037Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.07131","last_updated":"2025-06-23T12:50:40Z","latest_version":2,"primary_category":"math.HO","snapshot_observed_at":"2026-08-07T05:39:08.553626Z","submitted_at":"2025-06-08T13:20:13Z","title":"Meaning as Use, Application, Employment, Purpose, Usefulness"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":3,"verified_exact":5,"verified_fuzzy":18},"total_outbound_references":29},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2506.07131."}