{
  "id": "quant-ph/9506041",
  "version": "v1",
  "published": "1995-06-29T00:29:22.000Z",
  "updated": "1995-06-29T00:29:22.000Z",
  "title": "Logic programming as quantum measurement",
  "authors": [
    "R. R. Zapatrin"
  ],
  "comment": "11 pages, latex, paper accepted for publication in the International Journal of Theoretical Physics",
  "journal": "Int.J.Theor.Phys. 34 (1995) 1813-1821",
  "doi": "10.1007/BF00676296",
  "categories": [
    "quant-ph"
  ],
  "abstract": "The emphasis is made on the juxtaposition of (quantum~theorem) proving versus quantum (theorem~proving). The logical contents of verification of the statements concerning quantum systems is outlined. The Zittereingang (trembling input) principle is introduced to enhance the resolution of predicate satisfiability problem provided the processor is in a position to perform operations with continuous input. A realization of Zittereingang machine by a quantum system is suggested.",
  "revisions": [
    {
      "version": "v1",
      "updated": "1995-06-29T00:29:22.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "quantum measurement",
      "logic programming",
      "predicate satisfiability problem",
      "statements concerning quantum systems",
      "perform operations"
    ],
    "tags": [
      "journal article"
    ],
    "publication": {
      "publisher": "Springer",
      "journal": "International Journal of Theoretical Physics",
      "year": 1995,
      "month": "Aug",
      "volume": 34,
      "number": 8,
      "pages": 1813
    },
    "note": {
      "typesetting": "LaTeX",
      "pages": 11,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "inspire": 396758,
      "adsabs": "1995IJTP...34.1813Z"
    }
  }
}