openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Publication v3

Record details

Caccetta–Häggkvist cycle bound →

Coverage & review

  • No exhaustive literature or source-list coverage.
  • Independent mathematical assessment has not been performed.
  • Historical source from 2006; recent progress and present status are unreviewed.

General status observations

AIM · Caccetta–Häggkvist workshop survey ↗

Conjecture 2.1; no current-status report · observed Oct 1, 2026

Source status dated Apr 14, 2006 · observed Oct 1, 2026

The cited source item and version only; this is not an independent OpenMath assessment.

Source identities & rights

AIM · Caccetta–Häggkvist workshop survey ↗

Blair D. Sullivan; hosted by American Institute of Mathematics · metadata-link · Not established; links and OpenMath paraphrases only

Store metadata and original OpenMath paraphrases; follow the original source for authoritative wording. Rights / source terms

1 cited entry · exact source identity
Version
aim-caccetta@2006-04-14
Revision
2006-04-14
Content SHA-256
No upstream byte snapshot retained; linked metadata only
Source update
2006-04-14
Observed
2026-10-01
Check cadence
180 days

Publication history

Problem ID
problem-caccetta-haggkvist
Publication checksum
1d0069db986aab35e91b21beb7a24c1cb89379170517a922c1851ed744e2ab9d
Published
2026-10-11T06:54:13.414773+00:00
Publication reason
Publish checked pilot curation with canonical Claims and scoped progress; preserve exact source revisions, assumptions, coverage limits and historical publications. External artifacts and OpenMath execution remain distinct.
  1. Version 1 · Sep 30, 2026

    Initial checked pilot publication; source attribution, rights, wording and coverage reviewed by OpenMath staff.

  2. Version 2 · Oct 10, 2026

    Add cited resolution scope and consolidate equivalent prime formulations and supporting Claims; mathematical evidence and execution review remain distinct.

  3. Version 3 · Oct 11, 2026

    Publish checked pilot curation with canonical Claims and scoped progress; preserve exact source revisions, assumptions, coverage limits and historical publications. External artifacts and OpenMath execution remain distinct.

  4. Version 4 · Oct 12, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  5. Version 5 · Oct 12, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  6. Version 6 · Oct 13, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  7. Version 7 · Oct 13, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  8. Version 8 · Oct 15, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  9. Version 9 · Oct 20, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  10. Version 10 · Oct 21, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  11. Version 11 · Oct 21, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

Download version-reference manifest →