Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T12:27:46.848048Z
Paper Citation Record · LEDGER
Linear Realisability over nets: multiplicatives (long version)
As of 13 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2411.17486.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
58 of 58 outbound references displayed
- verified exact8
- verified fuzzy24
- unresolved24
- parse uncertain2
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5d451311-9b99-4795-ace9-6ccfb47aa9b1 · outbound
This paper cites Minimality of the correctness criterion f or multiplicative proof nets.
Linear Realisability over nets: multiplicatives (long version) Minimality of the correctness criterion f or multiplicative proof nets
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-12T12:27:47.108851Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c8ea86a5-f572-4204-9ce0-659e7d668757 · outbound
This paper cites A concurrent model for linear logic.
Linear Realisability over nets: multiplicatives (long version) A concurrent model for linear logic
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-12T12:27:47.096289Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2621ff21-3b62-480b-a319-8cf90e9f7966 · outbound
This paper cites Concurrent realizabil- ity on conjunctive structures.
Linear Realisability over nets: multiplicatives (long version) Concurrent realizabil- ity on conjunctive structures
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-12T12:27:47.083061Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bf21d176-8800-45da-9e0e-5f333d1b538c · outbound
This paper cites Introduction to linear logic and ludics, part II.
Linear Realisability over nets: multiplicatives (long version) Introduction to linear logic and ludics, part II
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T12:27:46.615979Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2542858f-8d21-4e84-99db-12bd2b0d1985 · outbound
This paper cites The structure of mult iplicatives.
Linear Realisability over nets: multiplicatives (long version) The structure of mult iplicatives
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T12:27:46.620189Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 199ce4db-9bd8-4d6a-b782-ff2eefb9368d · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.813834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 29a400a1-f477-4f5f-b2f9-dc09c67bd599 · outbound
This paper cites Linear logic.
Linear Realisability over nets: multiplicatives (long version) Linear logic
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T12:27:46.629267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 209e7311-8777-4a5b-a1d6-f33d888196c1 · outbound
This paper cites Multiplicatives.
Linear Realisability over nets: multiplicatives (long version) Multiplicatives
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.802233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c3d64744-a217-4a4c-9bc3-f7207b389371 · outbound
This paper cites Proof-nets: The parallel syntax for p roof-theory.
Linear Realisability over nets: multiplicatives (long version) Proof-nets: The parallel syntax for p roof-theory
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.790508Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f9b50bf4-cf0f-43ab-9ad7-a47024bc74a3 · outbound
This paper cites Locus solum: From the rules of logic t o the logic of rules.
Linear Realisability over nets: multiplicatives (long version) Locus solum: From the rules of logic t o the logic of rules
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.777893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 135383a6-ddf9-40da-8433-d132b8106f8e · outbound
This paper cites From abstrac tion and indiscernibility to classification and types: revisiting hermann weyl’s theory of ideal elements.
Linear Realisability over nets: multiplicatives (long version) From abstrac tion and indiscernibility to classification and types: revisiting hermann weyl’s theory of ideal elements
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T12:27:46.645670Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3c128916-fd2e-4790-9337-854b188b1fb7 · outbound
This paper cites Realizability in classical logic.
Linear Realisability over nets: multiplicatives (long version) Realizability in classical logic
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.764909Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7c05936c-eb89-48e2-8fd5-48a5d32dc6f6 · outbound
This paper cites Handbook of Linear Logic.
Linear Realisability over nets: multiplicatives (long version) Handbook of Linear Logic
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.752146Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 88b57090-ec69-4c79-ab78-cdf9ef489af8 · outbound
This paper cites Modified realizability interpretation of classical linear logic.
Linear Realisability over nets: multiplicatives (long version) Modified realizability interpretation of classical linear logic
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-12T12:27:47.044670Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e0cb76d4-bc88-48a9-ba9f-7873a147a4ed · outbound
This paper cites Interaction graphs: Multiplicatives.
Linear Realisability over nets: multiplicatives (long version) Interaction graphs: Multiplicatives
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.738458Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f2385dda-7e35-4d01-a145-01ac3c14badb · outbound
This paper cites Interaction graphs: Exponentials.
Linear Realisability over nets: multiplicatives (long version) Interaction graphs: Exponentials
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.724930Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f70bbaa0-45e8-4c6a-928c-56cfc80117b4 · outbound
This paper cites Interaction Graphs: Full Linear Logic.
Linear Realisability over nets: multiplicatives (long version) Interaction Graphs: Full Linear Logic
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T12:27:47.125152Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2e0c3b3d-fdd6-4814-a3c1-7805fe39cfbb · outbound
This paper cites Interaction graphs: Additives.
Linear Realisability over nets: multiplicatives (long version) Interaction graphs: Additives
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-12T12:27:47.018442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8ff2f601-af4b-47fd-a9fa-dbf82bb4136f · outbound
This paper cites Interaction graphs: Graphings.
Linear Realisability over nets: multiplicatives (long version) Interaction graphs: Graphings
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-12T12:27:47.005330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9970a615-56c5-42df-aadf-fe7d3f004299 · outbound
This paper cites dependency.
Linear Realisability over nets: multiplicatives (long version) dependency
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.712328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 73ccf483-0e82-42e1-aeb2-46073250af50 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.700571Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5dfae82a-f64b-4479-82c4-bf744ba37063 · outbound
This paper cites Proposition 123.
Linear Realisability over nets: multiplicatives (long version) Proposition 123
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.688852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b2b46a7f-a323-4475-8d64-23cb61d7836d · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 24
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-12T12:27:47.676982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b3b01428-efff-4b69-af37-5d8cd31adc64 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.665780Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 95a12171-001a-4c7c-9e7a-d1801145d081 · outbound
This paper cites We conclude since S→∗ ✠ 0 (Remark 131).
Linear Realisability over nets: multiplicatives (long version) We conclude since S→∗ ✠ 0 (Remark 131)
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.654813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 83969791-9bf2-4204-b16e-251c12b2b519 · outbound
This paper cites Similarly because (S ⊲ ⊳d1,d′ 1 T1) ⊲ ⊳d2, f (d′.
Linear Realisability over nets: multiplicatives (long version) Similarly because (S ⊲ ⊳d1,d′ 1 T1) ⊲ ⊳d2, f (d′
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.643843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8beeb381-9acc-4faf-9371-bc26eed367c6 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.632417Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 27e1fbc5-c0f9-41ba-930e-f6f84a28e5cc · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.621660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6b0dc134-14d6-4cbd-a492-28965e4c43e2 · outbound
This paper cites From this argument one shows that S = (S ⊲ ⊳d1,d′ 1 T′.
Linear Realisability over nets: multiplicatives (long version) From this argument one shows that S = (S ⊲ ⊳d1,d′ 1 T′
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.610944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 54191e7c-0525-4d9c-a480-b415dbf306ce · outbound
This paper cites If T′ 1 (resp T′.
Linear Realisability over nets: multiplicatives (long version) If T′ 1 (resp T′
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.600468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 18151368-85b6-4c38-8707-6577f6de25d2 · outbound
This paper cites ∑ 1≤i≤k ✠ 0) then S = (S ⊲ ⊳d1,d′ 1 ∑ 1≤i≤n ✠ 0) ⊲ ⊳d2, f (d′.
Linear Realisability over nets: multiplicatives (long version) ∑ 1≤i≤k ✠ 0) then S = (S ⊲ ⊳d1,d′ 1 ∑ 1≤i≤n ✠ 0) ⊲ ⊳d2, f (d′
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.588549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5dd801d6-e967-405b-b92a-d0a5f5e126fe · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.577634Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ac71a1bf-edae-4a10-a0ef-550275ff5c60 · outbound
This paper cites From Equation 2 this means that necessarily n− 1 = 0 and k− 1 = 0 i.e.
Linear Realisability over nets: multiplicatives (long version) From Equation 2 this means that necessarily n− 1 = 0 and k− 1 = 0 i.e
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.566219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 840332a5-d5dc-4dae-9592-7b3f4da3e3d0 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.554324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e1d9b688-8ef5-473e-a2e6-65c0ef55520a · outbound
This paper cites the head.
Linear Realisability over nets: multiplicatives (long version) the head
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.543485Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d1b14086-537c-4eb0-ac93-3f0233c9785a · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 37
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-12T12:27:47.529909Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation afd17e14-f137-4184-a52e-0daf3416825b · outbound
This paper cites We treat each point independently.
Linear Realisability over nets: multiplicatives (long version) We treat each point independently
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.517455Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 06fe69c9-cbf8-4762-9a4f-01831831e9fd · outbound
This paper cites Because we have the inclusion A0⊆ A and B0⊆ B it follow then that x = a0‖ b0 belongs to A‖− B and thus to A‖ B.
Linear Realisability over nets: multiplicatives (long version) Because we have the inclusion A0⊆ A and B0⊆ B it follow then that x = a0‖ b0 belongs to A‖− B and thus to A‖ B
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.506102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 78718670-5aaf-43f2-84c0-9392797fc60a · outbound
This paper cites Using the previous demonstrated fact it follows that A⊥ 0‖ B⊥ 0 contains A⊥‖ B⊥.
Linear Realisability over nets: multiplicatives (long version) Using the previous demonstrated fact it follows that A⊥ 0‖ B⊥ 0 contains A⊥‖ B⊥
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.494574Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b8fecac5-d9d8-404e-a57e-ee3b9ab50a55 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.482166Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b88b3cea-4cd0-4bba-a7aa-1844c087e6d0 · outbound
This paper cites 35 Proposition 136 (Remark 59).
Linear Realisability over nets: multiplicatives (long version) 35 Proposition 136 (Remark 59)
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.471344Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8456f52a-24fb-452f-9893-a8a3792b17e9 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.447571Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1ab3e274-ad18-4fbb-b9ff-3df12dd6d148 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.435902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 595b09a6-f050-435f-8caf-ee2582cdd7d1 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.422378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 97c14f9d-6306-432c-8e5d-0ea22f197a3c · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.409840Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation aa4d045d-fce4-4eab-8161-fcb898b9142c · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.398509Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b0190166-2683-4d4e-bb30-31d45404d96d · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.385001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d9d56e7a-7cde-4941-8fcc-6419b3be6cf5 · outbound
This paper cites ,pn ⊲` n p⟩⊥ S1 +··· + Sn +⟨S1(1).
Linear Realisability over nets: multiplicatives (long version) ,pn ⊲` n p⟩⊥ S1 +··· + Sn +⟨S1(1)
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.371170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7b3e3c2c-c76e-4c15-9cfe-04dd28669475 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.357077Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c2022f72-d759-4cd2-846c-fa88a7273893 · outbound
This paper cites soundness.
Linear Realisability over nets: multiplicatives (long version) soundness
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.343662Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 36e4c457-f1c6-42cb-8a72-e2e872818abe · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.328777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7cb8d504-020b-4b1f-a5c2-958ef73faf9a · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.313871Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d8c480d9-6661-4f1a-b842-84af8cac22d0 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.300871Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 224b02e3-3aef-46b5-a5db-38d4f7713af9 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.288233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1a8b2102-ffd1-4e27-9bcb-701ae19a47fd · outbound
This paper cites S|≃ at ∆ for some sequent ∆ ≤ Γ.
Linear Realisability over nets: multiplicatives (long version) S|≃ at ∆ for some sequent ∆ ≤ Γ
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.276117Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b0863f91-64b9-4878-b2b2-4958304233b9 · outbound
This paper cites adequate.
Linear Realisability over nets: multiplicatives (long version) adequate
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T12:27:47.264454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 0471d57f-58d2-4e19-89d7-709d30ffa0bc · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T12:27:47.459683Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 60682320-feda-4d26-a0af-b5c17bf884a0 · outbound
This paper cites an unresolved cited work.
Linear Realisability over nets: multiplicatives (long version) Unresolved cited work
Reference 2012
- Resolution
- verified exact
- doi, observed 2026-08-12T12:27:47.029752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Pith citing papers
No inbound Pith citation observations are available.