Paper Citation Record · LEDGER

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound

As of 12 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2607.26413.

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

pith.paper-citation-record.v1
2607.26413 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T16:34:53.107682Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

15 of 15 outbound references displayed

verified exact0
verified fuzzy0
unresolved15
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 63eff4bd-9e12-4964-acc5-31f756cce60f · outbound

This paper cites an unresolved cited work.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:51.767771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95b68da9-9b7d-448d-bca9-d383cd0a9618 · outbound

This paper cites Conway and Simon Kochen.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Conway and Simon Kochen

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:51.860669Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31102348-bada-4237-9328-f91919e864dc · outbound

This paper cites an unresolved cited work.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.031272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b2a4cb6-35fb-4442-8eb4-26dad5288ac1 · outbound

This paper cites Z3: An efficient SMT solver.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Z3: An efficient SMT solver

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.177200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bde1e077-b8aa-483b-a388-b50b2daa2cf7 · outbound

This paper cites The Lean 4 theorem prover and programming language.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound The Lean 4 theorem prover and programming language

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.389484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d8a76a4-9a9a-431c-a432-d8cb382c0101 · outbound

This paper cites InProceedings of the AAAI Conference on Artificial Intelligence, 2021.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound InProceedings of the AAAI Conference on Artificial Intelligence, 2021

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.513117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82397f62-10bc-4f2f-9547-d2a4b5c1fd0b · outbound

This paper cites A Lean 4 formalization of the Kochen–Specker paradox.https://github.com/ guptbot/free_will_lean, 2025.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound A Lean 4 formalization of the Kochen–Specker paradox.https://github.com/ guptbot/free_will_lean, 2025

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.658621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f42bd70-2d88-4322-8895-d63357cfc5ff · outbound

This paper cites Co-Certificate learning with SAT modulo symmetries.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Co-Certificate learning with SAT modulo symmetries

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.823558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4004e54-6413-4002-bb89-7b9edbfe83c3 · outbound

This paper cites an unresolved cited work.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.917007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b9080e5-ca9f-47e1-822e-befb9289fdae · outbound

This paper cites Toward Satisfiability Modulo Realizability.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Toward Satisfiability Modulo Realizability

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.960063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15b19521-202c-47c2-ae83-bb459d938ec1 · outbound

This paper cites Efficient verified (UN)SAT certificate checking.Journal of Automated Reasoning, volume 64, pages 513–532, 2020.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Efficient verified (UN)SAT certificate checking.Journal of Automated Reasoning, volume 64, pages 513–532, 2020

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:52.993598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74cfb753-4411-4b95-a028-d863c13d8882 · outbound

This paper cites A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:53.018615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f62487e-ddf9-4376-985e-86cc39677da1 · outbound

This paper cites PBLean: Pseudo-Boolean proof certificates for Lean 4.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound PBLean: Pseudo-Boolean proof certificates for Lean 4

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:53.053753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d4f8312-e897-4c37-8bfa-790171484198 · outbound

This paper cites A Kochen–Specker system has at least 22 vectors.New Gen- eration Computing, 34:3–23, 2016.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound A Kochen–Specker system has at least 22 vectors.New Gen- eration Computing, 34:3–23, 2016

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:53.085418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a7888ae-c64e-4431-94aa-3fc25309f67f · outbound

This paper cites an unresolved cited work.

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T16:34:53.107682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.