{"entities":{"Q5955524":{"pageid":8132326,"ns":120,"title":"Item:Q5955524","lastrevid":97701689,"modified":"2026-06-05T15:15:30Z","type":"item","id":"Q5955524","labels":{"en":{"language":"en","value":"Orthomodular implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1705324"}},"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":"Q5955524$0E86E0AB-3DA9-4D29-9DFF-AEA3293F5E8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b8b2e99a71431a7e1c17c7a4ca12e0aca3af587","datavalue":{"value":{"text":"Orthomodular implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955524$52C4BA1F-1BB1-463D-9AA8-CBC18BF30962","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac94805b4a2888bc1a6ebacf3d1510a0a2efd20f","datavalue":{"value":"0992.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955524$860DA20F-C173-4EFF-B184-35C315C97A4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"540e2fbc65e91ee07910e70ebe29dd63bc02e3ae","datavalue":{"value":"10.1023/A:1011933018776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955524$2166222B-8257-4C51-9DF5-95D69A9E9F3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955524$265AC950-37E7-4B4F-8095-6737B99C3E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dbeb0f87521a2b80550283ee62977c8caf5533f","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955524$6FCA5F89-6F2E-49F8-BC91-5E33546947ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955524$92933D3C-77D3-40DA-8AE3-69A80C306B87","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":"Q5955524$97E83E48-8852-44D8-8C83-4AD23A7C5653","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-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":"Q5955524$1A96AF40-D0E8-492B-9C1C-A01189EC8662","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"016b4a1aed5952334589d8d8c0a85887a8d9fbea","datavalue":{"value":"\\textit{J. C. Abbott} [Mat. Vesn., N. Ser. 4, 177--198 (1967; Zbl 0153.02704)] introduced the notion of an implication algebra using some axioms fulfilled by the implication operation \\(x \\to y := x' \\lor y\\) in Boolean algebras. He showed, e.g., the correspondence of implication algebras to Boolean join-semilattices.    The authors generalize these notions and results starting with properties of the operation \\(x \\to y := (x' \\land y') \\lor y\\) in orthomodular lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955524$D7B7EEF6-7F38-482B-9F92-F41AF529F52C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b5c948b869a2147da37e901550cf23840e0a684","datavalue":{"value":{"entity-type":"item","numeric-id":429935,"id":"Q429935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955524$9AE5DF9A-261F-4790-B2A1-369EBFF86353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955524$03F82DC5-0517-4EFB-A135-10C878A07FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955524$61002EF8-7860-452F-9629-46DB5D95C9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955524$F5C568F5-B0F6-49A7-AD44-92B34C6437BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955524$002263C6-7FC4-4216-BCB8-23524B61BB69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1d9cbc39da85b62cabfc65118bd920bcbc0376d","datavalue":{"value":"1705324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955524$6BED95EF-D1E4-4149-9B6B-6B88CAAD062D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955524$5C68B14D-6E2A-4C86-BAA7-F89B6AA98097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955524$BFEA7FDA-39CE-442A-8845-64865EA6FAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a655ac370e9b7bbcf6d0c327c769b2014c91b67","datavalue":{"value":"join-semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955524$8F24C451-C9D4-4EB5-B8AA-CA37BCF08E0B","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":"Q5955524$C518A764-833C-4E02-BF53-E858F0529746","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0ebd025ca817d91839d4641c736a9f29786aab","datavalue":{"value":{"entity-type":"item","numeric-id":1768659,"id":"Q1768659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109175393c35a75bc83975d8fcf71f3d751280cb","datavalue":{"value":{"amount":"+0.9406327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$6E516765-FFC4-4C22-A570-85878A1D465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7dde02dc61f0d341792109f6291d2a12c175a2","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd807fc366fab1b5820240e963e613014d4a31d6","datavalue":{"value":{"amount":"+0.93711823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$6F5C4D23-088E-4A1D-91ED-418314897B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa4dd8c7ed126a1450ef5f6bd8ba4226a1dea6b","datavalue":{"value":{"entity-type":"item","numeric-id":5438762,"id":"Q5438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d5ba807f7b7ada49b6770b543cd2e68e74a1f0","datavalue":{"value":{"amount":"+0.93117803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$51AD31FD-4DD4-4B66-9195-58832C499BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a815c1981b2cdc0cc54396185228dc3b82c006","datavalue":{"value":{"entity-type":"item","numeric-id":942101,"id":"Q942101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739e210b8437a3c3c384274f19ec148692cf4d0b","datavalue":{"value":{"amount":"+0.9305911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$5BC8AC59-EC2E-4695-A168-09116FB46B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea2680c835180e1ab96e6c0c76d02804370e9bd","datavalue":{"value":{"entity-type":"item","numeric-id":2979435,"id":"Q2979435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7134561fc10116eed7fe08d7a3e915345b543eb0","datavalue":{"value":{"amount":"+0.91768765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$91C8BCFA-164A-4F33-82DA-0BE7158A9731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2121c05ea18adafaac4b349eebd1e32c27c906cd","datavalue":{"value":{"entity-type":"item","numeric-id":3975473,"id":"Q3975473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d825705400d5c1ba6fe0b6bca2fcda3ecea267ca","datavalue":{"value":{"amount":"+0.9100816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$9D5E7896-BB46-4CC7-AA15-2661FE84FB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf4c5df1e99e8ab06eb6099d06869f0f4ae5084","datavalue":{"value":{"entity-type":"item","numeric-id":5403676,"id":"Q5403676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc675518b5b14116506f59e319af899d9f63f157","datavalue":{"value":{"amount":"+0.9071101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$1F9A4DCD-6C25-440C-B751-AED94D513B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfcd66f86d1a886c9f03381dddbe2af246ad15d","datavalue":{"value":{"entity-type":"item","numeric-id":3396661,"id":"Q3396661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335ae36a5154f77f55f5e8e613f4127e5c4b8df1","datavalue":{"value":{"amount":"+0.9063695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$E47A0517-E1F0-461B-BEE8-7D22D9AC1928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679b640d9d578f5a96270192bf6a76a287fe5228","datavalue":{"value":{"entity-type":"item","numeric-id":4693586,"id":"Q4693586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616191abbb705dc0fa2ee5b943cb894286022a97","datavalue":{"value":{"amount":"+0.90535706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$BE9E3974-E84F-43E2-9C3D-51D30C6CBC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4114a1134eeda666999e8948fcba6f390b170c","datavalue":{"value":{"entity-type":"item","numeric-id":4430927,"id":"Q4430927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675cdc7a7b277ea7972c31d8d805fd7dfa0741ee","datavalue":{"value":{"amount":"+0.903512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955524$58EBF2D8-8A10-45B8-A764-6076A500C029","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orthomodular implication algebras","badges":[]}}}}}