{"entities":{"Q444669":{"pageid":446436,"ns":120,"title":"Item:Q444669","lastrevid":61914876,"modified":"2026-04-11T02:31:59Z","type":"item","id":"Q444669","labels":{"en":{"language":"en","value":"Proofs of definability of some varieties and sets of varieties of semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066646"}},"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":"Q444669$607D18DC-71E8-4CA5-9A3B-4F608E17664F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"165814d8797d397bfb769ca0681018fb1ad6f06c","datavalue":{"value":{"text":"Proofs of definability of some varieties and sets of varieties of semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444669$A0255EFF-9752-4966-84F7-F3966DC2C16C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79507f9d30b4b54c5d5ce1aa847802bc113a31c4","datavalue":{"value":"1258.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$5A5A8E06-AF00-4425-986F-447061339CF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$F3A57ED4-AE53-4AB9-BFE2-3DF71973AB08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d101fdedee8fe26942f59fda6716c1df8d9aaf9","datavalue":{"value":{"time":"+2012-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444669$113EC42F-6D9A-4E04-930E-A87353FB881D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dccd5fd7faed0616bf394b633328d0e04c2e5d1","datavalue":{"value":"https://arxiv.org/abs/1009.1239","type":"string"},"datatype":"url"},"type":"statement","id":"Q444669$A7E0CE4F-9A83-4551-AA72-9D3CAB57A56E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3563f559d0651eb949519cb4ffdf647c7cf281b3","datavalue":{"value":"A subset \\(A\\) of a lattice \\(\\langle L;\\vee,\\wedge\\rangle\\) is called `definable in \\(L\\)' if there exists a first-order formula \\(\\Phi(x)\\) with one free variable \\(x\\) in the language of lattice operations \\(\\vee\\) and \\(\\wedge\\) which defines \\(A\\) in \\(L\\). This means that, for any element \\(a\\in L\\), the sentence \\(\\Phi(a)\\) is true if and only if \\(a\\in A\\). If \\(A\\) consists of a single element, then we speak about definability of this element. A set of semigroup varieties \\(X\\) (or a single semigroup variety \\(\\mathcal X\\)) is said to be `definable' if it is definable in the lattice \\(\\mathbf{SEM}\\) of all semigroup varieties.   In the introduction of this paper the author notes: ``A number of deep results about definable semigroup varieties and sets of semigroup varieties have been obtained by \\textit{J. Je\u017eek} and \\textit{R. McKenzie} [see Semigroup Forum 46, No. 2, 199-245 (1993; Zbl 0782.20051)]. It has been conjectured there that every finitely based semigroup variety is definable up to duality. This conjecture has been proved there for locally finite finitely based semigroup varieties. However the paper by Je\u017eek and McKenzie contains no explicit first-order formulas that define any given locally finite finitely based variety.''   In this paper the author presents explicit first-order formulas that define some well-known sets of varieties and individual varieties. Such first-order formulas the author gives for all completely regular varieties, all completely simple varieties, all periodic group varieties, all combinatorial varieties, all nil-varieties of semigroups, all semigroup varieties of finite degree, all semigroup varieties of finite degree \\(k\\), all permutative semigroup varieties and for some other sets of varieties and individual semigroup varieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q444669$F9D96860-AD43-4024-87E1-2D60D9D2CB50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$51018DE5-1B65-453F-BF17-923840202EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$4D7617B7-E1C5-48D4-B7A5-4104997525D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$EBE2AD5F-C78A-4C51-A66D-AC69FB7D080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$126FF421-4F92-423D-BEF5-F5B843709B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0bf024dba96eb08e4e42e922945823e0ff7b104","datavalue":{"value":"6066646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$42B612B2-9EDB-47B1-B91C-D5951581B59A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424d52739565ad5e78ebe3b17e442203ce817c7b","datavalue":{"value":"definable semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q444669$F1FF8BC4-E040-481C-9816-DFE48CBAE8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee41da51037cda23269e3c40d9a7e100b37c6024","datavalue":{"value":"lattices of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q444669$236E5C2D-720A-49BB-B7D3-20CF7B93D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6576e7dcd83d6974ea20cd4eff175cc7fae96018","datavalue":{"value":"first-order formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q444669$6E3F5C74-2226-490E-B9EB-0C9979F420C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eae5d7350d27d5ee5d88a9255719c6ab0a166a5","datavalue":{"value":"definable sets of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q444669$29653BCD-32BE-4D82-9040-F2C6080D26E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d0d88cd53d610c8c01b66dd6b877f36cf7ed9e","datavalue":{"value":"finitely based semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q444669$4A043A66-AF64-4316-8894-61050C23A5D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6039a4b990757a47677be3d64819ea6dc9307212","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$7B972CCB-896A-4DFE-9533-056AD7ACC2DB","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":"Q444669$274FEBAC-CE1A-4032-8D46-70535FACA78A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9247f692b19fd77e516303af1ff96244069db834","datavalue":{"value":"W2031467995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$1C7BB91C-5987-4CDD-94E1-3264869DCF81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb685d0ec4c76888281f0aa434d4d30778f4592","datavalue":{"value":{"entity-type":"item","numeric-id":2549339,"id":"Q2549339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$F9BFCD09-D9F6-446D-BACA-FE02CB86CEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b73a23fc0d55f4d36ae8718b45c7ac0de288f86","datavalue":{"value":{"entity-type":"item","numeric-id":2548669,"id":"Q2548669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$3B07316A-BB6B-4221-B5CA-BDF59360BE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$EFDAD6FF-D7C8-4AA6-95BA-2ADBBC23E595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ff6d270e45e1c2f1c0423756b2915f2907ef60","datavalue":{"value":{"entity-type":"item","numeric-id":3631861,"id":"Q3631861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$E77ED881-1E02-4935-90F2-BFD2EE6D21D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b499137f9eca2c7e1c4bf1ed714a4eb536a2a7a","datavalue":{"value":{"entity-type":"item","numeric-id":5551502,"id":"Q5551502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$DE639CCD-95F3-4E10-B121-43249A8AB48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813bc49701b3df07f012765c7deb7121604820fb","datavalue":{"value":{"entity-type":"item","numeric-id":1209280,"id":"Q1209280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$3546AA1A-F7C6-4D02-B4BF-3BF972EABD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1dca036725db0bc06508d23f2ebe51c27e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":4813816,"id":"Q4813816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$0CCB08B3-7100-4CA4-8B63-25E2584BF810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2e271d8729afdaee1c2c1bc8f5c5c775756ecf","datavalue":{"value":{"entity-type":"item","numeric-id":3487647,"id":"Q3487647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$356E8E60-D8EA-4100-9C8F-1207F5F04E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c638297bfde88afde637404c3eebdfdf1399b1","datavalue":{"value":{"entity-type":"item","numeric-id":3203230,"id":"Q3203230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$CA1A65FF-52D4-4C5D-9F00-17B50A98674B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893fd93ae240145f409c957a290d8305c3002bab","datavalue":{"value":{"entity-type":"item","numeric-id":3202304,"id":"Q3202304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$3450B32A-66EE-428C-9EEA-F0C1F9A398AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cf6f08275a1eca45a23bd0167d94170400d703","datavalue":{"value":{"entity-type":"item","numeric-id":2551836,"id":"Q2551836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$E905F597-3C61-43B3-8444-9E0F6C8FDF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c411d23f25ffa96e1d48ad2b2c11d0099d9b3d06","datavalue":{"value":{"entity-type":"item","numeric-id":3924387,"id":"Q3924387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$2DC6FD52-19C7-4325-A8CB-B60603ECC500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295e8e336a41c0f8a17d74c0506c0b47a8ac6fd3","datavalue":{"value":{"entity-type":"item","numeric-id":735936,"id":"Q735936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$49F0F55F-DA24-4927-A9A8-FBE75DBEC3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09d3566116e79593503c0927b3bdb4b5a624fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1052471,"id":"Q1052471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$FC5748C5-F1CC-4E54-AB1E-04FB6E0CDEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c067a6c193aa0e11d3ba5c2ddc9898f69faf369","datavalue":{"value":{"entity-type":"item","numeric-id":2464347,"id":"Q2464347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$09C56565-428F-48DC-A80D-5E0750A51E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecaeb71a01ee6558333b6066f9704a5fc519b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":619322,"id":"Q619322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$B5667972-BE3A-4F96-8D20-03D70CDDF025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb590d58d083238921b3eb85524e5cf90c57f69b","datavalue":{"value":{"entity-type":"item","numeric-id":4518130,"id":"Q4518130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$246A1B4E-07D4-418C-B8C2-A5FE662F3614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e7232b3b3d3f4861e7eedaaa1536044f7a287","datavalue":{"value":{"entity-type":"item","numeric-id":5701840,"id":"Q5701840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444669$99BE420F-2835-42F2-A624-8EA8D12AA7B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b933671fece1ee5f3c10c87d8eca82ffe0afd587","datavalue":{"value":"10.1007/S00233-012-9377-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444669$13F2C3FC-5A71-4F98-B090-7CEA7815FBDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5d290e44651a0caeabfd4e81b331da7c467d2d","datavalue":{"value":{"entity-type":"item","numeric-id":1939493,"id":"Q1939493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ceb0805d4758fb9ce0e4f7aa01a83c0e687066","datavalue":{"value":{"amount":"+0.9403956","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":"Q444669$72986751-0A53-4B1D-AA24-DA4B69F360BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d1ef1934d4e961f64abe9083f4e8f12091006d","datavalue":{"value":{"entity-type":"item","numeric-id":5385656,"id":"Q5385656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9157305037d654e809bc4ac077bcf3898fb96259","datavalue":{"value":{"amount":"+0.91225505","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":"Q444669$C14238CF-71EF-422E-84C3-6B18C2B3184E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d64c88c7bd7e546c934afaf5b8f12764fd2108a","datavalue":{"value":{"entity-type":"item","numeric-id":3409449,"id":"Q3409449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed14ef2f828bb6ef69ca958c0fa0ec1712cfbe85","datavalue":{"value":{"amount":"+0.8912697","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":"Q444669$FF3B4FF8-D10E-4C90-A931-730C3F48641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de261ea9b782e351a6d47821a5b8ddbe80a3e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1209280,"id":"Q1209280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f986c0cd25f2b0aff2c2b49f29f5d6d42168e01b","datavalue":{"value":{"amount":"+0.89025885","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":"Q444669$13CEA95C-5E24-4931-8A1E-4C69C807959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372eb589cd5fbed0472bcd04ef467b55777a56fa","datavalue":{"value":{"entity-type":"item","numeric-id":4233755,"id":"Q4233755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff63fe09b96bbf6af47bf650073c9e03da4a03ce","datavalue":{"value":{"amount":"+0.8898262","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":"Q444669$4900831C-F5EB-4D18-B06C-4392CEA18595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048a37606fb82f302f2d1b6967a7611e6aff5356","datavalue":{"value":{"entity-type":"item","numeric-id":3539844,"id":"Q3539844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0962021897a88108e043e28ac742c1d83501f88b","datavalue":{"value":{"amount":"+0.88906246","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":"Q444669$71E4E944-4BAB-48EB-B77C-961856A7934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba13fc3083c4e5a1c845b5869d2a887637d3a2e","datavalue":{"value":{"entity-type":"item","numeric-id":694248,"id":"Q694248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b2fa1356541019ad8b4adbd70c5611c9b23fa7","datavalue":{"value":{"amount":"+0.88835907","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":"Q444669$F40C4C08-D363-489C-AE67-0CC1F0303E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5066c7e5b0893aeaf50be4fb03c12feadb04be","datavalue":{"value":{"entity-type":"item","numeric-id":5298324,"id":"Q5298324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91fea26998275cf647b1f1a3552527f4d331029","datavalue":{"value":{"amount":"+0.88829505","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":"Q444669$45F41169-7957-4C13-BED3-570914A9DE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62440cc9c09dff3fad1e42c0ea3d5bf8e6f60ae","datavalue":{"value":{"entity-type":"item","numeric-id":3166416,"id":"Q3166416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1209df0eff649a8ddae18d370b0b9c781ac98b72","datavalue":{"value":{"amount":"+0.8858101","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":"Q444669$C79B171B-F748-4042-A294-5E8D8ACDD64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c461f02d8bc24240414df38a7d5f848559b1ea","datavalue":{"value":{"entity-type":"item","numeric-id":2541696,"id":"Q2541696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc489038e735df04c18aab0f64dc95f3605b93ab","datavalue":{"value":{"amount":"+0.8857058","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":"Q444669$266B847F-8611-4156-9B68-831A3EADA429","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs of definability of some varieties and sets of varieties of semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_of_definability_of_some_varieties_and_sets_of_varieties_of_semigroups."}}}}}