{"as_of":"2026-08-08T08:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:804f5de4bc956081a99d9057079aaa2d8de9bb558f5349f5c395b7cc43993d9f","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:12:57.648790Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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.08628/citation-record","integrity":"/paper/2506.08628/integrity","json":"/paper/2506.08628/citation-record.json","paper":"/paper/2506.08628"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5340.2015","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:58.369267Z","title":"Hi story and Philosophy of Logic 36(3), 195–204 (2015) https://doi.org/10.1080/01445340.2015.1084183 29","venue":null,"work_id":"d078cb5e-5660-4a8d-8ca6-97e53f17e22a","year":2015},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.491933Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:d42911a88489a89e403f930be9f7c10513e061384611f92aa1fed348ae6e0e8b","observation_id":"2d6e9874-2c19-40cd-a28c-04506cb998c3","resolution":{"observed_at":"2026-08-07T05:12:58.374728Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-00966-7_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: Paule, P","venue":null,"work_id":"35ecd6a2-05c8-49a1-be4e-d72098c7648b","year":2013},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.496414Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:8c4f46c19585964d5fba956dcbeb3e6e5864ce87491961c01811684b58ab5f0b","observation_id":"f6dae2d1-254e-4c62-bfe8-b932733ba716","resolution":{"observed_at":"2026-08-07T05:12:57.749665Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlamp.2019.02.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:57.733927Z","title":"Journal of Logical and Algebraic Methods in Programming 104, 201–226 (2019) https://doi.org/10.1016/j.jlamp.2019.02.005","venue":null,"work_id":"d7964abb-0bfa-4da8-96c4-7448bd6ba1ec","year":2019},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.500298Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:551f3aeaf4bf0b4e3f23802f85b3ee59dbc3fe2628d70b0a47717436c3299f17","observation_id":"80e901c1-55aa-49a8-8c9d-23d3ed07ade5","resolution":{"observed_at":"2026-08-07T05:12:57.738647Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:57.504485Z","title":"Springer, ??? (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.504485Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:924604ce7ebe646c40d91fbb9f4d150bb2146f8fdaab39afc7d89697af77ff01","observation_id":"91dad9bd-47bc-40e2-82da-4f91a20ffa4b","resolution":{"observed_at":"2026-08-07T05:12:57.504485Z","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":"2018.28418","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:58.295475Z","title":"IEEE Transactions on Knowledge and Da ta Engineering 31(4), 686–705 (2019) https://doi.org/10.1109/TKDE.2018.2841877","venue":null,"work_id":"10c146cb-9366-4e51-8b2e-4df34f3bd078","year":2019},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.508357Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:0d9a8ee339aaa30d1c530faadf856bed1c3b0fc50791ad666a18c50991785800","observation_id":"f55f2aee-dac6-4fb9-b786-48b6916580dc","resolution":{"observed_at":"2026-08-07T05:12:58.300929Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.622639Z","title":"In: Knowledge Sci- ence, Engineering and Management: 12th International Conf erence, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II 12 , pp","venue":null,"work_id":"b54461a9-478f-4868-88c9-ae5887b499e5","year":2019},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.512028Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:2efc46575819b6189c18bd129ed098e9c7f191d687461799bce60c204687774a","observation_id":"d375d1e9-15db-4fb1-ae2f-9756ea4cd9b2","resolution":{"observed_at":"2026-08-07T05:12:58.626332Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:57.515963Z","title":"IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004) https://doi.org/10.1109/TKDE.2004.47","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.515963Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:9696344ebe3ced7a048f53d8cbfe74711ebde530a986dfd33b7b1d351ae41627","observation_id":"d763f3e3-bb41-4f34-a817-ee4887881cd5","resolution":{"observed_at":"2026-08-07T05:12:57.515963Z","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:12:58.612252Z","title":"BETA Working Paper Series, WP 166, Eindhoven Uni versity of Technology, Eindhoven (2006)","venue":null,"work_id":"86d3d093-0c0b-4f90-9e1b-00f5ed53e184","year":2006},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.519865Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:aa0cbd0cfb7f98fbb597988a33b74491cfe7bfdb597d51a710cb484af29273b9","observation_id":"dc1d7a2b-619b-41bb-8eda-ce144b85464f","resolution":{"observed_at":"2026-08-07T05:12:58.616093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:57.523381Z","title":"In: Lohmann, N., Song, M., Wohed, P","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.523381Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:c36837dcd63582f5430e0781725de08b914796056594f1a1af2483489fdf6977","observation_id":"55f48662-96c4-4c63-9310-b6e3f0096594","resolution":{"observed_at":"2026-08-07T05:12:57.523381Z","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:12:58.602111Z","title":"In: Business Process Man agement Work- shops","venue":null,"work_id":"4a020fbc-7f34-42f4-9ebb-00df638de893","year":2025},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.526926Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:df90ecd0e60220957e0688772493eb79413a45c6652f5b56687a4967613633ec","observation_id":"d985f73d-65b7-4c38-92c9-8c3b07cc73f9","resolution":{"observed_at":"2026-08-07T05:12:58.605868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2008.02097","last_updated":"2020-08-04T07:37:07Z","snapshot_observed_at":"2026-08-05T04:09:22.790726Z","submitted_at":"2020-08-04T07:37:07Z","title":"Comparison of Source Coding Techniques for the Vehicle to Vehicle Communication","version":1},"cited_work":{"arxiv_id":"2008.02097","doi":null,"metadata_source":"pith","pith_arxiv_id":"2008.02097","snapshot_observed_at":"2026-08-07T05:12:58.217686Z","title":"Comparison of Source Coding Techniques for the Vehicle to Vehicle Communication","venue":"eess.SP","work_id":"ccd0cb51-739e-4a21-8714-dafe6b4b5280","year":2020},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.530167Z"},"links":{"cited_paper":"/paper/2008.02097","citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:a4756b0381f08cccdfa9f581ffe67e1624748874cfe9e1e67c277ef94b0033bd","observation_id":"b98ec8da-35aa-4a4d-b689-906a70d122dd","resolution":{"observed_at":"2026-08-07T05:12:58.221896Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.591654Z","title":": From bpmn process models to bpel web services","venue":null,"work_id":"318e30f1-91b8-491a-ac93-4723788f5e47","year":2006},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.534180Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:24acf1a74971c46a5dc164e9c9f0bb5620f3de8a59ac99253646148c2a899d4f","observation_id":"2eae587a-8a93-465f-bbd5-7c30758f3376","resolution":{"observed_at":"2026-08-07T05:12:58.595195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.581620Z","title":"In: L atour, T., Petit, M","venue":null,"work_id":"9d7da7f2-a784-47d5-8b93-666c895e4ed8","year":null},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.537636Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:9dc8ec2965694a9804f1f3159b0e1e361537fd9696350b38ab4e55a03b435bf2","observation_id":"20e84484-2020-4f6a-9819-078d18aaf285","resolution":{"observed_at":"2026-08-07T05:12:58.585161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:57.541224Z","title":"Information and Software Technology 50(3), 131–159 (2008) https://doi.org/10.1016/j.infsof.2006.11.004","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.541224Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:22f25e63f91dfc905ef3166fbed20bdc7d8ec92b19195a057a809afeef3996f3","observation_id":"07624402-4905-42f3-bed3-62232c98dd9f","resolution":{"observed_at":"2026-08-07T05:12:57.541224Z","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-07T05:12:57.544807Z","title":"Algorithms 13(11) (2020) https://doi.org/10.3390/a13110279","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.544807Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:37f524647c5cb14f61014242e76159898df3370c05ee13a3e38be4444aa484a1","observation_id":"6b793fc7-7bfb-4a99-a63a-224b7de88276","resolution":{"observed_at":"2026-08-07T05:12:57.544807Z","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:12:58.569044Z","title":"In: Perner, P","venue":null,"work_id":"8201e794-6397-4a9f-9087-0a1cf134797e","year":null},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.548468Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:b2c0b1e4ebd2061971d7c78e4776a35abf853368892f4ee2b95c6448e53420c3","observation_id":"d4ed0d8a-8e5c-44e8-82c3-5761fb2eacc8","resolution":{"observed_at":"2026-08-07T05:12:58.572641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.549437Z","title":"In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K","venue":null,"work_id":"aebab4d2-4cff-4cdf-895d-eaad19042825","year":null},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.555959Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:953e9180bed06a71717b64756a3090b23065c51521f5056168c099aa4070ca52","observation_id":"6344154c-fee5-404b-9a96-aa1767ac0280","resolution":{"observed_at":"2026-08-07T05:12:58.552956Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4891.11490","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:58.202565Z","title":"In: Leeuwen, J","venue":null,"work_id":"32dd2073-eb10-420b-bf62-44db2e9147cc","year":1990},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.560046Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:97c39297e8ff759817ebc9e0561a3783f176bed0979d351baad4111623d333fa","observation_id":"0b310ade-fe78-4c4f-86d0-17076a8ee006","resolution":{"observed_at":"2026-08-07T05:12:58.207823Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.539708Z","title":"Springer, ??? (1992)","venue":null,"work_id":"1e0a0ba6-1bb3-4b8f-bcd6-1a065d53c266","year":1992},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.564574Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:8b90513cbb1901119c93c7af26d252fa254f17a9fc57bb1081ef7004617914b1","observation_id":"36502577-d9ce-46af-b624-6c55ab3d4f52","resolution":{"observed_at":"2026-08-07T05:12:58.543090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.529169Z","title":"In: Meersm an, R., Tari, Z","venue":null,"work_id":"82744ceb-373f-4fdf-aed6-a24ead60923a","year":2005},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.568318Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:00df6e3982363b21bc9725a819de61ace22526a65395be5c9b5dbc302ede65f5","observation_id":"bd743801-97be-47c9-8ccd-fb52a6a19b33","resolution":{"observed_at":"2026-08-07T05:12:58.532416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5750.36958","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:58.136596Z","title":"In: Proceedings of the 39th IEEE/AC M Inter- national Conference on Automated Software Engineering Wor kshops (ASE/RENE), Sun 27 October–Fri 1 November 2024, Sacramento , CA, USA","venue":null,"work_id":"189dadaf-46e5-4624-96be-042d6c3c578b","year":2024},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.571800Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:51791015982160816193c86343df57034fd6eade856476d42f29496ca4d7ec0c","observation_id":"388a2378-951e-424e-9bc3-0e5de8bf0647","resolution":{"observed_at":"2026-08-07T05:12:58.142518Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.519070Z","title":"In: Zalta, E.N","venue":null,"work_id":"bccfcf77-c308-41ab-b3a2-64a21d8129f4","year":2012},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.575507Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:bfbc6b09c498d40d2c544d117104c53cad24e32a781407158dd8a50028518a47","observation_id":"f4994cd0-b017-451c-a457-96c4899be99d","resolution":{"observed_at":"2026-08-07T05:12:58.522753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:57.579051Z","title":"In: Werning, M., Hinzen, W., Machery, E","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.579051Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:38317fe54565752bdde4e8c1f288707cbb339bb5e9d1c58bb7f7e8f3cd415de7","observation_id":"0b86f98b-5405-403c-bab9-583e0c560f4b","resolution":{"observed_at":"2026-08-07T05:12:57.579051Z","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":"2015.25103","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:57.990248Z","title":"Proceedings of the IEEE 104(5), 960–972 (2016) https://doi.org/10.1109/JPROC.2015.2510366","venue":null,"work_id":"424f34f9-46b9-44c7-a60d-441ccba155fe","year":2016},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.582687Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:21da98344dba33cca9dc157209cbf7e0ca1efb4e2fe021727eab58cee1499774","observation_id":"d888773d-b381-452c-ad2e-022bfad3884b","resolution":{"observed_at":"2026-08-07T05:12:57.995759Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.509194Z","title":"Psicothema 30, 322–329 (2018)","venue":null,"work_id":"00994f90-59ca-4726-9c60-bfcd8cd7c6a7","year":2018},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.586054Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:2a60afafd8a0050f95c4c480bbc537f197c39bca89c3694f2fb4aea34593abbc","observation_id":"11b2c94c-9f83-47e8-a6fe-c99e39958952","resolution":{"observed_at":"2026-08-07T05:12:58.512658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.datak.2010.06.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:57.689633Z","title":"Data & Knowledge Engineering 69(10), 999–1021 (2010) https://doi.org/10.1016/j.datak.2010.06.001","venue":null,"work_id":"dc2137cb-4859-4df3-8ef5-3d672da7ee03","year":2010},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.589206Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:aface85310b6159f4738ae628850af333d820a49d594b0a2db529f506dcbd642","observation_id":"2cccef5e-120b-4c30-89f8-28499a8c9851","resolution":{"observed_at":"2026-08-07T05:12:57.693671Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:57.592924Z","title":"Information System s 124, 102383 (2024) https://doi.org/10.1016/J.IS.2024.102383","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.592924Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:2ea4dcb19849d2d43c08c7b7cab5791b7086a2ba8440433a9bc7f6746155b3a4","observation_id":"275ecf6e-0d0d-48de-815f-75a23f499c8b","resolution":{"observed_at":"2026-08-07T05:12:57.592924Z","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.2478/amcs-2014-0069","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:57.676696Z","title":"International Journal of Applied Mathema tics and Computer Science 24(4), 941–956 (2014) https://doi.org/10.2478/amcs-2014-0069","venue":null,"work_id":"acbfc43c-c1c1-4694-afbf-7cdb43b0282d","year":2014},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.597241Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:9a365e1bec9bdef564a94fa8dc6bc0071c4d450cca66af49f7aafea85c6f5c4b","observation_id":"edac5b4e-99fb-4889-84b6-ee1c5a6ebad1","resolution":{"observed_at":"2026-08-07T05:12:57.681897Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.498530Z","title":"Journal of Indian Council of Philosophical Research XXVII(1), 249–276 (2011)","venue":null,"work_id":"480a9b3b-8a8b-49c1-9263-b6e81264cac0","year":2011},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.600922Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:179b6ac7194103accf8e71433b1e48003719a166bcc61e71fea7e4c226ac638d","observation_id":"96688101-f6a7-4af6-9900-e1d3a2210d63","resolution":{"observed_at":"2026-08-07T05:12:58.502538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.487333Z","title":"Bibli otheca Mathematica","venue":null,"work_id":"009b368f-a502-45fd-a270-ac8046ca13ab","year":1952},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.604596Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:76ca516eeca2943966bc31f222fce2d888dd7449c0ee1de67bf0e9f0305b543f","observation_id":"e546d3fc-3ffc-4833-8179-b4c17eddd239","resolution":{"observed_at":"2026-08-07T05:12:58.491101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.476701Z","title":"Handbook of Logic in Artifi cial Intelligence and Logic Programming","venue":null,"work_id":"97d1f1e3-20c8-48b7-a548-338df43551a5","year":null},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.608227Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:81a2af576a7d5312ecd3cbf1cd7b8de21453dea5cbe7f461b801134d83f0b4d8","observation_id":"b51ee020-1d61-4bcc-a347-967cb3d37b21","resolution":{"observed_at":"2026-08-07T05:12:58.480580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.466920Z","title":"accessed on 5-Aug-202 4 (2020)","venue":null,"work_id":"cdc3f0bf-b517-4440-9756-601c8ecaaf04","year":2020},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.612184Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:03186f66a2ca82c3bc3dce02442213924b76da1bbb46d54973c669e4a38cf9fa","observation_id":"4c32094c-7eca-49a0-b5ea-eef33ab4c5f8","resolution":{"observed_at":"2026-08-07T05:12:58.470445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.456604Z","title":"Journal of AI C ommunications 15(2,3), 111–126 (2002)","venue":null,"work_id":"2504b67d-cc38-4457-9851-c2fde6d24703","year":2002},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.615694Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:ed6dcba25a58da473dfffade479e5bfed285bb9185f93e096be368ed150bae42","observation_id":"57afcf81-ad77-497a-bf3c-23b325313a76","resolution":{"observed_at":"2026-08-07T05:12:58.460107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.446562Z","title":"accessed on 5 -Aug-2024 (2017)","venue":null,"work_id":"c11bfa31-7377-409e-92f8-f28e1b882de1","year":2017},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.618924Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:9b7e4aee632cac9c4f2018ca5a04a78f93b60b8b1f022a211375557426c68c00","observation_id":"dc88d88d-008e-494d-98ac-52f1ecb70435","resolution":{"observed_at":"2026-08-07T05:12:58.450143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.436356Z","title":"Journal of AI Communications 15(2,3), 91–110 (2002) 32","venue":null,"work_id":"edb127ae-dfdf-4652-b9cb-6a2ec81360a3","year":2002},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.622503Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:0ee1731f036fc34d53c8d16c577250c275d830abf7f0d512823532dea95ee742","observation_id":"be548dbe-1010-42ca-bfc6-0b37e88be975","resolution":{"observed_at":"2026-08-07T05:12:58.440064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.426367Z","title":"Journal of Automated Reasoning 59, 438–502 (2017)","venue":null,"work_id":"f3c99ad7-77a4-49e6-a6c4-e31561745f2c","year":2017},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.625675Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:bbfab04e65e744cdce8d6d246520cc09089f92ae3eb99b1261f9d9abdb6743b2","observation_id":"0193eabb-f930-4220-b5a9-30d251c73974","resolution":{"observed_at":"2026-08-07T05:12:58.429884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.415627Z","title":"The last access 25.04.2024 (2023)","venue":null,"work_id":"2b83f535-9b87-46dd-b77a-f404e9aab86c","year":2023},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.629139Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:843a8e75cd33889b508ac7d0e9a4b28614b2ad03f9f96a26cd4730a70edc9e6b","observation_id":"f2cc0d66-9573-4792-9638-559e215aa8c1","resolution":{"observed_at":"2026-08-07T05:12:58.419276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:57.633464Z","title":"IEEE Transactions on Software Engineering 3(2), 125–143 (1977) https://doi.org/10.1109/TSE.1977.229904","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.633464Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:2d5c550df7368e48e93f5423aed2b56eb1f9f23d7e5077cfba65892a85f3ae45","observation_id":"70674657-b906-467a-8199-a2832e39b05c","resolution":{"observed_at":"2026-08-07T05:12:57.633464Z","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:12:58.404912Z","title":"Inform ation Processing Letters 21 (4), 181–185 (1985)","venue":null,"work_id":"a081f293-6675-4ee4-b143-c862bd70e219","year":1985},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.637451Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:2c867f0da355987c9dae113b3e1cb6b7d30ba3fbbdf5706bc4c5bbec1e79c7c8","observation_id":"8e24d7ca-6774-4b8c-9a69-a9ca49d34128","resolution":{"observed_at":"2026-08-07T05:12:58.408700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.394887Z","title":"EATCS-Bulletin 53 (1994)","venue":null,"work_id":"2335f4bd-82d6-467c-900f-09da808bb6e3","year":1994},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.641848Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:c0fa44ab694fb6018af614ee75c9ea684739ce3657f78b6c6cc827620614f7be","observation_id":"c2b3eca5-755a-44da-823f-dce853f9c56e","resolution":{"observed_at":"2026-08-07T05:12:58.398432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.381400Z","title":"Springer, ??? (2012)","venue":null,"work_id":"7b3b54d2-4c74-429f-ab72-10f506c03f12","year":2012},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.645329Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:7089d760d60a1e9f1332891c8a3d1adde963eb223d28c721c75b4878456120cd","observation_id":"0e8610c4-7960-457a-b690-075234d9959a","resolution":{"observed_at":"2026-08-07T05:12:58.387703Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"cited_work":{"arxiv_id":"2505.17979","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.17979","snapshot_observed_at":"2026-08-07T05:12:57.760308Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","venue":"cs.SE","work_id":"f1bf9fc4-302e-4529-804b-095e1e5012d6","year":2025},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.648790Z"},"links":{"cited_paper":"/paper/2505.17979","citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:adc617ff3ad856e067e4b588f055ea68de079df307b485d5358bd7ff2919e61b","observation_id":"03b239cf-30a5-4fb6-b120-28461fe7d8d6","resolution":{"observed_at":"2026-08-07T05:12:57.765273Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:12:58.559333Z","title":null,"venue":null,"work_id":"f111a477-4ba3-485e-a116-4eac3694bdc4","year":2016},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":378,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.552497Z"},"links":{"citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:b8c18559ebff2f5b919c839cb466b70708f2ffbe2dde3cb1db1ed3b69c212b23","observation_id":"140733f3-d4d9-4029-a46d-171af907a68d","resolution":{"observed_at":"2026-08-07T05:12:58.562771Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":5,"parse_uncertain":1,"unresolved":8,"verified_exact":6,"verified_fuzzy":23},"total_outbound_references":43},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2506.08628."}