{"entities":{"Q845722":{"pageid":847570,"ns":120,"title":"Item:Q845722","lastrevid":64779183,"modified":"2026-04-11T22:10:20Z","type":"item","id":"Q845722","labels":{"en":{"language":"en","value":"Minimum implicational basis for \\(\\wedge\\)-semidistributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664485"}},"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":"Q845722$63C7A955-8CE1-4ADA-A532-F5ECEA947B9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfcb9e8b69a68ded28c347d83bddb2c57b595fc3","datavalue":{"value":{"text":"Minimum implicational basis for \\(\\wedge\\)-semidistributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845722$5E968E8A-9971-4858-AE55-96C77C4B7FED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4366455f2156d3dd677b96aabd048b4ea1ec2fc1","datavalue":{"value":"1185.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845722$E6D08DFB-58EB-44CB-A9B8-E22E844CA300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0162bd9262032c2ddf735175775bd701a986583a","datavalue":{"value":{"entity-type":"item","numeric-id":845721,"id":"Q845721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$D5BB75AD-8D42-4526-ACA2-F4FC91111EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c36e3055f1cdb90938a8115244dfe4ccfd60c2f","datavalue":{"value":{"entity-type":"item","numeric-id":187127,"id":"Q187127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$B6C6B65C-B6EA-4E1C-AEB9-23B5A67D959E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$952A73B9-3813-4E88-9A61-3CB7CA2D7A7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845722$4C6E7D63-A56A-47E4-9860-818F25207477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38ec6e716d15677db0ea53f44a912e32060426c3","datavalue":{"value":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-00101743/file/pja_document_article.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q845722$C09AB602-A249-45BA-BDA2-EF42EB7D6C12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845722$9EBACE57-DE2B-476B-BA8B-3B8804879E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845722$3074D839-A584-47DE-A7AE-1A7B62D0FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845722$E000F98A-83DC-43F2-ADC7-110EC358639A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b53fb4f792155dece5e669c04af45290d456f9","datavalue":{"value":"5664485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845722$81212134-FD97-497C-80AB-4783DEEA22EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q845722$62A03787-040C-4AC0-9B2C-F15D19DBC39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q845722$8F287764-921C-4DDB-8E82-2E3639F05C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c582534315791f137c01bc53f9118690d4156","datavalue":{"value":"closure system","type":"string"},"datatype":"string"},"type":"statement","id":"Q845722$EA3B3537-5049-4FF0-BF5E-2BFD0B6B3D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e9a674904af0f9e3db728b7108f5411da4a78e","datavalue":{"value":"minimum implicational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q845722$E08C9413-1C76-4DE5-A31E-41F8530B62EA","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":"Q845722$F75198CC-43CF-4BB1-A45D-E5EFBBF39FEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78f7147d905b45afaf1e426b556096b9f1639f51","datavalue":{"value":"W2058074526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845722$9B7CF7B6-9211-47CC-BBD2-A1A9044E7AEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3dd34ecac01e8715275f14b2c16024db9846df","datavalue":{"value":{"entity-type":"item","numeric-id":1874537,"id":"Q1874537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$91CEA242-041F-4696-8F6C-4FA8061B4824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6e6d3d2fe716d071cf6a34e4ce5680600d0d46","datavalue":{"value":{"entity-type":"item","numeric-id":1176723,"id":"Q1176723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$0DC72B09-8C37-4385-B423-83EA18735D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2baff2b3fcd933b421c46ded9fa320ffaaebb6","datavalue":{"value":{"entity-type":"item","numeric-id":4862797,"id":"Q4862797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$4928418E-64DC-4BFA-B1BB-7D035240E0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c899235653f556a0aa7859035023b96ac1cb9131","datavalue":{"value":{"entity-type":"item","numeric-id":4708957,"id":"Q4708957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$C1B71E40-3628-420F-8BD9-FF66FD7BFE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b733d3c598f4f60dac05c662888fe6ef36a0cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3837390,"id":"Q3837390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$672560D7-C6F4-47BB-94B3-AD2572E20328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff238b9befcf05db955e61470def908fa0bdfb0","datavalue":{"value":{"entity-type":"item","numeric-id":4877294,"id":"Q4877294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$90854EA2-572F-46FD-B2E8-2EBD1F6D5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$783F9E3A-1FA4-4D99-A166-6A076F75A02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f446738a89a0eefc2c3d8124106cc3eb08a31","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$27B0D78A-C39E-478F-A048-72ABF6C573C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2626dcbe78a5e4afa0a386a2609e496fd238c011","datavalue":{"value":{"entity-type":"item","numeric-id":2496168,"id":"Q2496168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$0BEF760A-E3DA-4ED3-8BA3-25B94C1A4166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$A01ECBDC-CF29-4A0E-9EAE-7CEF9B882748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4465814e75135b939d99dc7e0981a011ac67323a","datavalue":{"value":{"entity-type":"item","numeric-id":4517145,"id":"Q4517145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$82BE4064-1501-425F-8D99-4BE01D32B43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6065225cb8469dcce4df2258a12a68518bfc6c","datavalue":{"value":{"entity-type":"item","numeric-id":1072723,"id":"Q1072723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$88BDD2A1-FB5B-4779-A0F3-9D7954BF1116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea265d6ecbbacf834a2d8886904caf822a0a422","datavalue":{"value":{"entity-type":"item","numeric-id":4521532,"id":"Q4521532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$67D9EA09-A0E1-4D1D-BC03-630CC9A5A4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1df3648a912d6564e6bc00f5325ca36960ba89","datavalue":{"value":{"entity-type":"item","numeric-id":793764,"id":"Q793764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845722$5D10053C-E72E-4BCD-B50D-42E82FBD9485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27a2cec029d9f069e3f5deb3c9bad7f87baaf7ae","datavalue":{"value":"10.1016/J.IPL.2006.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845722$5E0DBEDE-29F7-46AA-9961-1176EAE495FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ba27a05f7e0b20336f60ddc6a0c47fde286698","datavalue":{"value":{"entity-type":"item","numeric-id":507534,"id":"Q507534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e2470f5934091fe3490ee77a17bc0102b6f608","datavalue":{"value":{"amount":"+0.8094393014907837","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":"Q845722$6C63235F-0FA3-4A4F-8D4B-37C77C9C5ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783a4d8720d1edc0f010d6f3545d452c0bd24403","datavalue":{"value":{"entity-type":"item","numeric-id":4521532,"id":"Q4521532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf6e344ebb6faee590c90321fabb50177e156bc","datavalue":{"value":{"amount":"+0.7767792344093323","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":"Q845722$9D083F4E-0FBE-4799-BC3C-110110F8E84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f614b006be9b8cc0fe26f81debf7b539e810830c","datavalue":{"value":{"entity-type":"item","numeric-id":5754455,"id":"Q5754455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"940705ad62015541cdbce86bea66b62fa0c38159","datavalue":{"value":{"amount":"+0.7723737359046936","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":"Q845722$6DE9D397-E2FB-4E9C-B292-29C9E1310498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimum implicational basis for \\(\\wedge\\)-semidistributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimum_implicational_basis_for_%5C(%5Cwedge%5C)-semidistributive_lattices"}}}}}