Paper Citation Record · LEDGER

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.11349 v1

Coverage vector

measured 53 of 53 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:19:53.070187Z

measured 53 of 53 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

53 of 53 outbound references displayed

verified exact1
verified fuzzy30
unresolved20
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b180681d-1afe-4fa5-a224-b9e7f3dc1e7c · outbound

This paper cites Sutcliffe, The logic languages of the TPTP world, Logic Journal of the IGPL 31 (2023) 1153–1169.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Sutcliffe, The logic languages of the TPTP world, Logic Journal of the IGPL 31 (2023) 1153–1169

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.780035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26700238-298a-4853-b83b-92b2080970ed · outbound

This paper cites Guilloud, S.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Guilloud, S

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.785650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01e3d517-b916-422e-9dfc-ecd752ce0f50 · outbound

This paper cites Cailler, J.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Cailler, J

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.790575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d46acf79-ea45-4966-8b9c-c2efb6107b8a · outbound

This paper cites Kohlhase, F.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Kohlhase, F

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.795282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 410afe53-e871-4e1c-938e-8d326a41915a · outbound

This paper cites Barbosa, C.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Barbosa, C

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.801425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62cabbc8-507e-4e43-9105-209983c50148 · outbound

This paper cites Assaf, G.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Assaf, G

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.278076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bdaf34a5-9279-40b2-9f51-b4e488446441 · outbound

This paper cites Sutcliffe, The TPTP Problem Library and Associated Infrastructure, Journal of Auto- mated Reasoning 59 (2017) 483–502.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Sutcliffe, The TPTP Problem Library and Associated Infrastructure, Journal of Auto- mated Reasoning 59 (2017) 483–502

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.811422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8c167db-5857-459c-98b1-801f4abf3b59 · outbound

This paper cites Böhme, T.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Böhme, T

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.259116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1a13944e-48c1-4248-b6ac-936ef8352e67 · outbound

This paper cites Reger, M.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Reger, M

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.239720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 606b8cd3-8f4a-4952-b11b-28907013097e · outbound

This paper cites Wetzler, M.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Wetzler, M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.216107Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7eea85ea-1897-4c8e-83dd-0d51b42fccf1 · outbound

This paper cites Cruz-Filipe, M.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Cruz-Filipe, M

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.192075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 23c5e7cd-96fe-4715-ab64-a20a7e26f002 · outbound

This paper cites Stump, D.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Stump, D

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.169766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ab3b860d-7327-494e-9d08-da3eaab03c91 · outbound

This paper cites Barbosa, C.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Barbosa, C

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.150111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7ecd49aa-3b1a-4658-bbbc-c1cf8df3c5d6 · outbound

This paper cites De Moura, N.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus De Moura, N

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.133476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4cfbc0fe-2540-4e6a-907f-dd1736cf35a8 · outbound

This paper cites an unresolved cited work.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:19:54.117782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2cbe3e9b-a260-4b2d-9de1-3cfa90139f15 · outbound

This paper cites Besson, P.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Besson, P

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.100772Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d8fa8798-5cfa-4823-ae47-237d310155f4 · outbound

This paper cites Hoenicke, T.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Hoenicke, T

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.084166Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2ecde587-6b9d-46b5-9bbc-7a7f13d1caa2 · outbound

This paper cites Alethe: Towards a Generic SMT Proof Format (extended abstract).

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Alethe: Towards a Generic SMT Proof Format (extended abstract)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.867456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 534fa3e5-3310-46ac-b2b0-f3446913e84e · outbound

This paper cites Bouton, D.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Bouton, D

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.062498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ab23a38b-9150-43dd-bd3b-609d8a94f5c7 · outbound

This paper cites Otten, S.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Otten, S

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.034749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2c7b1340-431f-471c-b9d3-fb3be768a5d5 · outbound

This paper cites Otten, W.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Otten, W

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:54.014655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2fe2e5f3-8fb0-402e-b1a6-33d16ca054e9 · outbound

This paper cites an unresolved cited work.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:19:53.992510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ec701dfc-16ca-4b79-8d30-65804d860f17 · outbound

This paper cites Baek, The tesc proof format for first-order atps, 2020.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Baek, The tesc proof format for first-order atps, 2020

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.970521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4ec18dad-892f-4c41-8349-a7f141df53fc · outbound

This paper cites Kovács, A.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Kovács, A

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.943807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fc1e7877-a2ad-425f-bf45-1f9bceb4e58f · outbound

This paper cites Schulz, S.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Schulz, S

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.919201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c70fd43f-3959-41fe-af15-05973db84a7d · outbound

This paper cites Sutcliffe, Semantic derivation verification: Techniques and implementation, Interna- tional Journal on Artificial Intelligence Tools 15 (2006) 1053–1070.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Sutcliffe, Semantic derivation verification: Techniques and implementation, Interna- tional Journal on Artificial Intelligence Tools 15 (2006) 1053–1070

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.900799Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b96fd510-2caf-4ada-8192-0347e99e0798 · outbound

This paper cites Willsey, C.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Willsey, C

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.913139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b8e49aa-4e1c-4cf9-a91a-d222fe8e970c · outbound

This paper cites Gentzen, Untersuchungen über das logische Schließen I, Mathematische Zeitschrift 39 (1935) 176–210.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Gentzen, Untersuchungen über das logische Schließen I, Mathematische Zeitschrift 39 (1935) 176–210

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.883239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a6460f91-5803-4db7-b084-a893fe260bac · outbound

This paper cites Gentzen, Untersuchungen über das logische schließen.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Gentzen, Untersuchungen über das logische schließen

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.864454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8f580557-0bc4-4766-9dcc-6c2fc5c1b421 · outbound

This paper cites Rümmer, A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic, in: I.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Rümmer, A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic, in: I

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.929766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 636e950e-9552-4c8c-9eb4-dcff19d902ac · outbound

This paper cites Bonichon, D.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Bonichon, D

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.935230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1ce0648-bb84-4a80-a8fd-37314264fe20 · outbound

This paper cites Delahaye, D.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Delahaye, D

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.940388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18bf9c8d-aab5-4bfd-9c13-bc0bd4e8f0ed · outbound

This paper cites Beckert, J.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Beckert, J

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.945182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6118f5f6-5795-4b8d-8462-64f8f2fc6aee · outbound

This paper cites an unresolved cited work.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Unresolved cited work

Reference 34

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T17:19:53.827169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 57f2dc2f-27d9-43da-9fe0-515ad9d73a3e · outbound

This paper cites Harrison, HOL Light: An Overview, in: S.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Harrison, HOL Light: An Overview, in: S

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.957066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab87ba4d-7ded-4bd9-9a7b-117c573c9ec2 · outbound

This paper cites Sutcliffe, The szs ontologies for automated reasoning software., in: LPAR Workshops, volume 418, Citeseer, 2008.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Sutcliffe, The szs ontologies for automated reasoning software., in: LPAR Workshops, volume 418, Citeseer, 2008

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.810253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9d74a3b3-83f3-4a9f-ad07-71d73933e727 · outbound

This paper cites an unresolved cited work.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:19:53.791936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 10a3400e-0596-4aa9-aa45-37bd4315a4d6 · outbound

This paper cites Maziarz, T.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Maziarz, T

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.773800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2146c30c-1259-482c-a31a-2117eadd52e2 · outbound

This paper cites an unresolved cited work.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:19:53.756512Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dc4d91fe-b709-4ae8-b81f-4d7e2198cf26 · outbound

This paper cites Degtyarev, A.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Degtyarev, A

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.738604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ddf92b0c-a1ad-458f-8b61-e2ea949b65e8 · outbound

This paper cites Nieuwenhuis, A.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Nieuwenhuis, A

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-06T17:19:52.988665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be8d758b-c529-4962-9e62-ae3531b5015c · outbound

This paper cites Cailler, Designing an Automated Concurrent Tableau-Based Theorem Prover for First- Order Logic, Ph.D.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Cailler, Designing an Automated Concurrent Tableau-Based Theorem Prover for First- Order Logic, Ph.D

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.721661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 89016361-141b-41f6-a18d-3c0d7e3b2095 · outbound

This paper cites Dowek, T.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Dowek, T

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.701079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1987a914-e055-4298-9ed6-985d5544919e · outbound

This paper cites Guilloud, M.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Guilloud, M

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.677492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b029b041-6a5b-4f83-bfe8-074735433067 · outbound

This paper cites Orthologic with Axioms.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Orthologic with Axioms

Reference 45

Resolution: verified exact; local_arxiv, observed 2026-08-06T17:19:53.143771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 61b1fded-2c3b-400e-8b13-dab038b50fb5 · outbound

This paper cites an unresolved cited work.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:19:53.656709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c829a7e6-73b1-4650-962e-3ab831cf3adb · outbound

This paper cites Otten, Connection Calculi for Automated Theorem Proving in Classical and Non-Classical Logics, Ph.D.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Otten, Connection Calculi for Automated Theorem Proving in Classical and Non-Classical Logics, Ph.D

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.632285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7e861924-a6f8-4a98-ae1e-38cca9037653 · outbound

This paper cites Kaliszyk, Efficient Low-Level Connection Tableaux, in: H.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Kaliszyk, Efficient Low-Level Connection Tableaux, in: H

Reference 48

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T17:19:53.609722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0a272567-810a-46c8-9fa8-c5f638115654 · outbound

This paper cites an unresolved cited work.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:19:53.586879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 901a4b4f-5467-4a2d-b0aa-16d88c3dc719 · outbound

This paper cites Bonichon, O.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Bonichon, O

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.566496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 701ca87a-9c52-468d-97f9-e2684b76fb58 · outbound

This paper cites Rosain, R.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Rosain, R

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.547621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0e356e55-efd4-4585-a073-c771d50b07e2 · outbound

This paper cites Nipkow, M.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Nipkow, M

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.526871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1a048381-4cde-4ea6-8032-70d9dfe87e0a · outbound

This paper cites Avigad, L.

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Avigad, L

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:19:53.506939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.