[KongchangAI]
Unverified50% confidenceFactExact time

DRAT proof checking verified that codes do not exist for certain parameters, providing 115 verified code records and 10 non-existence results with checked DRAT proofs.

1
Sources
50%
Confidence
Long-term
Relevance
11/2/2026
First Seen

Sources

Related Entities

Related Claims

Cite This Claim

Stable URI
https://kongchang.com/claim/1125270
API
curl https://kongchang.com/api/v1/knowledge/claims/1125270
MCP
get_claim(id=1125270)