{"entities":{"Q2510712":{"pageid":2521455,"ns":120,"title":"Item:Q2510712","lastrevid":73511247,"modified":"2026-04-14T16:16:48Z","type":"item","id":"Q2510712","labels":{"en":{"language":"en","value":"The finite embeddability property for residuated groupoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6324392"}},"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":"Q2510712$0FAEA5BB-FB5B-426F-A6BD-EE0EBF399292","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8856f1ba3279d3abe0f1239ec9a81bcf7ff1f64","datavalue":{"value":{"text":"The finite embeddability property for residuated groupoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510712$070BDD7F-E806-424F-B4FB-2F0C7FA53C92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"621497a93f06a42ab03532c7b4fd7985f509e191","datavalue":{"value":"1305.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$137D79DF-39D4-4A53-948F-5822003CED2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720b64026f990845176c12c224a82c9d4cb91c9b","datavalue":{"value":{"entity-type":"item","numeric-id":278737,"id":"Q278737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$D42DD9D1-B7BA-40E2-99A1-CCD3FE2EE9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed884d62ba335a3bb4fbf19b212e496a3b37d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$C27F3189-B88A-4E9A-B732-B6064675A609","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":"Q2510712$E89E5DD1-1720-4CFF-B50C-9FDDC8201BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b66c4ebdc3ea8a32c3e796d6baa3c7adc2ca06a","datavalue":{"value":{"time":"+2014-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510712$1ECE6787-092E-417B-843A-1B801291BCC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"079fbb1b48205e448b4fd50faece05ee73a1cb93","datavalue":{"value":"A class of algebras \\(K\\) has the finite embeddability property (FEP) if every finite partial subalgebra of a member of \\(K\\) can be embedded into a finite member of \\(K\\). The importance of this property stems from the fact that it implies decidability of the universal theory of \\(K\\). The question whether the class of residuated ordered groupoids has the FEP was answered recently by M. Farulewski using a proof-theoretical method. The algebraic proof presented here is considerably simpler. The presented construction improves the computational complexity upper bound given by Buszkowski and Farulewski.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510712$6080EFCE-E345-4BCD-84D0-FC656B79A40B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$0F2DDD88-7B7A-4FA6-8B43-FB628946FE5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$FA69E4F4-2CCC-4215-9B67-E0FCBAE92E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$87DFBF96-150A-4386-AEC6-5CD4C3F46CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$3FD247B2-05E1-4A14-B8D1-C150074D2805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$3A2D08B0-CE23-4967-8506-FAD279C2F07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$7D557167-B147-40AB-9DD2-73EF3777EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$9759717F-8E88-4109-9B07-F1B3BD98805E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d654a25409ec5063b600c16f225cfc542532f852","datavalue":{"value":"6324392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$00BEFDB5-168D-4449-B0C4-43E3669E3103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196132e55f9241084c8b2e6eec541bd35ee905de","datavalue":{"value":"residuated groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510712$6BDF34F3-5B47-466C-AA70-285A2EE45C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510712$277E9705-9700-4C5D-9C9F-1DA5181E953F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d878768a841f4a7c1eceaa4261ab683df244e1f3","datavalue":{"value":"finite partial subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510712$61130734-9AC7-454B-A1DE-325FE1F72D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2deda6c9e3ac9382ef7b0d27a7dd74348d2a4ad","datavalue":{"value":"decidability of universal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510712$BB978238-62A5-4270-A5F0-996DB16901F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510712$BC16730B-FE44-4104-A1B4-3EF16A7D54D8","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":"Q2510712$B0440999-E70F-41C8-BECA-9A9CCD5F6FEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94919384bd72dd0dd5c0f8d0969f78953b2b665e","datavalue":{"value":"https://doi.org/10.1007/s00012-014-0284-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510712$DFDFEEEA-A8F1-47C2-8C96-B821ED792036","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3c3ba63c47f339dddc1399883b3e7fc29c0cb4a","datavalue":{"value":"W2098479118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$F79E11D1-7B5F-4750-A5A7-9AFEE5FC8545","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0630946a085a949674367e0f17e2e2d22562d61","datavalue":{"value":{"entity-type":"item","numeric-id":5419875,"id":"Q5419875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$706653C8-438B-4F9A-98A8-4F467D141364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$C93654C2-7469-48BC-8314-934567AFAF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ab7eea22e285d14090ca2aab7e5754427dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$BF2B58BB-8B6A-46F6-B58A-8DE1DB6EF718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8593c772e2306218215942d25e81aa45561e743","datavalue":{"value":{"entity-type":"item","numeric-id":3765245,"id":"Q3765245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$F570D664-8020-41BC-A953-D343BE73A431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de59f2cab5144b1a48f2af6eca8fa0fcb14e9452","datavalue":{"value":{"entity-type":"item","numeric-id":3630172,"id":"Q3630172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$D26A74A4-759E-48AF-B026-D5817CE48CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4634df1a3a85f9f8fc3182bafc965641a59e9a10","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$18D2C346-CE6C-48EA-B4FA-386E3FD5CAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5a082fa64992ebd54051a4deba16d01cc97f7","datavalue":{"value":{"entity-type":"item","numeric-id":5406033,"id":"Q5406033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$0EFCFE39-982C-45E1-83EB-E3A04B274646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$C91DE68C-87F5-49ED-8877-246EC11CCD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947f4c32cdfed0e7e74613aed389a2f7554c517","datavalue":{"value":{"entity-type":"item","numeric-id":5575595,"id":"Q5575595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$90601559-01F5-4E1F-8966-477FAC0C015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8c76ed7b9bd3094511f5b761ab3ff33795d6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3505075,"id":"Q3505075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$BDDB3253-5F41-4045-83CC-6CB1CADE890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$FEACC7DC-614C-4370-A50A-ADC4D89B8B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$B1B69C76-1589-4C98-ADFC-BEA46CDF2499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510712$C2814FFE-62DB-440E-9B39-4CC891A2599C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"409d9df013b6d754e3da675d8bff224a1575e175","datavalue":{"value":"10.1007/S00012-014-0284-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510712$C862644D-024A-4262-91C6-D0688A5B3361","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c44498a5b46914ddaf12a95212465fa818f95e","datavalue":{"value":{"entity-type":"item","numeric-id":3505075,"id":"Q3505075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bc0d43a43a39ec7c161daffc87d1b0964c9e8a","datavalue":{"value":{"amount":"+0.9814054","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":"Q2510712$93E15626-1E1D-4187-823D-D63B0CE4E223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5044c5636ed689c59048b75511787f87317cba9","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9b68e7ed656d7a15914a0e7af7ebb504c236ae","datavalue":{"value":{"amount":"+0.96217567","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":"Q2510712$4DA38064-DDB6-4061-8C50-F68052223EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6083afcfcdb6e1e0d9792de9f7e4fbbf4ad0d1","datavalue":{"value":{"entity-type":"item","numeric-id":5414968,"id":"Q5414968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89c1785c7f084557f60a6c6652b7562542c27ef","datavalue":{"value":{"amount":"+0.9185275","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":"Q2510712$19F6D375-0CAE-48BA-AE28-6286A0F2360C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db001a02339f4e6780d02c6e1c0fdbc018942e","datavalue":{"value":{"entity-type":"item","numeric-id":1924966,"id":"Q1924966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91af8d7ed8f17c55501fea41e855f9b34dba133","datavalue":{"value":{"amount":"+0.90976083","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":"Q2510712$A4E2E582-B257-42E1-90BD-3EABF246ED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126a8b26a452597c48da42fc11495edefb5a6781","datavalue":{"value":{"entity-type":"item","numeric-id":4370246,"id":"Q4370246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af67427cfc6970ad9b8062b5419ee5f6313f8e24","datavalue":{"value":{"amount":"+0.90658927","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":"Q2510712$1AA309DE-C53C-485E-B1F4-D1BC8462BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3168428e57b3b94e6de63fe2e1dfdbc6a024c7","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263bc927ffd96ad61699974dbebc36261a4c1f75","datavalue":{"value":{"amount":"+0.8965143","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":"Q2510712$E53F6977-CF58-4128-A7BE-E1B1BC783B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3eed53a5699aa5e087612bf42bac76dc8dfa06b","datavalue":{"value":{"entity-type":"item","numeric-id":993327,"id":"Q993327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25b545ee6c3733d28283303930f97921dd76c10","datavalue":{"value":{"amount":"+0.89529544","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":"Q2510712$ED35968C-203C-41A4-A207-3FBEBED91E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8fcbba353765c7a514b176fbfbaca387b763307","datavalue":{"value":{"entity-type":"item","numeric-id":5480609,"id":"Q5480609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b4a50f42544923f7abf40a36aab020d88acc6b","datavalue":{"value":{"amount":"+0.8951313","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":"Q2510712$3BED79F5-8B7E-4B09-9D6A-E2E4079A8972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e956c94b413eaae348e2aef9234fc38fb42e0b98","datavalue":{"value":{"entity-type":"item","numeric-id":6095970,"id":"Q6095970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b8598cb9db4d4507558b7c537aee2ca6d5f67a","datavalue":{"value":{"amount":"+0.8917878","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":"Q2510712$AC1777BE-FEC5-4DBA-8170-C1CDBA579F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddc3f1adebeb1beac5b9bd56fb50df2d5c47b26","datavalue":{"value":{"entity-type":"item","numeric-id":2857791,"id":"Q2857791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdf436dfc4bb84813d44ae0ba63f40453a8bdf1","datavalue":{"value":{"amount":"+0.89096624","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":"Q2510712$7FD1CA17-255B-4F5A-977E-D663963EC941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite embeddability property for residuated groupoids.","badges":[]}}}}}