{"entities":{"Q4998557":{"pageid":7028134,"ns":120,"title":"Item:Q4998557","lastrevid":92019218,"modified":"2026-06-05T00:39:38Z","type":"item","id":"Q4998557","labels":{"en":{"language":"en","value":"Reduced axiomatization of lattice implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370238"}},"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":"Q4998557$6103CD73-4457-4A48-B1B9-63A2CA76BC55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2be36f2c4efc6cb864ff88502b38f68e32cacece","datavalue":{"value":"1474.03161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4998557$A1695700-B5A8-4C26-A31E-A90A9F52AF4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75703c43b7574e9bc6a5724b295d101e05fb795","datavalue":{"value":{"entity-type":"item","numeric-id":1362646,"id":"Q1362646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4998557$F6D9FC79-93EE-4F4F-832C-D17690FFF39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3122509c3998ce372bb57ce68c0dfe8b8c7e41fc","datavalue":{"value":{"entity-type":"item","numeric-id":4998555,"id":"Q4998555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4998557$1FF45DFB-180C-435C-8EB3-E881364EF9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb2675f2ab271710130df30917234edebeb1a84","datavalue":{"value":{"entity-type":"item","numeric-id":4998556,"id":"Q4998556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4998557$617DEB44-E306-4E90-880A-C749182F8898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-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":"Q4998557$D8E92C61-C0D2-4E07-A615-F6322AE34F66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4998557$11201452-C816-472C-ABEE-8D8C740968CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4998557$67FF3435-A428-410F-BFEC-FB03D2C45B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a70601fe2d30b9cf20ad35671358d8a1ef92f80","datavalue":{"value":"7370238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4998557$28D6F8EA-4442-4FD3-B84C-C0BCF8D1F7AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8a1e5d19bc755eab48a90ee5c94c240ad9c3e","datavalue":{"value":"lattice implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4998557$FBB5F567-BFE5-4F98-89DF-FA4A693E7D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c26e4e930b3799245190c8fd54c71ac9f50c29e","datavalue":{"value":"binary operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4998557$04B94616-E6A4-4681-AD55-55965B650E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4998557$7B45DBA1-1ED1-45DE-822A-133905262613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a933025ed1f98f97b1d72d2d3fc650d11868e1","datavalue":{"value":"order-reversing involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4998557$D6B36F6F-9215-4BEE-BD83-9B2902B3B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eeeeb3df8ea274df0026a9bdb40a1ac15afb5c0","datavalue":{"value":"implicative filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4998557$63E3E080-58EF-4BD7-B854-8C1FDEA3A1CC","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":"Q4998557$4490EB3A-63D2-4423-9F21-825810D70747","rank":"normal"}],"P1643":[{"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":"2f519d312d7b78bf84e11d784a40c5918ef4f609","datavalue":{"value":{"amount":"+0.7921199798583984","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":"Q4998557$4AEDE0D3-832B-4B82-87DD-4BF4BD5BB5DC","rank":"normal"},{"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":"eaff56ab5c15e0e625a88b0dabdaab4b7cb14f13","datavalue":{"value":{"amount":"+0.774128794670105","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":"Q4998557$7AA991B6-5F12-46ED-9D71-9B7101DCC128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3789573aa4f575d146e38b3f696a72e64de85da4","datavalue":{"value":{"entity-type":"item","numeric-id":4464036,"id":"Q4464036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a814d10b26b10d3bfbea551261433a6484b8c3","datavalue":{"value":{"amount":"+0.7739855647087097","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":"Q4998557$C7A85F36-B44F-4E50-8672-2E27D96A706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50f9747a62d7cb3d28a27cacc8606068a09b384","datavalue":{"value":{"entity-type":"item","numeric-id":3016583,"id":"Q3016583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650f20db746b703b0563302677973f9480c49272","datavalue":{"value":{"amount":"+0.7727198600769043","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":"Q4998557$F5F54D84-BFEA-4BF6-A619-344B6FFA063A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e0f6d136f82d51b66356463eabe6873d112789","datavalue":{"value":{"entity-type":"item","numeric-id":4827641,"id":"Q4827641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e1cd72c2268dd03dc433e01a81b936733c9d3e","datavalue":{"value":{"amount":"+0.770313024520874","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":"Q4998557$63C04752-D2B0-4469-A11E-EB4F4ECD1F49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduced axiomatization of lattice implication algebras","badges":[]}}}}}