{"entities":{"Q685163":{"pageid":687012,"ns":120,"title":"Item:Q685163","lastrevid":63452970,"modified":"2026-04-11T13:16:09Z","type":"item","id":"Q685163","labels":{"en":{"language":"en","value":"Quantum theory as a theory in a classical propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417099"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$971A55B4-E205-4DBB-BD0E-60879275878E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7eefb3fcb2cd881ccc1bfd90e206555457eb585","datavalue":{"value":{"text":"Quantum theory as a theory in a classical propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685163$7485D090-5AB3-4BA7-824D-4CFDF500AD07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edaaa9e5c5ad68a7de8b81ed9cf4b8757cdd4c70","datavalue":{"value":"0783.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685163$16CFFF7E-0722-4FA1-96E3-7B7242ABC75F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c349d12e2351e0409dbac93975fcd35f7d3aba34","datavalue":{"value":"10.1007/BF00671782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685163$3C0AB9FD-14BA-491D-AEA9-64A529097BA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44d2680dadcf9b6d6fb8e2b0e0b0fc1fd0471168","datavalue":{"value":{"entity-type":"item","numeric-id":685162,"id":"Q685162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$CD03745C-4AE3-4919-A56C-F92898652891","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$AAA95A31-AA74-42AA-BF9D-54E185DCC583","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45eae072dc2fde41ae8741e47d8a8d06eb2b2f63","datavalue":{"value":{"time":"+1993-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685163$CE2BA78F-107B-4E8C-8E17-F88C694F18DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6a5649e19f9dd10ca5fe8a1a56f608ce2fb88b1","datavalue":{"value":"The poset of a classical propositional theory \\(T\\) is defined to be the set \\(U_ T\\) of equivalence classes of simple propositions under equivalence determined by \\(T\\), partially ordered by \\([p]\\leq [q]\\) iff \\((p\\to q)\\in T\\). The central mathematical result of the paper says that, given any ortholattice \\(L\\) satisfying a certain atomicity condition, we can choose a theory \\(T\\) so, that \\(U_ T\\) is isomorphic to \\(L\\) (and hence, also is an ortholattice. It cannot, in general, be embedded into the Lindenbaum algebra of \\(T\\); so orthocomplementation in \\(U_ T\\) does not correspond to negation). Now the principal physical implication emphasized by the author is the possibility to consider quantum theory as a theory in classical propositional calculus whose poset is isomorphic to the lattice of all closed subspaces of a separable Hilbert space. In particular, this approach is shown to provide a new look at the wave- particle duality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685163$D5809463-2D02-4872-A6EB-3FC04943A60A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$C2AF81B1-1BFA-4D78-9DBE-263812752AC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685163$D2400D54-40DB-4F81-8305-E0A47DD15C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685163$DBC9EAE5-EC36-416C-9A7E-A642B44DCA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685163$A78DA723-6272-4B81-92AE-9D71CBD45AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8a98f0498536b7b442752a8ff0489a7b6e585c1","datavalue":{"value":"417099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685163$A9C79280-35EA-4A3F-9FE9-FC677009696A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ae9d5b6eaf1a5bae5c791a6c1d612e9581389e","datavalue":{"value":"lattice of closed subspaces of a separable Hilbert space","type":"string"},"datatype":"string"},"type":"statement","id":"Q685163$59AA09CA-0F80-48B0-BF86-AEC29B590737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532a4d6d95b265d3e2e814a178cd94aa5e72abf3","datavalue":{"value":"poset of a classical propositional theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q685163$AF7C29B1-E02F-4C23-93D4-B6743798A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q685163$0579A9DA-DFD5-4831-96FA-CD6C49063FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b8a721345bbdc7dad208f62ad10cca0d2f8f70","datavalue":{"value":"atomicity condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q685163$2FE735F2-51B7-43D5-8C35-356A95056016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267b861e3e837dbcc8287cc03f7cc2cc3bb024f7","datavalue":{"value":"orthocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685163$5555F1B0-2A0E-4474-940B-9E463B0A104B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2962a4326b7e1864ba5ce492e77bff3177c65e74","datavalue":{"value":"wave-particle duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q685163$06C64BF1-CA72-4974-90B6-3BC221E68B14","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$629282B9-4FA9-41CB-AAEA-00D668AD7059","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ccf21c4ef0d868455113d3158584d449c577c23","datavalue":{"value":{"entity-type":"item","numeric-id":3245484,"id":"Q3245484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$A3625810-D9D9-4493-A3EB-61BBADF70078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b9f882568f0b9d8fc0b2f4d285f4a0d4c4b176","datavalue":{"value":{"entity-type":"item","numeric-id":5551052,"id":"Q5551052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$CB39D226-A453-4FB5-A4F0-160CCFC84FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3473edfe0e31b429c0405615afe024ba69140e33","datavalue":{"value":{"entity-type":"item","numeric-id":5536167,"id":"Q5536167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$A545E4AC-E587-462E-9241-15A73DD35039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65305696df5e22ae94c32def30d08ba761b3bfa2","datavalue":{"value":{"entity-type":"item","numeric-id":3789561,"id":"Q3789561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$0419F8AE-CAE0-4699-8DE9-1F45B5915B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc0666b8091b2692e63b3c1f17dfb6048638a95","datavalue":{"value":{"entity-type":"item","numeric-id":5513623,"id":"Q5513623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$5E7D8BB3-88F3-4476-B2D5-E595F5870DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90cad6967ea182c2125b80b2c0177f819c24a611","datavalue":{"value":{"entity-type":"item","numeric-id":2531613,"id":"Q2531613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685163$B0AE980C-E4E9-4215-BB17-994988914383","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"541925194b7f085ced8182a127e941a192c999ff","datavalue":{"value":"https://doi.org/10.1007/bf00671782","type":"string"},"datatype":"url"},"type":"statement","id":"Q685163$BBDDFFAA-BB84-41F1-86A7-01DDFA0FE6BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c67828cacf7d24edfca60cf5ad3814a66af6eb85","datavalue":{"value":"W1975729559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685163$CCA16A6D-4086-4B89-9963-6E76F481AFC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a435560622873191a0b8477a1aed3a4763df95a3","datavalue":{"value":{"entity-type":"item","numeric-id":3789561,"id":"Q3789561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6c79077c920690bb244b800345579e5b007fc7","datavalue":{"value":{"amount":"+0.8378530740737915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685163$486DEEBF-A239-432F-8840-E7D0420FE868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb10c7f65479bc83ba7408912f784fbf9debfb9","datavalue":{"value":{"entity-type":"item","numeric-id":4549874,"id":"Q4549874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171fe8beb4f047d6f92773f6ba49b42c2f908cd8","datavalue":{"value":{"amount":"+0.7524487972259521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685163$12C9B955-9A94-42AF-B1F8-E337D87B123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a79f4e5066fd9110687e8db678ec1f2410a6948","datavalue":{"value":{"entity-type":"item","numeric-id":1421656,"id":"Q1421656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0b0c782e6ed97e1b4cc9296f5b27a6ab1e4fe8","datavalue":{"value":{"amount":"+0.747531533241272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685163$A0A89869-521D-4333-BD3C-D95994DE2D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d422384c75818ac96884ec2cdd3c2ac9032de4","datavalue":{"value":{"entity-type":"item","numeric-id":1174417,"id":"Q1174417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7daebcae69b6d1e9cd7996bc7703d98140c9da9","datavalue":{"value":{"amount":"+0.7367973923683167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685163$58CC85D0-49F9-4FD4-A260-D53BE9799C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f7ddacb307b1ae051ccd7eae4041506483edc1","datavalue":{"value":{"entity-type":"item","numeric-id":1617254,"id":"Q1617254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62ba75a977a0130140d552d97d23fb3b1621287","datavalue":{"value":{"amount":"+0.7321686148643494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685163$AB9C5F7E-838B-42D2-AF77-CB97EA2775B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum theory as a theory in a classical propositional calculus","badges":[]}}}}}