{
  "annotation_id": "24cdaefe-f085-4eb4-b127-6ffb5467d669",
  "date_created": "2026-03-02T18:02:37.560000Z",
  "date_modified": "2026-03-02T18:02:37.560000Z",
  "file_hash": "85ad9a99f2b69d30af9374820c29b183ed626e6b498c7a0a1286ae842427be0e",
  "private": false,
  "record": {
    "abstract": "The emphasis is made on the juxtaposition of (quantum~theorem) proving versus\nquantum (theorem~proving). The logical contents of verification of the\nstatements concerning quantum systems is outlined. The Zittereingang (trembling\ninput) principle is introduced to enhance the resolution of predicate\nsatisfiability problem provided the processor is in a position to perform\noperations with continuous input. A realization of Zittereingang machine by a\nquantum system is suggested.",
    "arxiv_id": "quant-ph/9506041",
    "authors": [
      "R. R. Zapatrin"
    ],
    "categories": [
      "quant-ph"
    ],
    "doi": "10.1007/BF00676296",
    "journal_ref": "Int.J.Theor.Phys. 34 (1995) 1813-1821",
    "title": "Logic programming as quantum measurement",
    "url": "https://arxiv.org/abs/quant-ph/9506041"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "13218ea1-d436-4377-8d3c-4f39e2869cfc",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}