{"as_of":"2026-08-16T15:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d041777774ddb58acf6734fccaf82630bf401a78b4132fff47651082716ed2fd","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:01:19.472127Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"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.02078/citation-record","integrity":"/paper/1908.02078/integrity","json":"/paper/1908.02078/citation-record.json","paper":"/paper/1908.02078"},"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-14T15:01:20.010483Z","title":null,"venue":null,"work_id":"3402f9d4-813c-46a8-b682-0efe9ebd2e9f","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.318049Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:172d885d368f7d1c1b31c3b50cff9c849b1061328eff368f89cda300785f01e7","observation_id":"9efd4315-3c16-4257-a8aa-ccf9c30d62f5","resolution":{"observed_at":"2026-08-14T15:01:20.024423Z","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-14T15:01:19.980400Z","title":"We will focus only on the first statement as it implies the second one by Prop","venue":null,"work_id":"6993afa3-f535-469b-9416-dd24aead382f","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.345555Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:ffa921d1ab5966396b111ead4363c6ac4b08e1799a52b4fcea01400a330bd8ca","observation_id":"4ebf0798-8982-435f-b323-72ff756a6f08","resolution":{"observed_at":"2026-08-14T15:01:19.986643Z","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-14T15:01:19.697773Z","title":null,"venue":null,"work_id":"8ca4f241-d458-466f-b46e-5e254346f69c","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.421256Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:cf271c43ef14c4cffeb172cab72cb981b77add2261b6649654f7f2ab58a404ee","observation_id":"878a1278-90c2-4444-939b-46debfde9e0b","resolution":{"observed_at":"2026-08-14T15:01:19.706712Z","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-14T15:01:19.949829Z","title":"∧ lv α k )⁄|= false, from the soundness theorem","venue":null,"work_id":"b794e721-111b-476e-beeb-7b001e165f93","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.353005Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:e0055119b1f77692d8e0d7085b8fa08ffe74c7757bd2ef08e2f5f3206ce69ad8","observation_id":"0525b243-a7cc-4306-9e7e-4c57d160d006","resolution":{"observed_at":"2026-08-14T15:01:19.957013Z","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-14T15:01:19.912148Z","title":"The first statement implies the second one by Prop","venue":null,"work_id":"23da8d0e-e31e-459e-a15d-696b597db7b0","year":1999},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.361291Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:7cc1cee621a6a4c7751b2ae5897ab05b1eb8c674b43e90de195106318bd07207","observation_id":"88fbb03b-beeb-4d8b-bab1-96fc677be87b","resolution":{"observed_at":"2026-08-14T15:01:19.920632Z","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-14T15:01:19.877235Z","title":null,"venue":null,"work_id":"2ecb04ee-3034-4bf1-b950-31c515917bb7","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.367410Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:5ec932e8e230470bbde520e34d22ab92977e08734907a37547ee6e5ffb5f67f6","observation_id":"9442ef48-d359-4809-abb1-d8e2613f2a3a","resolution":{"observed_at":"2026-08-14T15:01:19.884889Z","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-14T15:01:19.847009Z","title":null,"venue":null,"work_id":"113465b9-12c0-43ba-a73e-6ad712c52ccf","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.374164Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:49b45912597eafeaee94ddbfa1b5c4a751928d980b5540836e2a08c3fae5aa97","observation_id":"765cfd08-b299-4292-9b64-421388621ce0","resolution":{"observed_at":"2026-08-14T15:01:19.858802Z","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-14T15:01:19.807179Z","title":"The typed-norms of any input variable for any rule of m (including rule number j) will be propagated to the arguments ¯ xk of the call m(¯x, ¯y) in rule i","venue":null,"work_id":"7623870f-cceb-4b35-ba3a-a71714f050d6","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.384679Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:839b4de829c4c69bcb38ef66634cad5a4d5e039c436274d28f9437f2e8d453db","observation_id":"ed358fb4-9b30-4b53-bcbd-a4c1c2779db1","resolution":{"observed_at":"2026-08-14T15:01:19.819150Z","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-14T15:01:19.772403Z","title":"Thus there is a sequence of match guards match(x′ k,p 1)∧ match(z1,p 2)∧","venue":null,"work_id":"bfeedf4b-878d-4246-a451-cded4240a32a","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.400446Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:270a6d984afe2c9cda421278611877f7fa0aa002e213aaf0ad4349ae7e9ad114","observation_id":"be2207db-2b98-4535-b669-1a7b4a6668ce","resolution":{"observed_at":"2026-08-14T15:01:19.781330Z","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-14T15:01:19.739576Z","title":null,"venue":null,"work_id":"9eb5bf3b-1579-4ace-bf88-64bda68664e6","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.407865Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:083cf9ad479860dcdc90568bb546778582cc41ac0690ed66f265ab04ab5fe46a","observation_id":"3ab21ffd-e7aa-4e36-a8a7-650c9f36ed04","resolution":{"observed_at":"2026-08-14T15:01:19.747531Z","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-14T15:01:19.672346Z","title":"We will focus only on the first case, as the second one is similar","venue":null,"work_id":"3260ce5d-5fdb-4bab-9d02-fbb4f2dfbf09","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.429194Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:96a493d7fbcf019bd61671683309515d32d683e20cc86d635fbcf8cef958e018","observation_id":"e5ecdc06-7cc7-476c-87c9-cb70a25ed029","resolution":{"observed_at":"2026-08-14T15:01:19.681006Z","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-14T15:01:19.635519Z","title":null,"venue":null,"work_id":"0b90d06f-5e1f-4fa5-8d8f-109b3abaaadc","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.439424Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:874cf393706be08832a1e4a5bff5dd1e44b7a830c4c348460f9091900a49b2e0","observation_id":"8eeb8a37-3041-4f03-8222-e26dc5d193dc","resolution":{"observed_at":"2026-08-14T15:01:19.649493Z","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-14T15:01:19.603913Z","title":null,"venue":null,"work_id":"b665b1ab-0826-48cd-9647-96572dfe45f8","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.455381Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:53e77a3b0dfd73f9043f9f4fcd54ea7cf48b1391e6aef050dd52666cd2f0bd6d","observation_id":"3edaf485-f85c-4f4e-b025-484e66247fed","resolution":{"observed_at":"2026-08-14T15:01:19.612440Z","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-14T15:01:19.559608Z","title":"• Base Case: n = 0 In this case C0 ❀r1 C1 but C ′ 0⁄❀r1 C ′ 1 , where lv⊲T lv ′","venue":null,"work_id":"43c46581-edc6-46e7-a272-b7ac45f3f08a","year":null},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.472127Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:b5ebd243ded7361a6d0c31beb12cf4f45c50a2e13dcc088a996325f05266b2f2","observation_id":"00665ecb-b1b4-4f6a-991b-7e5f04e7930e","resolution":{"observed_at":"2026-08-14T15:01:19.579020Z","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-14T15:01:20.060845Z","title":"Grobauer, B","venue":null,"work_id":"655d4bc7-e218-42c1-92db-39fde729e595","year":2001},"citing_paper":{"arxiv_id":"1908.02078","last_updated":"2019-08-06T11:13:12Z","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference","version":1},"reference_index":2294,"source":"pdf_text","source_observed_at":"2026-08-14T15:01:19.306602Z"},"links":{"citing_paper":"/paper/1908.02078"},"observation_digest":"sha256:6b1cfc98845b486ef1b78e50f21e1c319eaafd39d750fc544c208a6a85b0da0b","observation_id":"f289bf6c-5f35-4214-96e2-d2c65d9d6ec1","resolution":{"observed_at":"2026-08-14T15:01:20.078265Z","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.02078","last_updated":"2019-08-06T11:13:12Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T04:45:08.727307Z","submitted_at":"2019-08-06T11:13:12Z","title":"A Transformational Approach to Resource Analysis with Typed-norms Inference"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":8},"total_outbound_references":15},"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 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:1908.02078."}