{"entities":{"Q4644513":{"pageid":6674094,"ns":120,"title":"Item:Q4644513","lastrevid":89970152,"modified":"2026-06-04T18:45:10Z","type":"item","id":"Q4644513","labels":{"en":{"language":"en","value":"Counting weak Heyting algebras on finite distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997908"}},"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":"Q4644513$B292F2EE-44CD-490A-9050-A9A90549CD71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43f75b436c690115ff2bd53f4cfcd7c21f60eed","datavalue":{"value":{"text":"Counting weak Heyting algebras on finite distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644513$3834F526-D6C5-430C-80D4-2F7A4A5481A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f60eca2e55efc466e5334ccbebea568b8d8e4cc","datavalue":{"value":"1405.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644513$20011186-A43F-4C5A-8C6A-32048CA1D571","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0f73a265893792f659b86cbbcd3535bfad35112","datavalue":{"value":{"entity-type":"item","numeric-id":246769,"id":"Q246769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644513$8F914C8B-6909-4CEE-A4F3-409BB747547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"938b301f753b1aeb11cac7bb64230799f8941a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4644512,"id":"Q4644512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644513$6ADBCB72-59EE-4BBD-8263-006DF2A37A61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-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":"Q4644513$9141784E-965B-4D67-B1D7-89F940487C87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644513$AD4DBD22-5E2B-4A7C-B664-19A6F4845EF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83ad05129021212e5eca5a8cb8bb183c1607940","datavalue":{"value":"6997908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644513$60D504DB-4690-4CE9-9D80-F7686B397E4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b570e310dba060006ab129a7fb090b1b8371ebcb","datavalue":{"value":"subintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644513$0211D1BA-1719-4A71-A547-77B58E63040E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644513$EDD98453-3454-4325-9399-949252644F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156e90bb8c933e14cab6c57c14a4d89cc3f101cc","datavalue":{"value":"weak Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644513$270C575A-2EA6-458B-AC42-9044232EFBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0e52ca241da800e2467d0d9855083ba1404bed5","datavalue":{"value":"Visser algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644513$6A0317D3-3A44-4EB1-A888-A87AD06AD746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b35eb1dd2cb701c6ccaeaa8a0032bbc0d49067fe","datavalue":{"value":"L\u00f6b algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644513$B81C6FD0-DE54-4453-A550-2CB36BB41496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644513$BD5FC019-6C74-44CC-BFF9-AD87B74131D2","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":"Q4644513$653D80FC-A21F-43B1-B608-93C857F81C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41e480ebd0a8cc1e30c5de3432d2a954c06a12c7","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzu033","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644513$A9A673C0-148B-464E-81F3-4647D2F5DDEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53b966b716b235dc4fcd6fb2aaca7f1d118c91df","datavalue":{"value":"W2109494992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644513$10F68A13-985F-4765-A4EB-DB385FE27718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bed91a7ea41dcef15692e4c803050ca95ff780c","datavalue":{"value":"10.1093/JIGPAL/JZU033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644513$5E513672-6DBA-41DA-89F8-625D3671420D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644513$88630730-4D55-4062-896C-1CDC31C66DA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be120159b1c670daf465c4169a3f4d7758c204ca","datavalue":{"value":{"entity-type":"item","numeric-id":3762371,"id":"Q3762371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec64a5f417d68822570125ee26725df8d34dc65","datavalue":{"value":{"amount":"+0.7551750540733337","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":"Q4644513$87B5F9D5-28BF-4C60-8D9C-16A3651CEC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c695d052a1526b1daa57b1d411be6a8a0a123fc","datavalue":{"value":{"entity-type":"item","numeric-id":3801611,"id":"Q3801611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6069ecfeb5f7fd7ff6074aadb254854d911d1cd4","datavalue":{"value":{"amount":"+0.7509899735450745","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":"Q4644513$A7E7FF94-CFC8-4875-B041-4B23F8CAF540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3df52f2cad2d6e1b1958b7d00f2db822b33526e","datavalue":{"value":{"entity-type":"item","numeric-id":5485492,"id":"Q5485492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfc92755ac005baa6d190117b9f0d14cc1e34cc","datavalue":{"value":{"amount":"+0.7398058772087097","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":"Q4644513$CA7FA007-60E4-4A45-81FF-01235F1D74C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ab631a1ac1ea749d87afa6b86c739c0934f3a0","datavalue":{"value":{"entity-type":"item","numeric-id":6083149,"id":"Q6083149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cc96ec2b5db33badb234e7ffdb1f5c50f46fdc","datavalue":{"value":{"amount":"+0.7317295074462891","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":"Q4644513$481D280E-42D7-4E96-B233-915D009BE3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2b4350f47f9f88d7adc14a3c2343e1c5633374","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dba8d43cbb3dfff8d342cca13d68ead6787033","datavalue":{"value":{"amount":"+0.7307729125022888","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":"Q4644513$9847BE4E-3D5D-432C-95DD-17FB75164FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting weak Heyting algebras on finite distributive lattices","badges":[]}}}}}