{"entities":{"Q1663513":{"pageid":1674254,"ns":120,"title":"Item:Q1663513","lastrevid":70783488,"modified":"2026-04-13T17:02:05Z","type":"item","id":"Q1663513","labels":{"en":{"language":"en","value":"Varieties of Boolean inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921614"}},"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":"Q1663513$0B55018F-5F06-40C5-9C17-C0EA7D190722","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84bed56ad864b20b39c490b2cc4ba5c32638d386","datavalue":{"value":{"text":"Varieties of Boolean inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663513$322FEB51-00A6-49B8-BBDF-C259BF6E90F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"259693965a1a0503370017b3959c2f867d85222c","datavalue":{"value":"1414.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$918373E2-1028-4A1C-AFEB-901A12DC9ED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"112864852cff2c239be1300e77536bf9e35c78a6","datavalue":{"value":{"entity-type":"item","numeric-id":219053,"id":"Q219053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$B46DD02C-1F64-421D-BE80-D4E03513B6CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$C45160BA-A106-4E93-AB89-BC8EF0DF33AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663513$FAB2836F-2BA8-4783-AA41-9275B674FF19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00ac9a9fdec119721d0821ee52aa4e760b9c8d4f","datavalue":{"value":"https://arxiv.org/abs/1610.07447","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663513$AF61C2EA-9D02-4A8A-A8FF-979431B193E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f381a3fc584fb45cd4c3b305441114ca03c7a70","datavalue":{"value":"Recall, that an inverse semigroup is a semigroup \\(S\\) where every \\(x\\in S\\) has a unique inverse, that is, an element \\(x^{-1}\\) such that \\(x = xx^{-1}x\\) and \\(x^{-1} = x^{-1}xx^{-1}\\). It is well known that the class of all inverse semigroups as algebras of the type \\(\\{\\cdot, ^{-1} \\}\\) is a variety.  A generalized Boolean algebra \\(G\\) is a relatively complemented distributive lattice with largest element \\(1\\) (that is, an element \\(a\\in G\\) has a complement in any interval \\([x,1]\\) that contains \\(a\\)). Elements \\(x\\) and \\(y\\) in an inverse semigroup with zero are orthogonal if \\(x^{-1}y = xy^{-1} = 0\\). An inverse semigroup \\(S\\) with zero is Boolean if the set of all idempotent elements of \\(S\\) is a generalized Boolean algebra and any two orthogonal elements \\(x\\) and \\(y\\) in \\(S\\) have a join with respect to the natural ordering, then denoted by \\(x \\oplus y\\).  The class of Boolean inverse semigroups is not defined as a variety of algebras of the signature \\(\\{\\cdot, ^{-1}, 0, \\oplus \\}\\) since the orthogonal join \\(\\oplus\\) is only a partial operation. The author introduced in [Refinement monoids, equidecomposability types, and Boolean inverse semigroups. Cham: Springer (2017; Zbl 1447.20005)] two full operations the skew difference \\(\\backslash\\) and the skew addition \\(\\nabla\\) and proved in that the structures \\((S; \\cdot, ^{-1}, 0, \\backslash ,\\nabla)\\) can then be axiomatized by a finite number of identities, whose models are called \\textit{biases}.  The main aim of the paper is describing varieties of biases in terms of varieties of groups. The author proves that: ``(1) Every free bias is residually finite. In particular, the word problem for free biases is decidable. (2) Every variety of biases is generated by its fully group-matricial members and every proper variety of biases contains a largest finite symmetric inverse semigroup, and it is generated by its members that are monoids of generalized rook matrices over groups with zero. (3) There is an order-preserving, one-to-one correspondence between proper varieties of biases and certain finite sequences of varieties of groups, descending in a strong sense defined in terms of wreath products by finite symmetric groups.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$299D9BD7-1FD0-4DC2-A340-37CFBD9BF3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$53EB14DF-E21E-4079-80C1-6CB8290DA3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$2F0163DF-7853-4DD3-BB47-3CC521C84420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$D6949F32-FB30-4D12-AD7A-D5F9AEA42187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$80ADDED5-0689-48E4-8FBB-E3A21DB361C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$EAC9072C-44AE-482B-B3EC-F4573EA865DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$CBE19592-F7C1-4064-B541-70E0EC730917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$CADC2FCB-2639-42F6-A7E8-004087B7618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$CAFAEED7-F692-4ABD-AF5A-CCC3FA2F151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$BAA0C494-3583-4E92-B486-8058FA6D3D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$3F4BEF07-E4AE-441A-913E-9CA36E888957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$B4460664-BF48-4920-960C-A8E3ADC7114C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d02a3e09bb19fa5b05daabf08f8d3ab2cee7174","datavalue":{"value":"6921614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$A16F92CC-DD11-4211-B343-5B504B5742B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$1EC7E980-3949-4692-B919-1738F0D88CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$99B9DAB8-C157-45CD-AFE1-EE9664054C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8481d73eea3391bca5809d1fadf393bd3978e84a","datavalue":{"value":"inverse","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$7385A0A3-B31A-485B-91D2-70B79A6FE19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312a2965a28d2bc44fe4d2ad10b81aa5bdd5a8c1","datavalue":{"value":"Boolean","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$3D011F78-CBC1-4B9C-9E61-7854E4B2E001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3be363011e757688bc3ab15a5a3cb6a1040173f","datavalue":{"value":"bias","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$4ECF86DC-D910-4392-A2F6-63E888E467A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$5479B8D8-7AB1-44D9-8EA6-8930B6D5D798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$23616D91-6D37-4947-88BE-5C2739071B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ee478c750caea749591f40b4d0b63323c1eecc","datavalue":{"value":"wreath product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$5021E194-B894-49FA-8A30-058112BFAB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc7debc56db0d8736691bc4c0de70e3bdf1ad56","datavalue":{"value":"additive homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$9FCBBA1E-CBE2-4C89-AC93-4299695CBFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6943b7e73fdd68afe25beece9d9051e5e8ea1971","datavalue":{"value":"conical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$4B849235-3618-413B-8C64-CC80C158984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3921451f326df5d89a5da133ee9ae80bacf79bd4","datavalue":{"value":"refinement monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$77C1B741-D6B7-456D-A781-E68C6CBFA762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d75c8a20bcaf61c890fbc54a84a6c941bad1c17","datavalue":{"value":"index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$49272C92-FC58-4109-BF8C-D2AE500BDF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"264e4c5c1b45efc92d6bc4a849b16439b02b7990","datavalue":{"value":"type monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$FB2DFB27-06BD-4BD9-B01F-C206B6E13C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46da0120866ef5c85bf8c1f1b909055ce6bb90fa","datavalue":{"value":"generalized rook matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$7B800B07-D32E-475F-BE4E-9E5CC3BE3317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"087c913c312ffcb68e1288d541c552cde75bb761","datavalue":{"value":"fully group-matricial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$37A67302-37F5-4CE3-94EB-08F3D77D1423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f69bd769de1028fdfad55b09808e50efe92ddde","datavalue":{"value":"radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$DC12D0EC-6DBD-46E2-9121-0B2C26264903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$DBB2914F-618E-42FF-B3D0-9AD7F79039B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6ed73bfc727b1c3fccd856b5680795101a78a8","datavalue":{"value":"residually finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663513$BCE075FF-8189-40BD-910C-28812FB02917","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$14CCC0C0-513F-4F94-AB83-8A6E38AB5888","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":"Q1663513$D283CB80-8276-4108-897B-C6B67F9BCC8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77d58e8db61b3a34131cf3ef1bb1dbd36d07a806","datavalue":{"value":"W2544681903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$117DAF62-621F-4DDF-878B-02B342BEF67A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9311248a34cefb80f420e82e4fd52a79b41645dd","datavalue":{"value":{"entity-type":"item","numeric-id":5799456,"id":"Q5799456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$74DD5C5F-E2FC-46C6-A56F-ABCEC85A8F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6b8905ce90c489acc29d9e32d3300a12651dcd","datavalue":{"value":{"entity-type":"item","numeric-id":1337164,"id":"Q1337164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$42813A03-D2B2-4B68-8BA0-1CB3F3312D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$453250EF-EED0-44B6-B233-647DE1D1B21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6abed2ddc37e4794c640ad3ff593399945d69e","datavalue":{"value":{"entity-type":"item","numeric-id":1230803,"id":"Q1230803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$D913198F-E6F6-4083-AF13-A7BB929E709B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de9fc11acfbbe1548f9c0bc5298144705b0d8ae","datavalue":{"value":{"entity-type":"item","numeric-id":1902539,"id":"Q1902539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$F563300E-F534-45A6-ABFC-96986A4E030D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4e85363eeabe6d4bb877eb112267fc92de2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":5459443,"id":"Q5459443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$B149B07D-6F5F-455D-9553-9EC98FC60E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$0794261E-A57E-4AA9-B5AD-B4F95EB95ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b50c0ca1dc18869b0aaeb3200315ad6202bbc58","datavalue":{"value":{"entity-type":"item","numeric-id":1070254,"id":"Q1070254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$FE6C5D25-C016-44B3-9E1C-75287A75AEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$5BDB250B-24B8-4427-8B23-E02E3105A486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8ce79719d5de192d355dfa1543b5783c60896d","datavalue":{"value":{"entity-type":"item","numeric-id":5686073,"id":"Q5686073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$3A8C6E85-5A3E-4878-8DE5-90E3C752D47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b274a7051ff6e80e41d5513f2cdfb67980f565a4","datavalue":{"value":{"entity-type":"item","numeric-id":5822106,"id":"Q5822106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$8C964F8E-13ED-4261-8FBA-A5CBF47DA8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e01b7dc33b86ff684a3e4b932f173245490ab","datavalue":{"value":{"entity-type":"item","numeric-id":2560436,"id":"Q2560436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$87B73DF0-E207-4C45-9D3B-D75BECCE9153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dba4ad7b02fdab591325b7f944ac98441a2259","datavalue":{"value":{"entity-type":"item","numeric-id":284646,"id":"Q284646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$776D255B-D8F7-43C9-9248-260F38F1BB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$2C995639-A8DD-4EB6-813D-118DD58E0C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672fe0e529ecd014e31612b1ed1ab99e8cb206e1","datavalue":{"value":{"entity-type":"item","numeric-id":3577307,"id":"Q3577307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$16DBFBA7-1416-4829-9629-D3D042BB0058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e206db245f1c671355d33c92a06bab55a3bc37","datavalue":{"value":{"entity-type":"item","numeric-id":4649517,"id":"Q4649517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$80C8E879-5A3E-4C9D-9C5A-6B9C59D6F6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fb283b757f083f1a8261653ec6a9caf2407680","datavalue":{"value":{"entity-type":"item","numeric-id":2437408,"id":"Q2437408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$71C25399-2B3C-4258-BB9F-16E0E8D03FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982f56239d40042d2d086aca68c05ee8d514e197","datavalue":{"value":{"entity-type":"item","numeric-id":308140,"id":"Q308140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$3852B331-B709-4C02-91C7-F19BEA753CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cd6924295ed9218e032e51db2460d0e4970ce79","datavalue":{"value":{"entity-type":"item","numeric-id":986071,"id":"Q986071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$478C54EC-C288-489B-B45A-7A35DCBCD113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$7015E0D6-2A27-4728-8EEA-9B70D9B39785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$6C5F0703-FD18-4B5F-87C7-6E0F616AADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ccb759190ed6fe5a6f7e7ca0faf992aa8f2107","datavalue":{"value":{"entity-type":"item","numeric-id":4061136,"id":"Q4061136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$2FDA594B-A833-4DA1-AE97-CE40BB6786C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcd4fd20ff527f2cbf35e390084a3c5be5f3d67","datavalue":{"value":{"entity-type":"item","numeric-id":5664069,"id":"Q5664069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$1DB05C68-A277-4391-8E17-19DD81319563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71963170a3443e6c7d36b0dfa4a5f2a98541d6f","datavalue":{"value":{"entity-type":"item","numeric-id":5617762,"id":"Q5617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$BFBDC060-DA80-4F6B-9332-BF2D6C109330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9729927a82627028cc1ad9eaf9d294d480543a9","datavalue":{"value":{"entity-type":"item","numeric-id":1145772,"id":"Q1145772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$D81FE7B6-744D-4093-89CB-CA756B099ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0bbc056c87f3e2fd9e6e6ce06d2f16a30c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5802110,"id":"Q5802110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$2BD52986-546D-4D9C-87B0-7934155C861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbf84781f948cc62eb6f48286fca59cf3fc4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":1966162,"id":"Q1966162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$A73C5CDE-4775-4DED-9F75-3664677FE953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7798d74ce33c21a3b4ccda03e3d3c95d8391b3","datavalue":{"value":{"entity-type":"item","numeric-id":2013600,"id":"Q2013600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663513$35FF6108-EFEF-4969-8874-E2AF1E1BA486","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e99b5e385ccc4e1733956ccc515a1a96255d36e","datavalue":{"value":"Q129528699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$957D0C31-3CBF-4EE1-8A7A-239787ADCEA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2738b678dd6b59a92d59c3ddfa1f0b8093e38b6b","datavalue":{"value":"10.1016/J.JALGEBRA.2018.06.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663513$AF64F8A7-CB8E-4D24-9FF5-828B71E9BCC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa87bc826a422d1cab5ba0eecfaf0f0024cd6732","datavalue":{"value":{"entity-type":"item","numeric-id":2297058,"id":"Q2297058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f9febd394382f2409bbb38e4a7282323dac716","datavalue":{"value":{"amount":"+0.9451726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$9F1711C7-DEF2-487F-AAD4-1022EB19747C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1308d4ec9bb480636e171090534bc043d7957d","datavalue":{"value":{"entity-type":"item","numeric-id":4763906,"id":"Q4763906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c99409d9091d431063a39e73b7860f00d4c84b","datavalue":{"value":{"amount":"+0.92837596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$D068DDFA-2181-481F-83A2-9D27470F0F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77e8fbc43b0256af94092ad33ab8aa91a184f71","datavalue":{"value":{"entity-type":"item","numeric-id":579421,"id":"Q579421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b8d87a2345d1a7b4c68e066f99b703c54dddf0","datavalue":{"value":{"amount":"+0.9266339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$B804047F-DCCC-4D10-BD86-7F8BBDDD3517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500001c0fcc4a35d2a01e4edcce847207b1db6c1","datavalue":{"value":{"entity-type":"item","numeric-id":805743,"id":"Q805743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34fcd14dc7fa532044da5bf04acb2cd61b944ca","datavalue":{"value":{"amount":"+0.9257538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$D8F07874-6518-4247-A613-A897DE8214ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfba907c0956a8a652666dd3e98983c0bc74dde8","datavalue":{"value":{"entity-type":"item","numeric-id":1196778,"id":"Q1196778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecba37d4afedc4846864ef232593928e564b7251","datavalue":{"value":{"amount":"+0.91815037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$3484B684-B53D-4F16-A6B8-1B0FB3B6C1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32358a3a572189dac315c50f16d8221d7d6ada5","datavalue":{"value":{"entity-type":"item","numeric-id":3344147,"id":"Q3344147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4708f1bdca2a17c1da1a9a257006f284acae6ba8","datavalue":{"value":{"amount":"+0.91347957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$9F9299C3-455B-482F-A56B-21A1592A903A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11f25a9ff27ed45252d6deabf3835521a556d6c","datavalue":{"value":{"entity-type":"item","numeric-id":5018529,"id":"Q5018529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa16b65dc1e944eb7a2d5ec3fa73b45c631ba836","datavalue":{"value":{"amount":"+0.91037816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$D1A77D8E-AA32-4DF7-AEF7-5F2306CA80DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b563b04b6478a89a1d4f57c492500ba98cb37124","datavalue":{"value":{"entity-type":"item","numeric-id":4344254,"id":"Q4344254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ca6be30772b387584228cc921834361067dacb","datavalue":{"value":{"amount":"+0.90940547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$9FFDE177-85D6-41F7-AA69-16E204758171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499841d0e4d08010b78c4750f4f8579bf208e1ba","datavalue":{"value":{"entity-type":"item","numeric-id":1179486,"id":"Q1179486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d717f3b8427cf33ac7de1643d5bc43e2135b1658","datavalue":{"value":{"amount":"+0.8981889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$4D3EAF5B-39DD-4763-9340-7FFCED12EDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbb986c9ef6a459b710b760f92346378559b086","datavalue":{"value":{"entity-type":"item","numeric-id":3620836,"id":"Q3620836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2a01d85d1fb695b3ffd1c9a41cc05bc6036d91","datavalue":{"value":{"amount":"+0.8950968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663513$4A70259E-026D-4028-9A24-AC58603706E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of Boolean inverse semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_Boolean_inverse_semigroups"}}}}}