{"as_of":"2026-08-14T17:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a179ffcebb270e18379683ab6ebcd1181e6afe45a24074869554aa211471d98c","coverage":[{"denominator":53,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:19:53.070187Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2507.11349/citation-record","integrity":"/paper/2507.11349/integrity","json":"/paper/2507.11349/citation-record.json","paper":"/paper/2507.11349"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:19:52.780035Z","title":"Sutcliffe, The logic languages of the TPTP world, Logic Journal of the IGPL 31 (2023) 1153–1169","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.780035Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:89d2a7551fda9d555860f78e22e390c2e4147abf28ca0745ee2c74072944a0e4","observation_id":"b180681d-1afe-4fa5-a224-b9e7f3dc1e7c","resolution":{"observed_at":"2026-08-06T17:19:52.780035Z","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-06T17:19:52.785650Z","title":"Guilloud, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.785650Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:ea7371eb127a141ceb2e1d566320d951e8488182be1c0dec5eede7f514a52a85","observation_id":"26700238-298a-4853-b83b-92b2080970ed","resolution":{"observed_at":"2026-08-06T17:19:52.785650Z","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-06T17:19:52.790575Z","title":"Cailler, J","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.790575Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:3aa077025698e89372d2d81cf7d247047d53582d017a69f44c78a4fdde70214a","observation_id":"01e3d517-b916-422e-9dfc-ecd752ce0f50","resolution":{"observed_at":"2026-08-06T17:19:52.790575Z","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-06T17:19:52.795282Z","title":"Kohlhase, F","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.795282Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:97d0207536b39ef2b0cd778edb0d52e1fc158cbcd2c901b9d052d3a0fe9b10c9","observation_id":"d46acf79-ea45-4966-8b9c-c2efb6107b8a","resolution":{"observed_at":"2026-08-06T17:19:52.795282Z","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-06T17:19:52.801425Z","title":"Barbosa, C","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.801425Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:06dc24096de97ea8562f054df1ae40625795a106aba14411973c0a371dc025e5","observation_id":"410afe53-e871-4e1c-938e-8d326a41915a","resolution":{"observed_at":"2026-08-06T17:19:52.801425Z","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-06T17:19:54.271815Z","title":"Assaf, G","venue":null,"work_id":"b374b16b-e5ce-4ba4-9578-80105c820cad","year":2016},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.806525Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:e25098532f3532e84ec2a1a542855496a25818e5c121c6a08c145599d25e4565","observation_id":"62cabbc8-507e-4e43-9105-209983c50148","resolution":{"observed_at":"2026-08-06T17:19:54.278076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:52.811422Z","title":"Sutcliffe, The TPTP Problem Library and Associated Infrastructure, Journal of Auto- mated Reasoning 59 (2017) 483–502","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.811422Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:27a9771d592e424350f3f76b8224670213b54eb5ec0d08b161cfd147f68ab12e","observation_id":"bdaf34a5-9279-40b2-9f51-b4e488446441","resolution":{"observed_at":"2026-08-06T17:19:52.811422Z","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-06T17:19:54.252507Z","title":"Böhme, T","venue":null,"work_id":"eb414771-51f7-4711-b5e2-2791af9ce7f4","year":2011},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.816573Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:2a971a9ecd362575c7dfd69ede53bddd353c028bd734cf34d580fe50af6b3571","observation_id":"d8c167db-5857-459c-98b1-801f4abf3b59","resolution":{"observed_at":"2026-08-06T17:19:54.259116Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.233051Z","title":"Reger, M","venue":null,"work_id":"395c1a84-4f95-455d-b90b-380920462ffe","year":2017},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.820657Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:bf41d4388ce0209517b296a2b894fc22c9479ec001aac87a846591caccff119c","observation_id":"1a13944e-48c1-4248-b6ac-936ef8352e67","resolution":{"observed_at":"2026-08-06T17:19:54.239720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.210583Z","title":"Wetzler, M","venue":null,"work_id":"82339f9b-7434-4d92-a5a4-dd88190cd455","year":2014},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.825379Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:5fff8aced494ad1b57164815962ea50b726cf05666959298fd2bfd6af7a1ecf2","observation_id":"606b8cd3-8f4a-4952-b11b-28907013097e","resolution":{"observed_at":"2026-08-06T17:19:54.216107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.184979Z","title":"Cruz-Filipe, M","venue":null,"work_id":"4123d153-49c6-4862-abf8-a9a6bd020757","year":2017},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.830541Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:5409e1796b757fbb4feaf8b1f1036c3ad5966a0716bb62e11f80f6b540e82957","observation_id":"7eea85ea-1897-4c8e-83dd-0d51b42fccf1","resolution":{"observed_at":"2026-08-06T17:19:54.192075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.163188Z","title":"Stump, D","venue":null,"work_id":"de28e6ad-6e21-4876-8f36-ef348bf61453","year":2008},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.835158Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:ccc4be485a13c835001ae45eab4b89e5ef51e599bdab18c5caf20f6900c51400","observation_id":"23c5e7cd-96fe-4715-ab64-a20a7e26f002","resolution":{"observed_at":"2026-08-06T17:19:54.169766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.144471Z","title":"Barbosa, C","venue":null,"work_id":"a12bb843-3701-4fed-8c81-a70e289f0b6c","year":2022},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.840163Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:d3072f8eb27adc45618c44387720abc2e6eae8c82a4a726103ec2967874c0372","observation_id":"ab3b860d-7327-494e-9d08-da3eaab03c91","resolution":{"observed_at":"2026-08-06T17:19:54.150111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.128116Z","title":"De Moura, N","venue":null,"work_id":"344730dd-d83e-43a5-9e83-a36f546be259","year":2008},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.844575Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:4dad92f2c9a9a904a8ff4ef65491a671eda2bf7e866dfe2b56e7281e48b97ac8","observation_id":"7ecd49aa-3b1a-4658-bbbc-c1cf8df3c5d6","resolution":{"observed_at":"2026-08-06T17:19:54.133476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.112740Z","title":null,"venue":null,"work_id":"03d3ec25-78cb-4a93-885d-afd63547bfad","year":2008},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.849157Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:27ae65dd41f39bf6aa29ce53927dff0a8693c5c09a0b7bb6c509e681c9580553","observation_id":"4cfbc0fe-2540-4e6a-907f-dd1736cf35a8","resolution":{"observed_at":"2026-08-06T17:19:54.117782Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.095692Z","title":"Besson, P","venue":null,"work_id":"5ed9036a-1f54-44b1-823d-f416a74929cd","year":2011},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.853901Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:821af3268869e85c6543034e564da40812c2eb52da2bad2890fbaea24c8ba632","observation_id":"2cbe3e9b-a260-4b2d-9de1-3cfa90139f15","resolution":{"observed_at":"2026-08-06T17:19:54.100772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.078184Z","title":"Hoenicke, T","venue":null,"work_id":"b147a636-143b-4eda-a04c-9b704bc0a42e","year":2022},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.858621Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:bd843cff2121cd00b9a4ebcbf6e07c1544a4fcdea978c7fa4d065fedd2cce90c","observation_id":"d8fa8798-5cfa-4823-ae47-237d310155f4","resolution":{"observed_at":"2026-08-06T17:19:54.084166Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.02354","last_updated":"2021-07-06T02:36:15Z","snapshot_observed_at":"2026-08-12T02:15:06.963200Z","submitted_at":"2021-07-06T02:36:15Z","title":"Alethe: Towards a Generic SMT Proof Format (extended abstract)","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.02354","snapshot_observed_at":"2026-08-06T17:19:52.867456Z","title":"Schurr, M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.867456Z"},"links":{"cited_paper":"/paper/2107.02354","citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:43063f1b7134855339c94a177781750dceeac85ded645d83ebcb2f76003e3cd9","observation_id":"2ecde587-6b9d-46b5-9bbc-7a7f13d1caa2","resolution":{"observed_at":"2026-08-06T17:19:52.867456Z","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-06T17:19:54.052173Z","title":"Bouton, D","venue":null,"work_id":"2e50ccac-5c61-46b6-bb3a-75cb9d08496f","year":2009},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.873765Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:19dab85c557561d542c21732e672be9ff0d748f245fd924a61bd1fefc1ab14b2","observation_id":"534fa3e5-3310-46ac-b2b0-f3446913e84e","resolution":{"observed_at":"2026-08-06T17:19:54.062498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.026817Z","title":"Otten, S","venue":null,"work_id":"ecd4ffcd-f5b9-46c3-a645-2c12ad2f8e81","year":2023},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.878629Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:cf0a1133bd9948046070a8c797dd62f9186a1817aa68202f9b5e02cd52b21b24","observation_id":"ab23a38b-9150-43dd-bd3b-609d8a94f5c7","resolution":{"observed_at":"2026-08-06T17:19:54.034749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:54.008381Z","title":"Otten, W","venue":null,"work_id":"6a440260-ab87-479e-b2e9-37fd113d9d26","year":2003},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.883891Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:ddacfce7439c2a7e69c0e9867d7b5acbbe081405ee234d896cbd3e6ea856f688","observation_id":"2c7b1340-431f-471c-b9d3-fb3be768a5d5","resolution":{"observed_at":"2026-08-06T17:19:54.014655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.986154Z","title":null,"venue":null,"work_id":"2e745ebf-0846-43bf-a772-ed8bbc4dd7b0","year":2023},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.889465Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:3a34b941b13f1c162914c0e7cca1f5ff52c6c835c7103a7e10b5f342eecdadff","observation_id":"2fe2e5f3-8fb0-402e-b1a6-33d16ca054e9","resolution":{"observed_at":"2026-08-06T17:19:53.992510Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.962665Z","title":"Baek, The tesc proof format for first-order atps, 2020","venue":null,"work_id":"d66f8b83-86b7-4c0b-816e-3aae144b0bf7","year":2020},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.893971Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:c17858c2ee9ef364a5676a598ba32da660ff403296f79e07daf3106f9831655e","observation_id":"ec701dfc-16ca-4b79-8d30-65804d860f17","resolution":{"observed_at":"2026-08-06T17:19:53.970521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.937459Z","title":"Kovács, A","venue":null,"work_id":"d2431350-06ac-487f-b8ce-1615a35d71d4","year":2013},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.898460Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:786a92ef7ade03c9e700d345003ae82926fd4eed0786231d3e5bb77b936c3ac2","observation_id":"4ec18dad-892f-4c41-8349-a7f141df53fc","resolution":{"observed_at":"2026-08-06T17:19:53.943807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.913935Z","title":"Schulz, S","venue":null,"work_id":"0694857f-3cdf-4c69-ad7c-bf9d184c810d","year":2019},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.903598Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:9570ef9ac57cbb0ff43e75585d9929152d436f033c74e5eb1a21f07693e7becc","observation_id":"fc1e7877-a2ad-425f-bf45-1f9bceb4e58f","resolution":{"observed_at":"2026-08-06T17:19:53.919201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.895727Z","title":"Sutcliffe, Semantic derivation verification: Techniques and implementation, Interna- tional Journal on Artificial Intelligence Tools 15 (2006) 1053–1070","venue":null,"work_id":"22748391-a82e-4f13-881d-43930a60fbd1","year":2006},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.908215Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:98304cb333b8d0ed8694cc985ce944b42df98d2f0b430cc80b90d5df57a0448f","observation_id":"c70fd43f-3959-41fe-af15-05973db84a7d","resolution":{"observed_at":"2026-08-06T17:19:53.900799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:52.913139Z","title":"Willsey, C","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.913139Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:9c481f239224f593ed4771d1e727095a286e899dbff0d609a8def362589df2f2","observation_id":"b96fd510-2caf-4ada-8192-0347e99e0798","resolution":{"observed_at":"2026-08-06T17:19:52.913139Z","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-06T17:19:53.876809Z","title":"Gentzen, Untersuchungen über das logische Schließen I, Mathematische Zeitschrift 39 (1935) 176–210","venue":null,"work_id":"0e3eaa36-90c2-4fd7-9205-ce2daacae0ba","year":1935},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.917463Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:9d3d08afc981ab3227876881e3d44ab62d4f34e135ced26c10502d0ca3eb9681","observation_id":"5b8e49aa-4e1c-4cf9-a91a-d222fe8e970c","resolution":{"observed_at":"2026-08-06T17:19:53.883239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.856463Z","title":"Gentzen, Untersuchungen über das logische schließen","venue":null,"work_id":"9a8ae403-b32e-44ec-b931-5af55b2af2b8","year":1935},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.923886Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:feca982772093459d1b901ecf0c059c4246a727c9e62fb14571eacc5ab9694ac","observation_id":"a6460f91-5803-4db7-b084-a893fe260bac","resolution":{"observed_at":"2026-08-06T17:19:53.864454Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:52.929766Z","title":"Rümmer, A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic, in: I","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.929766Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:4c58cc892fdd7cd6821cbb2382e5d34314d2a42b0e2a36d789cc1ccbeb931b78","observation_id":"8f580557-0bc4-4766-9dcc-6c2fc5c1b421","resolution":{"observed_at":"2026-08-06T17:19:52.929766Z","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-06T17:19:52.935230Z","title":"Bonichon, D","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.935230Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:c5836e452dc5c9ec2e5f5361bdc32cf15507c58da34c4963a42c8eb0bdca31a1","observation_id":"636e950e-9552-4c8c-9eb4-dcff19d902ac","resolution":{"observed_at":"2026-08-06T17:19:52.935230Z","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-06T17:19:52.940388Z","title":"Delahaye, D","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.940388Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:3b167d2f263b7623a2a9ec78d9752c923e3baaab9a6152298258e5a6f77e86e4","observation_id":"f1ce0648-bb84-4a80-a8fd-37314264fe20","resolution":{"observed_at":"2026-08-06T17:19:52.940388Z","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-06T17:19:52.945182Z","title":"Beckert, J","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.945182Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:4b4a8c51e5944e098cb1d31bf6bb4b6a61da9ae53136d531f3fdd43284f05f26","observation_id":"18bf9c8d-aab5-4bfd-9c13-bc0bd4e8f0ed","resolution":{"observed_at":"2026-08-06T17:19:52.945182Z","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-06T17:19:53.822288Z","title":null,"venue":null,"work_id":"e51e3721-058f-47a7-95d6-f3cf05a58b4c","year":2000},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.951263Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:6896a1e3d41e97aba05c599134f7e8fd87ea4ce1a7255bfc1e152f1e47cb2e73","observation_id":"6118f5f6-5795-4b8d-8462-64f8f2fc6aee","resolution":{"observed_at":"2026-08-06T17:19:53.827169Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:52.957066Z","title":"Harrison, HOL Light: An Overview, in: S","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.957066Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:b71fae23602ca06fe9bfdfb43236b898444d5f77c25a15874a8fa91519ba545f","observation_id":"57f2dc2f-27d9-43da-9fe0-515ad9d73a3e","resolution":{"observed_at":"2026-08-06T17:19:52.957066Z","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-06T17:19:53.804901Z","title":"Sutcliffe, The szs ontologies for automated reasoning software., in: LPAR Workshops, volume 418, Citeseer, 2008","venue":null,"work_id":"c9bcf033-f4d6-4652-9f90-f6a11ff6223a","year":2008},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.962346Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:5bc9c6fb3c6a52a94c79d5685cbd293169c7e4d43ac87719c463d0abc9638a54","observation_id":"ab87ba4d-7ded-4bd9-9a7b-117c573c9ec2","resolution":{"observed_at":"2026-08-06T17:19:53.810253Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.785532Z","title":null,"venue":null,"work_id":"f240b37e-3424-401f-ad70-77f7e79e3eec","year":1978},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.967759Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:bc7249ae16faa5999b6ff82caf32529861e640a9f851c4ce2af585c6dfcf011f","observation_id":"9d74a3b3-83f3-4a9f-ad07-71d73933e727","resolution":{"observed_at":"2026-08-06T17:19:53.791936Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.768663Z","title":"Maziarz, T","venue":null,"work_id":"12767962-94c1-47b4-9eb7-64103bc6af12","year":2021},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.973061Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:5a1c092f1ce7f339662014b94300eb5e97ba088db208df1f0e3b51ae65ac28f3","observation_id":"10a3400e-0596-4aa9-aa45-37bd4315a4d6","resolution":{"observed_at":"2026-08-06T17:19:53.773800Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.751284Z","title":null,"venue":null,"work_id":"b1e8fd85-dfd7-43af-afc8-9aff48db70cd","year":1987},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.979817Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:20eca8847dab410f52896b37e29534b214b02bae2b7f742d2dc64387014c7eee","observation_id":"2146c30c-1259-482c-a31a-2117eadd52e2","resolution":{"observed_at":"2026-08-06T17:19:53.756512Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.733437Z","title":"Degtyarev, A","venue":null,"work_id":"1910df35-05b5-4cea-959f-204cbfcd689e","year":1998},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.984230Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:207b164ba81d3e40f0c19a3bfa2dbfe0c48c78d555aba21e42e5ba933aee12e2","observation_id":"dc4d91fe-b709-4ae8-b81f-4d7e2198cf26","resolution":{"observed_at":"2026-08-06T17:19:53.738604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:52.988665Z","title":"Nieuwenhuis, A","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.988665Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:389706bc5ea2c9982e00b4c6210e8dfc26ec4a71da2043085eae60f5ca20d281","observation_id":"ddf92b0c-a1ad-458f-8b61-e2ea949b65e8","resolution":{"observed_at":"2026-08-06T17:19:52.988665Z","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-06T17:19:53.714246Z","title":"Cailler, Designing an Automated Concurrent Tableau-Based Theorem Prover for First- Order Logic, Ph.D","venue":null,"work_id":"f08777c0-abb0-48d3-9f41-1565bae3951e","year":2023},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.993261Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:1cff7c900caa211122788ced85aaedf7054c07a5e57ed99d1fcd9cf95b931385","observation_id":"be8d758b-c529-4962-9e62-ae3531b5015c","resolution":{"observed_at":"2026-08-06T17:19:53.721661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.693440Z","title":"Dowek, T","venue":null,"work_id":"3c779efe-05c8-42dc-8c11-69faf3c05f47","year":2003},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:52.998366Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:0b9863b40c57c2e36aa563aa238e68a462fd0134d648a491ee10adea19519eb3","observation_id":"89016361-141b-41f6-a18d-3c0d7e3b2095","resolution":{"observed_at":"2026-08-06T17:19:53.701079Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.671605Z","title":"Guilloud, M","venue":null,"work_id":"9f1505d1-40b7-4d7a-a818-f5e13af92a74","year":2023},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.004818Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:d2a72c62733e9193c22001c182adb9bae8cd00abcbeec7a2e0de1dd3f5bad0d9","observation_id":"1987a914-e055-4298-9ed6-985d5544919e","resolution":{"observed_at":"2026-08-06T17:19:53.677492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.07569","last_updated":"2023-12-07T14:29:15Z","snapshot_observed_at":"2026-08-13T10:55:16.222975Z","submitted_at":"2023-07-14T18:20:37Z","title":"Orthologic with Axioms","version":2},"cited_work":{"arxiv_id":"2307.07569","doi":"10.48550/arxiv.2307.07569","metadata_source":"pith","pith_arxiv_id":"2307.07569","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Orthologic with Axioms","venue":"cs.LO","work_id":"a79d06e7-f0c9-4032-a5c3-e29002ca7ae2","year":2023},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.013159Z"},"links":{"cited_paper":"/paper/2307.07569","citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:fc1bc05c38b998ad873276cee1867614805810be3c8af501d8a2d7d705825500","observation_id":"b029b041-6a5b-4f83-bfe8-074735433067","resolution":{"observed_at":"2026-08-06T17:19:53.143771Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.650313Z","title":null,"venue":null,"work_id":"c7cf32de-2441-4df9-b63e-715c7c45c639","year":2008},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.021589Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:bed1a5b915900e1b378fac1d98cc8ef9ff82b37ce72dc6bca1517cdfa6e330ed","observation_id":"61b1fded-2c3b-400e-8b13-dab038b50fb5","resolution":{"observed_at":"2026-08-06T17:19:53.656709Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.624469Z","title":"Otten, Connection Calculi for Automated Theorem Proving in Classical and Non-Classical Logics, Ph.D","venue":null,"work_id":"be58a950-21e8-410f-8e71-0d6eadde9e1c","year":2013},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.028068Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:7714c3e78778f1a8bda6520628422b0a312fc41cfb3de04834e4b970b0d38fd3","observation_id":"c829a7e6-73b1-4650-962e-3ab831cf3adb","resolution":{"observed_at":"2026-08-06T17:19:53.632285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.602097Z","title":"Kaliszyk, Efficient Low-Level Connection Tableaux, in: H","venue":null,"work_id":"733e0e76-4df0-47e1-81ac-044d2b4c14eb","year":2015},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.036487Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:d0a024b6208b54ad35f19e8cdff14106a5a4b9a1beda5680b4270d53ed5cc4a9","observation_id":"7e861924-a6f8-4a98-ae1e-38cca9037653","resolution":{"observed_at":"2026-08-06T17:19:53.609722Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.581368Z","title":null,"venue":null,"work_id":"a1310015-1a11-4336-8b1d-1621566e8abd","year":2013},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.045373Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:f35505373aeb74f528db939f071bfc300fd56f0c4be5d2d877afc27ab7e4f735","observation_id":"0a272567-810a-46c8-9fa8-c5f638115654","resolution":{"observed_at":"2026-08-06T17:19:53.586879Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.559514Z","title":"Bonichon, O","venue":null,"work_id":"41ff3949-f964-4365-b5e0-8b6ee79c8452","year":2013},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.050684Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:8bf1e2847d6c1ba007ba3625fc085e102b2d60024f75a93a57388a0c4a0021ea","observation_id":"901a4b4f-5467-4a2d-b0aa-16d88c3dc719","resolution":{"observed_at":"2026-08-06T17:19:53.566496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.541056Z","title":"Rosain, R","venue":null,"work_id":"ed4b9cc5-787e-4e13-a78a-bd3ab1e6780e","year":2024},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.056359Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:967ddc94da6f5d602ecca2661d7d598e48e76b0f51bc8b130dd52cb6f54f5d68","observation_id":"701ca87a-9c52-468d-97f9-e2684b76fb58","resolution":{"observed_at":"2026-08-06T17:19:53.547621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.521086Z","title":"Nipkow, M","venue":null,"work_id":"58797cc1-0619-4e73-b58f-68c60808af7c","year":2002},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.062456Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:eeddfaea7c46af8b5fdf41d2545f5a92a8b720c204749c68e91de8ff7f5086c8","observation_id":"0e356e55-efd4-4585-a073-c771d50b07e2","resolution":{"observed_at":"2026-08-06T17:19:53.526871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T17:19:53.500364Z","title":"Avigad, L","venue":null,"work_id":"fe3e7354-3e25-4682-9be4-c02519a92821","year":2015},"citing_paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T17:19:53.070187Z"},"links":{"citing_paper":"/paper/2507.11349"},"observation_digest":"sha256:bf0e7a4a6f33a086667edb80bd458f3d2c7d09511ab317a3a33b140f12d8404d","observation_id":"1a048381-4cde-4ea6-8032-70d9dfe87e0a","resolution":{"observed_at":"2026-08-06T17:19:53.506939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11349","last_updated":"2025-07-15T14:22:55Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-10T09:30:02.276990Z","submitted_at":"2025-07-15T14:22:55Z","title":"SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":1,"verified_fuzzy":30},"total_outbound_references":53},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2507.11349."}