{"paper":{"title":"Toward Entailment Checking: Explore Eigenmarking Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.ET","cs.LO"],"primary_cat":"quant-ph","authors_text":"Tatpong Katanyukul","submitted_at":"2025-06-04T09:33:10Z","abstract_excerpt":"Logic entailment is essential to reasoning,\n  but entailment checking has the worst-case complexity of an exponential of the variable size.\n  With recent development, quantum computing when mature\n  may allow an effective approach for various combinatorial problems,\n  including entailment checking.\n  Grover algorithm uses Grover operations, selective phase inversion and amplitude amplification\n  to address a search over unstructured data with quadratic improvement from a classical method.\n  Its original form is intended to a single-winner scenario: exactly one match is promised.\n  Its extensio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.03771","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.03771/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}