{"entities":{"Q1604802":{"pageid":1615542,"ns":120,"title":"Item:Q1604802","lastrevid":57417363,"modified":"2026-03-30T21:04:41Z","type":"item","id":"Q1604802","labels":{"en":{"language":"en","value":"Quantum logic in intuitionistic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1764818"}},"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":"Q1604802$7017D456-8A3B-4458-B987-B9B551A621ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3e355a59f1fec2cbe87895ea46ea5cd789ee39","datavalue":{"value":{"text":"Quantum logic in intuitionistic perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604802$25063208-CADE-458C-83E2-A892BF627B58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15868985544ffa4ae683ca814edfb177312abb9d","datavalue":{"value":"0999.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$14C97EC4-28CB-442A-9482-ED21A9C7F398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd2747a3c15cf07138718add17663d24876a5fe0","datavalue":{"value":"10.1023/A:1015106515413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$7293369B-E097-4B63-BDD9-F4C84788C4C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abe6f65ea2ec269e3345c54c01a3dd4578c0db5","datavalue":{"value":{"entity-type":"item","numeric-id":276465,"id":"Q276465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604802$1A50185D-F51A-466E-9A6D-697E5EA9191F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604802$78A19AC4-24AF-453C-8CD3-F1512103BEF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90e1b061609a6c6333868837d9d52a69877236e9","datavalue":{"value":{"time":"+2002-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604802$449B9D7B-EE69-401C-9C06-AAF14218248D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bbd214ecfb55f0462007e01193a06f64fbad4d5","datavalue":{"value":"https://arxiv.org/abs/math/0011208","type":"string"},"datatype":"url"},"type":"statement","id":"Q1604802$A72434C6-F741-49AF-8423-7E3791DD7512","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab4c01fef81bac60bb4de8654a35413072ca7621","datavalue":{"value":"This paper tries to reconcile a non-distributive orthocomplemented lattice (intended for physical properties) on the one hand and a distributive pseudocomplemented lattice (intended for logical propositions) on the other. The author proposes a complete Heyting algebra equipped with a particular kind of closure operator (called the operational resolution) as a unifying framework. In this context he re-discovers a specification and a refinement of \\textit{G. Bruns} and \\textit{H. Lakser's} [Can. Math. Bull. 13, 115-118 (1970; Zbl 0212.03801)] on injective hulls of meet-semilattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604802$72C92ED1-6439-4C0C-9EC8-001396E88906","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604802$91660916-DBA5-4C18-B122-A1B9309469A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$B09FD6EA-A7D3-442D-BB22-850032413FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$B1E23A66-5565-45B6-AD58-7560B135BAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$7381884F-DC67-4029-A6E2-5E2E1394DE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$0996D0BD-CCD5-4112-BB6A-6E809E8B4BF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba630b71058d1e3e83c5518dd5f088a0b6b65f79","datavalue":{"value":"1764818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$77DD9B71-8676-44B6-A67F-5A99489BF8AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7021acd2cb46d1c8cc46a885b36dbefb6828cb0","datavalue":{"value":"orthocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604802$F946D0BD-8FDD-4167-84B8-0120E9C9FF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604802$2E69265C-FB47-4CF3-9ABF-7AA8AAE6658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604802$BFCF7DA4-1E47-437A-91FF-D770FE7AFB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108986a6b0fcc4d3ebe53f5c1e7986421e6be04e","datavalue":{"value":"injective hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604802$9C3C4A5B-F2D5-4EED-8C6A-DAF2A4B62007","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":"Q1604802$62C3073F-0B73-41A9-9672-5F553BE88C67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31b3869cf94c1a0e48ff20e603e74a16a73b8969","datavalue":{"value":"W1575413252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604802$7829EF6B-7172-463B-B82D-68AF65DC5EF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1c05a8f5d0fa8a014231084ccefb0000eaa98f","datavalue":{"value":{"entity-type":"item","numeric-id":5164733,"id":"Q5164733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1678699ba6a98ca09377e81902b3b628f18608","datavalue":{"value":{"amount":"+0.7862752079963684","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":"Q1604802$86771F2F-4C3D-42FB-8A6A-67047BCF9095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e74a6d1b5e76688a8c330bd0e468c105a3f4b80","datavalue":{"value":{"entity-type":"item","numeric-id":3017965,"id":"Q3017965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5de538f906470d69c645acceb2b0a2431bfd28f","datavalue":{"value":{"amount":"+0.7790571451187134","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":"Q1604802$D70BA0A5-AF17-4122-9415-519D24A5258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cd8cbc46db9772f2388671947d20aeac5b2be6","datavalue":{"value":{"entity-type":"item","numeric-id":1611250,"id":"Q1611250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ca7f7907406ebf1c78268ebb288479bf865e01","datavalue":{"value":{"amount":"+0.7747171521186829","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":"Q1604802$444D03A9-4269-4206-A9F1-D7C18FB9DC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd4cfa45a4445cc8c23bc79e03cea9ec77f32e8","datavalue":{"value":{"entity-type":"item","numeric-id":3346311,"id":"Q3346311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ca7f7907406ebf1c78268ebb288479bf865e01","datavalue":{"value":{"amount":"+0.7747171521186829","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":"Q1604802$75646E0E-02B5-4E00-A94D-F0AC0CE26FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c86a59ab7e7228b8475f0aa63cdc053fe8ac9f","datavalue":{"value":{"entity-type":"item","numeric-id":3179086,"id":"Q3179086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e7f1bb9d70944fd95c10c85dbeb1de512ed471","datavalue":{"value":{"amount":"+0.7639537453651428","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":"Q1604802$5F3B65F8-DB75-4135-B7BC-B3BB5A1C09CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1604802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1604802"}}}}}