{"as_of":"2026-08-07T17:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a786d952c30084b26f60ab682517e70ac965ef0b3b2624b77a7826eff1a6effa","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T08:14:31.781257Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"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/2607.21191/citation-record","integrity":"/paper/2607.21191/integrity","json":"/paper/2607.21191/citation-record.json","paper":"/paper/2607.21191"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:14:27.789656Z","title":"Cambridge University Press","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:27.789656Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:2d37b8cdbf019c87ad4771741fc8c2b3003fd9988767a08be1cc2d18b49bb0e3","observation_id":"f710e9ef-606d-4796-8379-5cdc0ef442e0","resolution":{"observed_at":"2026-08-01T08:14:27.789656Z","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-01T08:14:27.928402Z","title":"Cambridge Univer- sity Press","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:27.928402Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:1f981f8cea7b02b7911133f92f4b9a25cc35fd4667855a19c53261692eb394f4","observation_id":"c6ee59d8-547e-4daa-a1e7-d9ea7c34d21e","resolution":{"observed_at":"2026-08-01T08:14:27.928402Z","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-01T08:14:28.100366Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:28.100366Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:87d07097ad83ab1a3b6bfa53768d822cc3762a0164b86873b1fd937efd8a34bb","observation_id":"25ecd788-97c4-416d-ac66-5b372030cc1a","resolution":{"observed_at":"2026-08-01T08:14:28.100366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07185","last_updated":"2023-11-13T09:22:36Z","snapshot_observed_at":"2026-07-06T16:46:30.470666Z","submitted_at":"2023-11-13T09:22:36Z","title":"Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo Theory","version":1},"cited_work":{"arxiv_id":"2311.07185","doi":"10.48550/arxiv.2311.07185","metadata_source":"pith","pith_arxiv_id":"2311.07185","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo Theory","venue":"cs.LO","work_id":"84ed572d-3fdd-44da-91cb-611420146916","year":2023},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:28.217176Z"},"links":{"cited_paper":"/paper/2311.07185","citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:74ce7afe126d86ad104ac0a90fab8e5711b05015b3c8c139365c782c3d7d6689","observation_id":"76a9c26d-cceb-4346-90c8-dab4dc46beb3","resolution":{"observed_at":"2026-08-01T08:19:47.171639Z","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-02T15:38:06.532504+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:06.532504+00:00","source":"openalex_status_cache"},{"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-01T08:14:28.334109Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:28.334109Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:1232fbfb9049397b148e40fedf85e7547bd34abc4181c980e3bd3b75db5f43ff","observation_id":"8a593157-06ba-4b6b-91f4-e8c654d94d88","resolution":{"observed_at":"2026-08-01T08:14:28.334109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-85248-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings FMICS, LNCS 12863, pp","venue":"Lecture notes in computer science","work_id":"a7bd7cac-ed64-4041-ab21-0c0f7d5dbb84","year":2021},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:28.479680Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:002cd53736af13c7e0494069871aa12e80cc617b7d628a94224c6d1fcfb25698","observation_id":"30d6bf73-091f-49db-8117-95ee1b2deab8","resolution":{"observed_at":"2026-08-01T08:19:47.048749Z","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-02T15:38:06.718726+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:06.718726+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07878","last_updated":"2021-08-17T21:08:26Z","snapshot_observed_at":"2026-07-06T11:39:06.926826Z","submitted_at":"2021-08-17T21:08:26Z","title":"B Maude: A formal executable environment for Abstract Machine Notation Descriptions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07878","snapshot_observed_at":"2026-08-01T08:14:28.648433Z","title":"CoRR abs/2108.07878","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:28.648433Z"},"links":{"cited_paper":"/paper/2108.07878","citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:9569efba62a4fdd211992f98c4afe297c9e2399f655d75e3a683c11f8846613c","observation_id":"4f753e0c-1f00-4894-801e-8b730e52a9a0","resolution":{"observed_at":"2026-08-01T08:14:28.648433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-39698-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Butler & Issam Maamria (2013): Practical Theory Extension in Event-B","venue":null,"work_id":"641395dd-efdc-4e19-b53e-ec1fb50481eb","year":2013},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:28.796231Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:ed020b0bb83c56119ce58d2187802da6eaba08489fe28b74f4e993418936665f","observation_id":"a6320852-677e-4166-b7d4-15968667adbb","resolution":{"observed_at":"2026-08-01T08:19:46.999184Z","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-02T15:38:06.818226+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:06.818226+00:00","source":"openalex_status_cache"},{"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-01T08:14:28.928624Z","title":"In Chris- tian Attiogb´e & Dominique M ´ery, editors: Colloque ”From Research to Teaching Formal Methods: The B Method” (TFM-B’2010), APCB, Nantes, France, pp","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:28.928624Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:aebd17841937d2d8020eb7a64879a73f154078abd9b7ae3a3d87db8008d2040d","observation_id":"900e9ad5-4d84-47cd-bb5d-aab81c31cb75","resolution":{"observed_at":"2026-08-01T08:14:28.928624Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/logcom/8.1.33","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Logic and Computation","work_id":"b779c77b-f822-4be6-a9e9-8991fbf209e7","year":1998},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.056912Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:08bd34a35697b353ecece62e83bc52afaa7965a47e7441446892d7b341818d28","observation_id":"6a135d74-a1cc-46e7-9701-4843c0c840ef","resolution":{"observed_at":"2026-08-01T08:19:46.822851Z","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-02T15:38:06.917134+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:06.917134+00:00","source":"openalex_status_cache"},{"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-01T08:14:29.194506Z","title":"Gansner (2011): Drawing graphs with Graphviz","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.194506Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:c42887d9feaad05c26a74c8f26c3956a94dec015844f99dce6ea3a07b5b73d12","observation_id":"be91d1b0-abb3-4473-a7ae-22443a3c0597","resolution":{"observed_at":"2026-08-01T08:14:29.194506Z","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-01T08:14:29.319579Z","title":null,"venue":null,"work_id":null,"year":1935},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.319579Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:4060e1b75f48bcf3ae5db0862b3548a36108393abeea4227d8f956a41da4d08a","observation_id":"d7e16795-312b-434a-bcb0-5aeed3c74bac","resolution":{"observed_at":"2026-08-01T08:14:29.319579Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-94533-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:46.432204Z","title":"In: Proceedings ABZ, LNCS 15728, Springer, pp","venue":null,"work_id":"9de0aa7e-21fb-4322-9888-0bc152ad82d4","year":2025},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.513034Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:ba466d4d4bcd88abddc64441327f35ee19a74a16dddda327c24e994ed0702d8c","observation_id":"4d24e611-9666-4a61-8455-56cdbd708a4d","resolution":{"observed_at":"2026-08-01T08:19:46.518539Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:14:29.583490Z","title":"In: 12th Rodin User and Developer Workshop","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.583490Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:a93d0d389a4ade7e054720ed8e7980f9ccab8478d8b80f9cf0b56dfdddcd34ed","observation_id":"a85e9b6d-94fc-47e5-8ed8-8ca9c2f12764","resolution":{"observed_at":"2026-08-01T08:14:29.583490Z","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-01T08:14:29.653568Z","title":"In: Proceedings ICLP, EPTCS","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.653568Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:8c9d3428cfad0bcd601b640db828d9985545f5259cc0e27e264a4c1bc25c8d1d","observation_id":"963067bc-f35b-412e-ae09-d964c0d1664e","resolution":{"observed_at":"2026-08-01T08:14:29.653568Z","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-01T08:14:29.755543Z","title":"Acta Didactica Napocensia 3","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.755543Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:bea3af3e8f7bbf1aa9dc553272559dab1a928443caa89e4abe87d28acfcc565b","observation_id":"38e336ac-556a-4f6f-896b-a0608affe65d","resolution":{"observed_at":"2026-08-01T08:14:29.755543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s40751-025-00193-w","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Digital Experiences in Mathematics Education , pp","venue":"Digital Experiences in Mathematics Education","work_id":"dd8c82ee-b91e-4bfe-acb6-8cf31b65352f","year":2025},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.836769Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:25c9a6e8c4c17fd5b74691f3712362ff5df60d724af379a2e65861fca6f9e638","observation_id":"37bb803a-b270-460b-ab26-eef95a3c05e3","resolution":{"observed_at":"2026-08-01T08:19:46.219671Z","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-02T15:38:07.114333+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:07.114333+00:00","source":"openalex_status_cache"},{"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-3-319-33600-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:46.100212Z","title":"Romanovsky (2016):Rodin Plat- form Why3 Plug-In","venue":null,"work_id":"8bcd8065-3fbc-46ed-b5d6-d30ef79b5523","year":2016},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:29.916003Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:d1520bed3c1ef3195310947b8aeedc23fddc21cf69c2c2e5650d5393a489bb52","observation_id":"923fb3e4-a8c8-42ba-8618-8b6bc76c1ce8","resolution":{"observed_at":"2026-08-01T08:19:46.126368Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:14:30.084553Z","title":"In: Proceedings SEFM 2015 , LNCS 9276, Springer, pp","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:30.084553Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:6f8fe2c6ffdcc7c1e05f89ab3b417a5fff8edb8fa2640c781ca9c8f33bf57ba8","observation_id":"e56eb2ef-9c19-4a43-83be-11fc14ac01f4","resolution":{"observed_at":"2026-08-01T08:14:30.084553Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:14:30.257288Z","title":"In: Proceedings PPDP’2008, ACM Press, pp","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:30.257288Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:7dde675605639b26b6d5632e5e036112c01921057faac43265dfeb0ecad20f84","observation_id":"7bf5c088-3ea9-4980-a51a-036788b374d8","resolution":{"observed_at":"2026-08-01T08:14:30.257288Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-63461-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings iFM 2020, LNCS 12546, Springer, pp","venue":"Lecture notes in computer science","work_id":"a510e964-66de-4f1d-93c2-4ede4c99dd45","year":2020},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:30.398358Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:1b9ec21ded79f0a215266c52e4baff0ce616ba924ec2323e5f2e9f1b81f539a2","observation_id":"30c778ee-2cf2-4778-944f-598f8ce7b3cd","resolution":{"observed_at":"2026-08-01T08:19:46.061851Z","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-02T15:38:07.186039+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:07.186039+00:00","source":"openalex_status_cache"},{"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.4204/eptcs.320.6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings VPT 2020, EPTCS 320, pp","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"8a1293c5-a140-4c15-8676-f884a1506a83","year":2020},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:30.507576Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:26ed4600e823d57b41bdf9e062e019a37e5d93070936f890e01bc7e95c6dcf18","observation_id":"913165f1-de2b-4a22-a518-8d4c9df95b71","resolution":{"observed_at":"2026-08-01T08:19:45.947009Z","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-02T15:38:07.287043+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:07.287043+00:00","source":"openalex_status_cache"},{"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-3-031-35254-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:45.612821Z","title":"In: Prolog: The Next 50 Y ears, LNCS 13900, Springer, pp","venue":null,"work_id":"a10067e6-5ad7-42b2-b711-e458dc9c8bb8","year":2023},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:30.620735Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:e3d2cdf71e41263339c376663273a7c1be18381e17d3c05cb00b34e0268c9e1e","observation_id":"fde031b8-3fd3-4fd3-a85a-9218f198aef3","resolution":{"observed_at":"2026-08-01T08:19:45.706635Z","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.1007/s10009-007-0063-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Butler (2008): ProB: an automated analysis toolset for the B method","venue":"International Journal on Software Tools for Technology Transfer","work_id":"39ecfd1e-4170-418e-bfe7-133f8ed45dd3","year":2008},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:30.746306Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:b302079f783ed2f447a879e44f9c202d91a3e29f291a8fb933aac776fc02dc5b","observation_id":"9b237083-1969-44b8-8469-ccbcb14be74c","resolution":{"observed_at":"2026-08-01T08:19:45.590079Z","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-02T15:08:11.770752+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:08:11.770752+00:00","source":"openalex_status_cache"},{"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.1016/s0747-7171(89)80026-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of Symbolic Computation 8(1-2), pp","venue":"Journal of Symbolic Computation","work_id":"5e74e706-673b-469f-be92-ebbf88035f26","year":1989},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:30.997711Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:4b59c1f8b1455442c00bd52db0ee255e508d8ecb4cb7b6b5b14e5113cd974c62","observation_id":"08f117c7-e917-45ea-982a-6e933987690a","resolution":{"observed_at":"2026-08-01T08:19:45.395785Z","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-02T15:38:07.384622+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:07.384622+00:00","source":"openalex_status_cache"},{"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-3-031-93706-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:45.248781Z","title":"In: Proceedings NFM 2025 , LNCS 15682, pp","venue":null,"work_id":"33e1f236-0e65-4c2f-ac6d-b2eed53d7349","year":2025},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:31.178972Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:999ba3496ece3cc23a9a37a9f2ad3d793d96c58b79a1920994346cf40f475751","observation_id":"c5122b51-7aa5-4d4b-bd6a-9f942be5c3ec","resolution":{"observed_at":"2026-08-01T08:19:45.317232Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:14:31.329868Z","title":"AI Commun","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:31.329868Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:6f7c66751b3c8cf900747c692370e2c3d57108cabe1bef07ce96fde2f3968bbe","observation_id":"01751bda-bd10-40f9-8969-ebd799b77893","resolution":{"observed_at":"2026-08-01T08:14:31.329868Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3929/ethz-a-007577749","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Repository for Publications and Research Data (ETH Zurich)","work_id":"eccf38a9-7fa1-4bda-af6a-4e533cc04896","year":2012},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:31.516178Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:3f3c492768dfc59eda32e9115f73ce47abd2779fc28fb03a1865cec15c1bc14c","observation_id":"b02c1041-f5cc-4371-b942-c6765d154f16","resolution":{"observed_at":"2026-08-01T08:19:45.151402Z","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-02T15:38:07.52041+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:07.52041+00:00","source":"openalex_status_cache"},{"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-01T08:14:31.646327Z","title":"Available at https://hal.science/hal-04398119","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:31.646327Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:a9896799f1f8415ab524da3e4b5bbbf038a1704f51db5e536d7ddf8d0de294a2","observation_id":"e86fd9b8-a49b-4878-b1ae-35ac7497006b","resolution":{"observed_at":"2026-08-01T08:14:31.646327Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-48077-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings ABZ, LNCS 12071, Springer, pp","venue":"Lecture notes in computer science","work_id":"99348d13-84ae-4e99-a35e-00585b15009f","year":2020},"citing_paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T08:14:31.781257Z"},"links":{"citing_paper":"/paper/2607.21191"},"observation_digest":"sha256:2be9bd58e106d78b1d6db47dcfe73db7ef517ec889c7284c92d32678b555d87b","observation_id":"0eb60e5b-c94a-426b-9aa3-ef78911f537c","resolution":{"observed_at":"2026-08-01T08:19:45.004904Z","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-02T15:38:07.607292+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T15:38:07.607292+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.21191","last_updated":"2026-07-23T11:16:32Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T05:21:00.144591Z","submitted_at":"2026-07-23T11:16:32Z","title":"Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":5,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":14,"verified_exact":10,"verified_fuzzy":0},"total_outbound_references":30},"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 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2607.21191."}