{"entities":{"Q387625":{"pageid":389392,"ns":120,"title":"Item:Q387625","lastrevid":61498485,"modified":"2026-04-10T23:45:19Z","type":"item","id":"Q387625","labels":{"en":{"language":"en","value":"MV-algebras freely generated by finite Kleene algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6242116"}},"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":"Q387625$234420A3-9A5D-4D9A-8030-A0B2BDF2C461","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cb2ae920ce4c2f7c73118ef1313be1d0eb9b55e","datavalue":{"value":{"text":"MV-algebras freely generated by finite Kleene algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387625$9D723CD6-50DC-4BED-A3C4-2A92300CCE17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b348e73208d79b06382acf264b7f47720ed7865e","datavalue":{"value":"1316.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$6B764611-3C18-4228-A465-3A6073C6500A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3239827dce618dbe8b1c7b964a1564cb063b763f","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$10372ED6-2543-41CA-9B3F-BC1030B2AE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c057358ebb9c2e72e1be7d59fe0ff665a9c77c26","datavalue":{"value":{"entity-type":"item","numeric-id":321582,"id":"Q321582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$B64866C4-D1B9-4435-8A7F-7F722E1CC9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$EF6E9C3C-839A-47A1-BB38-A56FEE237D13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$4BE64ECB-56EB-4288-B2A5-7F54F20258AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0e11583d201a0dd3bf37ec901f99ad4976fdfe9","datavalue":{"value":{"time":"+2013-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q387625$C896DFBB-AFFC-4542-993E-6B6A4C4889CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c20c3f92f66b40f3b252024310e67b03075aeaaf","datavalue":{"value":"https://arxiv.org/abs/1306.3335","type":"string"},"datatype":"url"},"type":"statement","id":"Q387625$797D68A4-2553-473B-A2B8-158951420939","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2be07b72031b8647ed7a7b78ed8bbaf4a2586e9a","datavalue":{"value":"The paper addresses two problems concerning two varieties \\(V,W\\) such that any \\(V\\)-algebra \\(A\\) has a reduct \\(U(A)\\) in \\(W\\), so \\(U\\) is a forgetful functor. Call \\(F\\) the adjoint functor of \\(U\\). The description problem is the problem of describing the relations between \\(F(B)\\) and \\(B\\). The recognition problem is the problem of characterizing the algebras of the form \\(F(B)\\). In this paper the authors focus on the two problems when \\(V\\) is the variety of MV algebras, \\(W\\) is the variety of Kleene algebras, and \\(B\\) is finite (equivalently, finitely generated).   To solve both problems, the starting point is the classical result that an MV algebra \\(A\\) is finitely presented if and only if, for some rational polyhedron \\(P\\subseteq [0,1]^n\\), \\(A\\) is the MV algebra of piecewise linear functions on \\(P\\) with integer coefficients and valued in \\([0,1]\\).   The description problem is solved as follows (Theorem I): the MV-algebra \\(F(B)\\) freely generated by a finite Kleene algebra \\(B\\) is the MV-algebra \\(M(P)\\) of Z-maps on the rational polyhedron \\(P\\) that is the geometric realization of the weighted nerve \\(N(D(B))\\) of the Kleene space \\(D(B)\\) dual to \\(B\\) (where Kleene spaces are enriched posets in duality with Kleene algebras, and the weighted nerve is a weighted version of the usual nerve of a finite poset, a simplicial complex consisting of the chains of the poset).   The recognition problem is solved as follows (Theorem II): an MV-algebra is free over some finite Kleene algebra if and only if it possesses a Kleene basis (where a Kleene basis is a generating set with certain properties).","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$09162506-6E14-4A65-BEFC-70C5C8F774E5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a35dbfeed057011082c6d14b6c008c45f168595","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$F72C6754-5E51-4AF2-AEAF-ACCCC86A1F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$0F589C71-758C-4F1E-9270-98E50DD980AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$7436FBEB-BF10-4B35-BF69-22F336DE7498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$5F837C6A-6907-4D46-9EF6-ABC752A4276B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$6DE284E8-2FCC-4328-AFC8-2726078B5EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$7D868336-F81E-4E83-A032-BD702019490F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c80166e83b371e1dd58fb9d5e11310e9df15b9c9","datavalue":{"value":"6242116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$ABF9BBB4-336C-42A7-A3B6-183AD6EE990E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$083BA722-F2E8-4CA5-9D6D-673E55DF7FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230bf7bae2f54e9aea7898a9832b161865d810f9","datavalue":{"value":"reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$EACE29AF-2041-496C-ACA5-4C0EA862A1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$8C77FB1E-A87F-4858-AFBF-32F4C2CC3667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$CFD1DF55-2644-47B1-9F09-4E59EE523532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$6DD14369-10F7-4C5B-BED2-131D889AF66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1d345be704a8958968ec9d650e76c380daf75e","datavalue":{"value":"natural dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$0B8AA681-AA09-435D-AA92-4BAA758A4599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a6ca6c1cb73b8213c0bc6c1f79eda7e4a1010b","datavalue":{"value":"simplicial complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$6EEBA0B8-88A0-4EA5-948A-67C173AC194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7b4bd6ebf4d2b52787c944904edd2c6e2fd22f6","datavalue":{"value":"order complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$A96BD07D-532C-4E6E-98F7-B5CE1F7E708D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a696cfbb5457e0ed08f56ec058d726994b88903d","datavalue":{"value":"nerves of partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$BD3C0979-1302-4552-A7E6-5FFABAB026B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68e652124fc9073b6656e26a26b08d40f0619455","datavalue":{"value":"rational polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$66F09655-1549-4276-BF70-0488415B5134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88244eaf771352cc184de31279f1fe59185b88de","datavalue":{"value":"triangulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$7BBC6F5C-9F6C-488F-ACCD-D3A9B3E77BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b07fe34f0773cdffa0944406228855f3aed26f5","datavalue":{"value":"bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$E542612E-A3DF-4FCF-949B-253F1E78021E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"759ef4460594c8ddb833c3ba4535d6378656bc08","datavalue":{"value":"Z-maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q387625$DD962765-298F-4F5B-B01D-71D362016C3C","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":"Q387625$9894F232-C269-42F6-A317-440620DA545E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b9bd42270a329d0047af0d8fcdfc92f667d23d5","datavalue":{"value":"W3103630685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$B1E8C81B-5FA5-4079-8ACD-2F30FEF59954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"121fc1b0f8d9fffc91d98a4bc269dab40f63f5a8","datavalue":{"value":{"entity-type":"item","numeric-id":952491,"id":"Q952491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$70DB692E-841A-4DA0-B31C-40FAEA36D620","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":"Q387625$C1D20747-6BD2-4541-B18C-28C177404414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$F7F1773D-C630-47A2-95AE-0A4ED09CC2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"defc30ee8c4991a2a0d1b7bb153eec5837acce14","datavalue":{"value":{"entity-type":"item","numeric-id":1092468,"id":"Q1092468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$20941887-B40F-420B-8FD8-CBE2887A10EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$CAA5B9E4-82D3-40A1-9FF9-D9DC433DEB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e29cec8786ca251bbacb83b140ec1f440a0490","datavalue":{"value":{"entity-type":"item","numeric-id":4871782,"id":"Q4871782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$9B32B6AF-9FFC-4743-8B47-4DF108479ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$1064B092-86B6-4D77-8E3A-216E12AE12A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$0875E37F-FCDC-4800-A98E-4D0444C51F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d61265e59eaf23a0dc70fbfa4e426889960350c","datavalue":{"value":{"entity-type":"item","numeric-id":3313919,"id":"Q3313919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$2E1BD6D3-73DC-473E-9715-E11F995CD343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$1249D695-E2C7-4E2A-9EE5-F0FDA9104EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0487605433b6cb9a780127257f216417bd945ee","datavalue":{"value":{"entity-type":"item","numeric-id":3420373,"id":"Q3420373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$255A4410-901C-4F4F-B7C5-93E37D733486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224bda6860fdfe159f47ac724f1172eaaac3bc90","datavalue":{"value":{"entity-type":"item","numeric-id":1972428,"id":"Q1972428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$8D65D06E-A91F-4BED-A0AE-2FC6F7C8A227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e613559fc4138eaf06c7e32a1270ac428308f8d","datavalue":{"value":{"entity-type":"item","numeric-id":938236,"id":"Q938236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$88AF0EF9-3EC1-4C7B-B31F-0F11E1794896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef2e5334f4e54876daf9ee94842bc0c6068015d","datavalue":{"value":{"entity-type":"item","numeric-id":2838075,"id":"Q2838075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$754C47EE-73B9-448E-9C8F-3023A217CBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e763156958e2c249238046bb7fd44d00554643","datavalue":{"value":{"entity-type":"item","numeric-id":5309027,"id":"Q5309027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$48374D3F-E327-4652-9847-3D30EB925C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03fdcecc646fef5eace9befbd175955300fb162","datavalue":{"value":{"entity-type":"item","numeric-id":626097,"id":"Q626097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$BBCDE48D-7765-4227-BF33-4260D053F49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baae621a14722da0659892b76836e44f2a829274","datavalue":{"value":{"entity-type":"item","numeric-id":3935151,"id":"Q3935151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387625$B1D5B152-A46E-43E0-B0C9-0D8D8F000AEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1483e60c4ed5d722e6540bc7fdfb02d71880155","datavalue":{"value":"10.1007/S00012-013-0250-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387625$695FF4D1-08C0-404A-AA0D-C43F1FBCD941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea8fb212d1447f45f675cb116eb7bfd32679c99","datavalue":{"value":{"entity-type":"item","numeric-id":818513,"id":"Q818513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334142deed82e439a1b394503f06381d3f5a7187","datavalue":{"value":{"amount":"+0.9077215","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":"Q387625$743901C8-56B7-4110-88C1-B45C6590865F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7230821622e1fdbb1a66ec607de487cb845fad","datavalue":{"value":{"entity-type":"item","numeric-id":2475561,"id":"Q2475561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4445887bf0fdf78506ef3b848464c601d000f557","datavalue":{"value":{"amount":"+0.90138125","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":"Q387625$8FC9C08E-4834-4DC7-96B5-A3047ED090BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f82ea30ebd92e7ab9b34609fceb6779595a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4429240,"id":"Q4429240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9471fa554b7a950ce206da5a7aa8071e8e492e06","datavalue":{"value":{"amount":"+0.9009141","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":"Q387625$A4254DB5-4831-4FA0-8A75-D1D6E0A32E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f134342dd51a9901200591e9ff0472bf3885b45","datavalue":{"value":{"entity-type":"item","numeric-id":1580662,"id":"Q1580662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039b4c20957e481d5fcc36b3147f3c07744b945e","datavalue":{"value":{"amount":"+0.8875999","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":"Q387625$B3354334-0686-425D-939E-4844BF0E8576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9558107681d718c110376005d5f5ceeb23ea38","datavalue":{"value":{"entity-type":"item","numeric-id":934891,"id":"Q934891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec83738d4a03f18e16f58de54821589b6c5e96d5","datavalue":{"value":{"amount":"+0.88523495","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":"Q387625$C783877B-7E30-486B-97C9-04CF3B00CC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d12a6058e3977f81502702f74c8d85f4bc6385f","datavalue":{"value":{"entity-type":"item","numeric-id":3566946,"id":"Q3566946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276bedf20a6937f512b633de285b9083df15b0e0","datavalue":{"value":{"amount":"+0.88473773","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":"Q387625$49BFB40C-0945-4228-BCDB-35421DB0ACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef3cde088e6daac126dec87177c205fe018baa4","datavalue":{"value":{"entity-type":"item","numeric-id":938236,"id":"Q938236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac252e0160d8a5d207e45cb96d6c92bf4859e0c","datavalue":{"value":{"amount":"+0.88092864","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":"Q387625$93E8BB88-EB51-4D9F-9E2C-338521D9B111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb1549ceb2ba97cf51653bf37a97841694a0d41","datavalue":{"value":{"entity-type":"item","numeric-id":976751,"id":"Q976751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ac9e2b9f32d4181ecac8f59e06ca783a08cd00","datavalue":{"value":{"amount":"+0.87988573","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":"Q387625$5A926637-15F1-4340-9D9D-7FD633324B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154727062df069d10a990e17f9718a3a2ad65d66","datavalue":{"value":{"entity-type":"item","numeric-id":4443012,"id":"Q4443012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b15766df45114249369e5b966b25fa5ce843d0","datavalue":{"value":{"amount":"+0.8772986","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":"Q387625$EC3F0C3E-0873-4044-9F94-082EDCD5CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd09d9d5507b82aa0fa3251b7c2c96e7392e71e5","datavalue":{"value":{"entity-type":"item","numeric-id":2210872,"id":"Q2210872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcb70985c0a977fc27d94c72f26d6b15c5fbb11","datavalue":{"value":{"amount":"+0.8766283","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":"Q387625$08F16575-E6D6-4C9E-96AB-F8B8DDF08A71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MV-algebras freely generated by finite Kleene algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MV-algebras_freely_generated_by_finite_Kleene_algebras."}}}}}