{"as_of":"2026-08-10T06:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1d9280c5e2bb4e4f06bdb84cdff046ee107fdb16ab28c4abdc79c9c7d0ac0aca","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-09T06:31:02.800959+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-06T17:07:46.295578Z","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:1fae778fa8d422057f4234657fc4e5d6e98b67bcd3235e4b67338b2c8cf5032a","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-06T17:07:46.295578Z","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:629eb3d574828e1384f0d1387a17b0fb4ad5cec4a73325548e7975d17a81f772","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-06T17:07:46.295578Z","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:9e112bdd539a3db08e89c8bdf2688a63cfed63732cd0a180e98be9ab63defeda","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-06T17:07:46.295578Z","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:ec05525108ef0f50c61f56b5cc25be1deee6f1d6c7ccac571053d531633f460a","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-06T17:07:46.295578Z","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:d92effaac62edd4f7ae4bad1eb9b218f63f214c21618a4800c83ff9c2838a8e0","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-06T17:07:46.295578Z","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:fcda844f89fdfc4d11d04920dc6d565d9d1d3086f9399152333c061b6a04cd32","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:fc9964e74169459757c02104ba25aeec20492241016a6d81b18f27b446d00293","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-06T17:07:46.295578Z","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:e716e568fa5b4297476102a50c55714e0bfcea7409f4b565138554b31823d979","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:11b8ee0a6bdee0b94a20609725b6a6418d39c78378633cebfb0c498ec20e6d9c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:ee52daee6ac65ceae5088f50791081254bb189b447bda843d73ed4bd6f5d3928","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:96d5b9e2fb994934223c2afbe2f8bfd2a1389ee2c756aec4b46353c890de29eb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:d79f86929b2f14be005ffc6cfbecb532cc96d5d6fd8540999480f4171444b424","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:0cf754a45f80a661ea9e6e908657d2392c3677fc05846c4d58e0a2f482bbeb13","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:38f3659c9902760e42e4a4cc917d843616fbb6e94bb9aa551514e369be69b6e7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:4aef9d8f3d083d855e9a9ed14c96014c11d6fa41d02e9e35a95ce221d8be975b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:f1f2ab5af827dd0876e9fb890ddb8714de2b46137fe2d459ca692aedc45e49ea","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:aadb518c294020253e997c83283baded47e38a20939f6fea9f319c85e28b007e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07-06T11:26:11.267668Z","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-06T17:07:46.295578Z","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:00a006aeabedbe0a54350800eee5b6199db7e1005cca5b76057e39d2644c32a0","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-06T17:07:46.295578Z","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:e31493bd2401b107af17e2e17f43d911d890af47784ee32208833c59489a3b9e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:a18e670d72d85ba7647e5b4503ecbab28ef6b48e534b957d59094ab2a16822b4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:59fab0c6a944d61fbac6fc3cab7e2eef1d0c6b34e1dd9ef01002e5d09fa0a869","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:e363aaf841568469108c3de83e4f15675cc1c9d56725ffac84464f13005fa7d7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:98fbbc14fe1140d5b6a39d437d5831b466fe1977561929382361b381854b92a2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:42fb75317913258c4a1a90cf2da0cc38fa868ec1d1f185121d4318c7b5746386","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:1dd8c48bed3190736eb9024e11697d94a376895a611fa4dec09711c594f3fae0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:984e35acdf6acd40be5d3c247174004c2d240ccfa588be7fb2975c546bfb7f9a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:a67645f0021f7aeb66c133ae773a4f3f1e5111db33cbf9634e6b391ead30e5dd","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-06T17:07:46.295578Z","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:1ec8e8751491ec5db88f9775e7f3a66af3e5924d0720de83616c77642a315dd7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:4480697f41e98553f3871aa1464ef4ba5e2285adbe682fb7dd659b5468468a8c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:3cff27dc8057dd7d3c062c17874337c06f11bd5491af9e4dd9129538bde2f18d","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-06T17:07:46.295578Z","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:e70ed37c07f566c82b41fbd7b14c7efc1f76ebb88e07f72d92dca6d29548723b","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-06T17:07:46.295578Z","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:c35b48fb532ec21af30ff3597b10d9214129fe8837a1117324cab4463986999b","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-06T17:07:46.295578Z","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:a3194c13ba0e00061324e31ae536522ff9f3a4e6ee9878f895dc7ea803ce4cfd","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-06T17:07:46.295578Z","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:4d9624bb25c97375507e9c570c020af7534f9da2e6402333b3ccf874cebd8ab3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:48e972503a5fe9a3f3731fbb5ee507a00fc11820af0d2f0224a9edfd1441e1ad","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-06T17:07:46.295578Z","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:5f9ec04bcb4bb5361720a32a0439f99de68152c60337a27d11bce7106702495b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:e8a40cd84aca39c199215b33e29406d9d115b4c7b68d1d77bedf00d726f6d125","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:156c8ef85655bd1fb0b45a7d3a9a8080e02b2e50b84327385060dbbf980de9c7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:63cae8b0159a60b2a45f6f3b9dba84230edadd83fcea24a326e2173ec552474e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:010b4341905a163dfa1a37d6bd4caa7f852f3c163013779478f0a6828d3f1d7f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:1726dabdc442d61ef0cec763be89583c74c2a95b1d411de5965955186d319500","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-06T17:07:46.295578Z","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:67a364d68e90af1893e94697bdb7abd7847f9b190d4117ae501c825bb6beb597","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:59b7bb29c06ce784fa4214a2d6a7ab43ae1d3b84fbfa3baad497dafb9ef52b6f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:c4782fef6d2a400e318ad1d050946f26734cd94bae93f062eda05c2a678956c7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:20:27.707702Z","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-06T17:07:46.295578Z","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:1a9244acb9257ca346319d882ea33279587c127304308178d448508032ad4b3d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:923781dafc05cb33da0e6367ae23e217806669928dd7cb43104199ee7fc9c1bd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:4c15dec58dae880bffda2c81b4b489481c06ed29fdb11b4b29186b1e3d401045","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:334ec6664958038730f848fcb4c4d4ebc8be344bf551ce929fa0f2a4f90161dd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:6969e11964e7ec71858c1033fe1a51fe239fd774e46d491dced48105dbb79802","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:7c99b2e3d49bf6549820eb38232ee97aafca828bd88b770281c56f9e04a533b0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:d6355764f02227b4794cdddcef674458c606cdf73c96e8525f260feb58a886a0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:24a75cb5509cbca7a0e487611a13530e8106a38d52e374e1ba09e88e15786525","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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:5b38f845ab9264a75575bd46dc0cd9e0d9164a3607ed1acf77826562a02f0307","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:07:46.295578Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2507.11349."}