{"entities":{"Q798319":{"pageid":800167,"ns":120,"title":"Item:Q798319","lastrevid":48734794,"modified":"2026-01-05T18:02:25Z","type":"item","id":"Q798319","labels":{"en":{"language":"en","value":"The representation of Takeuti's \\(\\coprod\\)-operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869327"}},"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":"Q798319$A6464DE6-B2AE-48EB-8F5A-296A7D88C515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7a468d138d291b3fbc37f0fb9cb8250cdc0d435","datavalue":{"value":{"text":"The representation of Takeuti's \\(\\coprod\\)-operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798319$FE56E546-ACD2-406E-8464-20AA89312E37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56f90f17ba67bd5a2b5c82da59e9ad1aac10b1d1","datavalue":{"value":"0546.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798319$D63CC670-0080-4693-9358-C414D9508962","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e80c3418ff85d42bef76cde3479855aae73331e","datavalue":{"value":"10.1007/BF01371629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798319$4ED10536-EC0C-4DB1-8FF6-BD55BA47D6C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2cb6fc28f5365a918cf9101b4533aa873063f67","datavalue":{"value":{"entity-type":"item","numeric-id":324997,"id":"Q324997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798319$1744DF55-D2AE-4C47-946F-6D77EC75AB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82145f2c509f6818bbc22e441922b002b74d6125","datavalue":{"value":{"entity-type":"item","numeric-id":1006506,"id":"Q1006506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798319$6F0F93F4-2128-4E80-A18F-2B15CE7C1A99","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":"Q798319$F0A3CD47-3CF8-4E42-9A85-A03E5B9F72E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q798319$647E5947-A570-4EB0-A558-7155A81EA0F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f163b130c71235416ed1ccca44923f9766726a2b","datavalue":{"value":"\\textit{G. Takeuti} has recently proposed [Current issues in quantum logic, 303-322 (1981; Zbl 0537.03044)] a new operation on orthomodular lattices L, \\(\\coprod: {\\mathcal P}(L)\\to L.\\) The properties of \\(\\coprod\\) suggest that the value of \\(\\coprod (A) (A\\subseteq L)\\) corresponds to the degree in which the elements of A behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular lattices L and the existence of two-valued homomorphisms on L. \\(\\{\\) Cor. 4.3(c) is wrong and will be corrected in the next issue of Stud. Logic\\(a\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q798319$D6557DCE-2048-4415-832B-0DA22B919498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798319$8F0E1966-C5CA-4C91-8EE6-8E5D8397CEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798319$FC328B40-CF11-451D-83CC-8F2523F329FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa4446080f6ef2ae4d17a75a38b31128fb212f09","datavalue":{"value":"06C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798319$E51A21B0-545D-4196-BDC7-27EEB7A9D1FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3050e560e2905f0be18724adfc2a210613588e9b","datavalue":{"value":"3869327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798319$DD7F5F77-8F48-4AD3-8C22-C2185917F6EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75fec5ea7412f58295c60c70f6fc7db38874ed8a","datavalue":{"value":"structural properties of orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q798319$B4108E8A-BCDC-45D2-BD1D-64A2E52DC655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9fb3f3201e160fc25c638b637937c187ac864c","datavalue":{"value":"two-valued homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q798319$1E7C292A-8DFA-40B5-9CCF-8A26A737E3BF","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":"Q798319$093EC151-C85F-48C9-AC7C-E5FD51EFD0A7","rank":"normal"}],"P223":[{"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":"Q798319$3FFBBD9F-FC4C-4A4B-8A23-D04933629DB1","rank":"normal"},{"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":"Q798319$CF093EE3-B5CF-49A5-BA34-54044B116AB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86dcd8898214ecf4ef67b98fa0f589e886d2c85f","datavalue":{"value":{"entity-type":"item","numeric-id":698543,"id":"Q698543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d53ad3eedb3b39431dbee2b7572219b569e336","datavalue":{"value":{"amount":"+0.7545721530914307","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":"Q798319$FC5AF13E-E29D-4345-AB77-6AB6EE36A666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d793eed0fc75073110479cf119efd1affad3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1586457,"id":"Q1586457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b56caa51a0533f6dcfd0ae90c30a9cd99d404b","datavalue":{"value":{"amount":"+0.7421883344650269","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":"Q798319$256DB97D-D383-4E23-A170-7987B01676A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71477e5a7151d8125306cd69a12c0d5d676e36e4","datavalue":{"value":{"entity-type":"item","numeric-id":3135918,"id":"Q3135918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e085b615bf39eae4b72b462027254cddc352aa6","datavalue":{"value":{"amount":"+0.7161287665367126","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":"Q798319$336D2B3A-75FC-4F70-8EA3-D422A9812787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99cc3a422bd0308613dfc50752a98063f7f6ba15","datavalue":{"value":{"entity-type":"item","numeric-id":2992579,"id":"Q2992579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e085b615bf39eae4b72b462027254cddc352aa6","datavalue":{"value":{"amount":"+0.7161287665367126","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":"Q798319$12686806-971C-4D08-9DED-C52CBCE20D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52783a7da40dde46b90f1c17456320f887bcc581","datavalue":{"value":{"entity-type":"item","numeric-id":3703939,"id":"Q3703939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818d437efb900cc9127b7a7c67fae4b4958451e7","datavalue":{"value":{"amount":"+0.7053062319755554","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":"Q798319$D6353A2C-2130-45E1-9833-DD1022FAF3DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798319"}}}}}