{"entities":{"Q3632528":{"pageid":5662434,"ns":120,"title":"Item:Q3632528","lastrevid":58225425,"modified":"2026-04-04T07:37:51Z","type":"item","id":"Q3632528","labels":{"en":{"language":"en","value":"Modal-type orthomodular logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5564210"}},"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":"Q3632528$6E356084-7E15-42B1-80FF-CCA89AA628EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54546fd0c1236f43009ba2a5f9766ccd3f5743ac","datavalue":{"value":{"text":"Modal-type orthomodular logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3632528$6EE4DD66-97E2-4DD1-A56E-53A19FE9C29A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d3a7a1eb235eb2fe69599ffe078d50622bad2cd","datavalue":{"value":"1172.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$10DD8C7A-A39F-4D44-8C68-12EC51E22A89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c2444773506a2d149a5400455ba0bb355fc463","datavalue":{"value":{"entity-type":"item","numeric-id":353356,"id":"Q353356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$D9C3CB46-D83E-46AC-AA87-1F6426F3F3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0852e8631491cc7f67afa0e5cabd8b9e4a13e31","datavalue":{"value":{"entity-type":"item","numeric-id":682654,"id":"Q682654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$9DCFC5AC-2353-44A2-A51F-539B4AEA079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"988d188e01be9876a53da7ab64f682294471aa18","datavalue":{"value":{"entity-type":"item","numeric-id":616836,"id":"Q616836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$722775CD-16D3-4E79-955F-2C71018CA820","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$11E56757-2C24-4A1C-B00E-DF3EA5A94EF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"476bfa1eca806cbbd7c0c525c26fe211bba5b0be","datavalue":{"value":{"time":"+2009-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3632528$CB32461A-8D3A-4F8F-A71A-45E530DA5115","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"accbc2dd24ca7fe477b73684c765e65b92be3919","datavalue":{"value":"https://arxiv.org/abs/0807.1278","type":"string"},"datatype":"url"},"type":"statement","id":"Q3632528$0DBDC1F0-8033-4884-BA26-7732DCCD1352","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$7C185B4A-B26F-4E94-9B48-C4090E74295F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$F84104D4-4851-47FC-AA29-6EDD4393D777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$F3976C05-77CD-4924-A9F3-5252DEAA087D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$327C3C90-1AD1-4BB4-BBC5-80FA22634BBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1f73f6d723db8c6f4d6647978d575c02b2a0ab6","datavalue":{"value":"5564210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$884CB5B2-09E8-4CC9-B02C-0346B2197092","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4ecf9bed39067d70cc64c5a9ae4ca68644c505","datavalue":{"value":"modal orthomodular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$5612EB0F-6459-4E40-989E-F660A0C598DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$235CA241-AD91-4DF3-8CC4-5A8A6BE6FA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88cdcca7c79570f54bb605a722497c0e66ca8604","datavalue":{"value":"Baer*-semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$48D83F53-47CF-414A-BF6E-2AD84D0A3836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$DC1037D1-E04D-4A23-AC55-2B372910E235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$F2DF5FC8-B3A4-4B07-AC48-27E69B09839F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$BD2A226D-221D-47A6-8CFB-F24A81251E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$E3FC4D8F-8C6C-4463-A87A-1ACE9F78A0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b7b438a93082bd7e132c1fbb79f54a3572cb637","datavalue":{"value":"Boolean saturated orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632528$66D08A51-5099-442A-B437-8CF8309EBA20","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":"Q3632528$114B39CD-51C7-45F8-B779-8A278C95094F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c6a6a1186be833567560178857d04bfacbc138c","datavalue":{"value":"W3036402355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$01A24BCD-2562-40D7-AE80-D6A5E6C18512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$D4E0B9BF-19A0-4EDE-B039-442764DC9AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a95edef21208de97a5e107ace127708203714c8","datavalue":{"value":{"entity-type":"item","numeric-id":4508551,"id":"Q4508551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$F88ADD4E-6DE8-4EAD-864C-F4D18B56EECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$508F8FF6-5DB2-4409-AB12-275F3447EFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce286ae1f4ae6431371fdb48b7e46a4cc12221a","datavalue":{"value":{"entity-type":"item","numeric-id":1242901,"id":"Q1242901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$3C44961B-E41F-400C-BDA6-4F56F33FC6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b9fec05453e32bfd19fc6f5623255486875a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$654C0FDD-2BD2-456E-AD48-529E452B0191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc10e6ff4fdcaef7d6f6237edf717ec0d0a60afc","datavalue":{"value":{"entity-type":"item","numeric-id":816126,"id":"Q816126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$DE896E20-F9F0-4617-BAA7-E2EAC145A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c947c4ba38471074597a818b4def7290eab339b4","datavalue":{"value":{"entity-type":"item","numeric-id":4159031,"id":"Q4159031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$FE4D1AF2-A348-49CE-B9AA-8FDCACE2C42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2345dad5949f178ad38f550bccc0fee1a39a689d","datavalue":{"value":{"entity-type":"item","numeric-id":3418706,"id":"Q3418706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$C2041F8E-6D13-4164-B4B4-9F3E7E347FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee48fc7074418b90cae92be518a2d27ac13085c3","datavalue":{"value":{"entity-type":"item","numeric-id":2426181,"id":"Q2426181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$458E59AD-CF42-4ACE-A1D0-FBBB3B61EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e11dc892348d50f78fc3723a463f0f111dfd440","datavalue":{"value":{"entity-type":"item","numeric-id":3722500,"id":"Q3722500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$A73E11C5-55DF-4ADE-85D5-F753417FE678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4376b57479d64c0f3d5ca51fdc2efeccaf537ac","datavalue":{"value":{"entity-type":"item","numeric-id":1141650,"id":"Q1141650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$03B914ED-A97C-4E41-863F-8FB7BB761DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf53ba61d85f0db33fb651ceed3f59f4beb81861","datavalue":{"value":{"entity-type":"item","numeric-id":4055962,"id":"Q4055962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$FB43C83E-50B0-42D8-91BC-EE756C757615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11963506ccd70edd95ba4ed810d5400bc11df233","datavalue":{"value":{"entity-type":"item","numeric-id":2523566,"id":"Q2523566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$4DE253D4-D39F-4B3A-8F49-13399368B951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$4D78586E-B871-4AFA-A6DA-775EBCC5ABC5","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":"Q3632528$103B19B2-B9F7-40BE-ADF8-5DA0A7CCE64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76cac16721f1b04bb5745f5b2632a40bb3616f0","datavalue":{"value":{"entity-type":"item","numeric-id":5623714,"id":"Q5623714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$665A272C-4F26-4088-8243-A50335A1D2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b33eeda73e45eaecc4ad2806f9f23f9eb64f323","datavalue":{"value":{"entity-type":"item","numeric-id":2743648,"id":"Q2743648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$1FD3F364-CBD4-4649-981E-6A13C8BE3D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5157c2dfee1d9f65f0c22f7f6ce0c49453df8ab1","datavalue":{"value":{"entity-type":"item","numeric-id":4450440,"id":"Q4450440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632528$8060A8D6-74F7-4DDF-9365-79838C8A849E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e8ec2b73c725124850d86d8f445129ea7b04f11","datavalue":{"value":"10.1002/MALQ.200710088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632528$5AE03319-4C67-41C0-BFB0-866D9E76EBD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba619ab5219961fac703f5f11ece6a5e3ace5ea","datavalue":{"value":{"entity-type":"item","numeric-id":2743648,"id":"Q2743648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1295f59fcb3c3ad1d92c2b486064f4b5d9e6ee7","datavalue":{"value":{"amount":"+0.7832198739051819","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":"Q3632528$CF68D3DF-C3F3-46B1-892E-8F57F92F51F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97af35915b099ab4fbe76a05e8038164eb87be39","datavalue":{"value":{"entity-type":"item","numeric-id":5250893,"id":"Q5250893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1295f59fcb3c3ad1d92c2b486064f4b5d9e6ee7","datavalue":{"value":{"amount":"+0.7832198739051819","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":"Q3632528$11D3E72C-159B-4F65-B9AB-501498705A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d3b076a150e2f9d607d4a8dd7db25d5916266f","datavalue":{"value":{"entity-type":"item","numeric-id":4703142,"id":"Q4703142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa3f7ea3a47f33e14d2b5fec9126efe6656de0c","datavalue":{"value":{"amount":"+0.7557672262191772","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":"Q3632528$A6E0D1C1-AA26-4E13-A09C-7C0A8163FA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad87c6f6a12815d22d01ecbcea1b6b0c2379cb54","datavalue":{"value":{"entity-type":"item","numeric-id":2956240,"id":"Q2956240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f90873c558cceb9d73a86f2ffade5bedd398a6a","datavalue":{"value":{"amount":"+0.7468554377555847","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":"Q3632528$7FC6DD35-1633-4E97-BF58-40C5E908E472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e22bd6d03b977001786bb8ca50aa7a6a555f69","datavalue":{"value":{"entity-type":"item","numeric-id":1799288,"id":"Q1799288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b318a87bacf959ffb7a2bd803601829bc17d9cd","datavalue":{"value":{"amount":"+0.7429349422454834","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":"Q3632528$C2EDD59D-65BD-4D23-AA52-767C3EB9670B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3632528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3632528"}}}}}