{"entities":{"Q993327":{"pageid":995175,"ns":120,"title":"Item:Q993327","lastrevid":65875539,"modified":"2026-04-12T05:58:11Z","type":"item","id":"Q993327","labels":{"en":{"language":"en","value":"Completion and finite embeddability property for residuated ordered algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5782716"}},"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":"Q993327$9FCCD2E6-65CF-4C75-A0B8-4BA22CD86458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"767838749f2990be54f1eaf5c37061899fc1ab4f","datavalue":{"value":{"text":"Completion and finite embeddability property for residuated ordered algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q993327$8D28F85A-F56C-44AC-AE0A-15A111C516D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a301fb151ec0559483d1393e975f083760de72b","datavalue":{"value":"1214.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993327$31F15CA3-77AA-465B-B576-522D92CDCA3B","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":"Q993327$FE587FA3-1BF1-4D19-9903-CD6DB9875488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q993327$58A691F0-0B4E-4931-BF6F-79F43651841A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7abf60402aae0a1dcd77bc897ac42c7f5529225","datavalue":{"value":"This is a long, well-written and very interesting paper.   A residuated ordered algebra (of type \\(T\\)) (roa, for short) is a structure \\({\\mathbf A}=\\langle A, T, \\leq\\rangle\\), where \\(\\langle A, \\leq\\rangle\\) is a partially ordered set and \\(\\langle A,T\\rangle\\) is an algebra whose language \\(T\\) is a finite set consisting of a set \\(T_0\\) of constants, sets \\(T_1\\) and \\(T_2\\) of unary and binary residuated operations, respectively, and the sets of their residuals, \\(T_1^*\\) and \\(T_2^*\\), respectively. Hence \\(T = T_0 \\cup T_1 \\cup T_2 \\cup T_1^* \\cup T_2^*\\). For instance, a commutative residuated lattice \\((A, \\wedge, \\vee, \\circ, \\rightarrow,1)\\) is such an roa with \\(T_0=\\{1\\}\\), \\(T_1= T_1^*= \\emptyset\\), \\(T_2=\\{ \\circ \\}\\), \\(T_2^*=\\{\\rightarrow \\}\\), with the partial order \\(\\leq\\) being a lattice order with lattice operations \\(\\wedge\\) and \\(\\vee\\).  The paper mainly presents the construction of a structure \\({\\mathbf F}=\\langle F, T^F, \\leq^F\\rangle\\), starting with a fixed roa \\({\\mathbf A}=\\langle A, T, \\leq\\rangle\\), a fixed partial (ordered) subalgebra \\({\\mathbf B}=\\langle B, T^B, \\leq^B\\rangle\\) of \\({\\mathbf A}\\) and a fixed \\({\\mathbf B}\\)-residual pair \\({\\mathbf M}=\\langle M,M^*\\rangle\\), where \\(F\\) is the set of all stable sets \\(X \\subseteq M^*\\) (i.e., verifying \\(X^{lu}=X\\)). The main result is Theorem 5.11, saying that \\({\\mathbf F}\\) is a complete roa of the same type as \\({\\mathbf A}\\), and there exists an embedding of \\({\\mathbf B}\\) into \\({\\mathbf F}\\) preserving all existing meets and joins in \\({\\mathbf B}\\).  The author then studies: which properties of \\({\\mathbf A}\\) are preserved by \\({\\mathbf F}\\); the conditions under which \\({\\mathbf F}\\) is finite; the class of residuated ordered semigroups in which \\(T_1=\\emptyset\\); the class of descending roas; the class of unary roas; the class of involutive residuated ordered semigroups; the class of roas satisfying an inequality \\(s \\leq t\\). Finally, he proves that for commutative residuated lattices, the structure \\({\\mathbf F}\\) and the structure \\({\\mathbf D}\\) (constructed in two previous joint papers by Blok and the author) are isomorphic.  Reviewer's remark: Since commutative residuated lattices (of the form \\({\\mathbf A}=(A, \\wedge, \\vee, \\circ, \\rightarrow,1)\\)) are categorically equivalent to BCK-lattices with product (of the form \\({\\mathbf A}^*=(A, \\wedge, \\vee, \\rightarrow, \\circ, 1)\\)), we think that a `dual' construction may be made, starting with `dual' roas (of the form \\({\\mathbf A^*}=\\langle A, T^*, \\leq \\rangle\\)), categorically equivalent to roas (of the form \\({\\mathbf A}\\)), starting from residua (\\(T^*=T_0 \\cup T_1^* \\cup T_2^* \\cup T_1 \\cup T_2=T\\)), and considering \\(F^*\\) as the set of `dual' stable sets \\(X \\subseteq M\\) (i.e., verifying \\(X^{ul}=X\\)). We expect that the `dual' structure \\({\\mathbf F^*}=\\langle F^*, T^{F^*}, \\leq^{F^*}\\rangle\\) thus obtained will be a complete `dual' roa, categorically equivalent to \\({\\mathbf F}\\) (by a `dual' of Theorem 5.11).","type":"string"},"datatype":"string"},"type":"statement","id":"Q993327$4AEC2DF8-F85F-48B3-8003-5268864D648C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b61db83eb94a2fe336020a507c413989dc9ead1b","datavalue":{"value":{"entity-type":"item","numeric-id":590511,"id":"Q590511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$99612BEC-5EE1-461C-ADA3-227864D5CB97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993327$35E383EC-D87E-41F7-86E1-A8D212A7C4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993327$031CFF4E-12E3-4604-8454-AAC8A07DE890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993327$F04D3F83-2CDF-4DC9-A2BA-2D6AE5175A79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0ab7e495a56d6c0412ba38db81f66dacd86413a","datavalue":{"value":"5782716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993327$F45997E1-4069-41BA-9EBA-F6A850344240","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19f271c2b962b89f222aaf430df2cd7dfcbfc41","datavalue":{"value":"residuated ordered algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q993327$5FA12177-E3E6-4DAD-842C-FA6F7691E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q993327$1CEF9405-FBE0-4CC0-B53F-81892EAEC05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q993327$236A9C7C-F103-47D9-9548-5658AA3364F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q993327$5A56212A-7B7B-4C44-95A8-89CA00326984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q993327$8D275FAC-7AF1-4833-9CCE-84A2D858B683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q993327$6AEAD028-6471-4F86-BD0C-7EFB05C6E8A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$2D4BDBE2-1924-48B4-A55E-674B1829FC63","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":"Q993327$80832AA0-43F7-4E21-A203-7302666E821E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3617563029c2e40cfcdc899f506cb28ed66409","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0060-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q993327$720AF1B9-55F0-404A-BD24-85C3ACE39FC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bd7a4e63bda4ef31b5e04d6d06edda0f34f3007","datavalue":{"value":"W2135967889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993327$63B629EA-87D3-4D17-85B9-021014841DBA","rank":"normal"}],"P223":[{"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":"Q993327$064B8EC0-AD39-4D49-87A8-5F5701CFC83A","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":"Q993327$4E6266D0-DCC4-4A0C-8BE0-B11DA8E83683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$8AE58A07-EAD6-4705-AB89-EE1D60F5031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc6d24dc435bc9105aee6ad984aadca0086ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5775384,"id":"Q5775384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$BED4AAA7-73D2-4470-BF0B-4B35DECCED16","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":"Q993327$CED86AFC-F9FF-48FB-A049-6A3D87A132DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$544793D7-1001-4DC8-8403-33A624C2745B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$02C334CA-F1A7-48DE-B521-0CD41BDEDFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$3405489E-9B60-4C74-BC07-1E4E34978E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40008f3bf42685fa48509529f90bde4322fbdb7b","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$B763FB8D-EFA0-49B8-9BF1-E7A07C554AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$F0A10963-37DA-4F00-B5B7-D3D2412F4FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d9d8acc9637ccbe7181c88d2feaf1eb89e2e6","datavalue":{"value":{"entity-type":"item","numeric-id":5932468,"id":"Q5932468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$E9AF3523-5A37-49B8-A652-74733B77BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$B1DC5FC5-E41A-4034-98D1-990659BE4F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$96F6D6FF-40D7-4D79-A9A5-939973220327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$0562EA01-5106-401A-A819-411D0B20F206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f2ea4b7302711e45c80acc4661a39cf1bc13b4","datavalue":{"value":{"entity-type":"item","numeric-id":2270232,"id":"Q2270232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$68246F90-3823-4860-9318-BD3274914CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce973fb94bb1c7e17bec7452c2f943e4f111d46","datavalue":{"value":{"entity-type":"item","numeric-id":5768906,"id":"Q5768906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$D39AEED2-D4E1-4EB9-90BF-89617E70D9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$1A120676-C378-46DE-BDAF-2C7B60F4F1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a82af722bc7abbcf9001df5a67464cf2a7d0ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3370755,"id":"Q3370755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$606E155A-E2E2-412B-9C4F-7FD96A445548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e48afc4058ffe1a4abfd5795f52bbbf139e4782","datavalue":{"value":{"entity-type":"item","numeric-id":995378,"id":"Q995378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$C264ACBB-600C-4A01-9B10-F99815265710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13768b34375dc68714bd0d6e8aa436172a3738b","datavalue":{"value":{"entity-type":"item","numeric-id":1826930,"id":"Q1826930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$D08F30B1-57F2-402D-A3E8-BFB6C08EC334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993327$589C37CF-A34A-4E39-9D29-A93BB03963C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b4c7cff1e3be31481407eb14d7aa74123f3e46d","datavalue":{"value":"10.1007/S00012-010-0060-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993327$CFB8B635-20A7-40BE-81CC-CDCC9FD7695F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c9566761bc30cca7827b2bff9e40414fd44d03","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9585f517737b6aa970fb74df3f4615adf16d7a38","datavalue":{"value":{"amount":"+0.7778616547584534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993327$E09A6E91-312A-428C-83CB-C718C1F71842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31df8d4aeeffbf11d36c4116defaf3568e2cf56","datavalue":{"value":{"entity-type":"item","numeric-id":2510712,"id":"Q2510712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b475487db12f2855aff5e34f62acdfa8e7c530","datavalue":{"value":{"amount":"+0.7765171527862549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993327$DD2EC21D-CA40-465E-8B8B-C0B3ACE89E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f60b97bbe8a0596499e61dcd1c7869720c666fc","datavalue":{"value":{"entity-type":"item","numeric-id":5434203,"id":"Q5434203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d40b12d3d9ea8dda71a1583c5c96fad0527423f","datavalue":{"value":{"amount":"+0.7765127420425415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993327$34CE221A-94D6-48F3-9DBF-A960731F64E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d825c4e0faffb0a04df2b27e3d42aa50990ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1402589,"id":"Q1402589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13ae122119ea1206c4ae3515d8c5aaa5dbd5c99","datavalue":{"value":{"amount":"+0.7736803889274597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993327$5667F59F-9CCD-449D-846D-FA84B1A0C2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6800de991f2db5b3695bd9dde365af49003991","datavalue":{"value":{"entity-type":"item","numeric-id":4982592,"id":"Q4982592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bbb98ee029863b5547772292c630cb4f5b044c","datavalue":{"value":{"amount":"+0.7724263072013855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993327$65E0B013-7731-4EE8-A6DB-375DDA3B8B12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completion and finite embeddability property for residuated ordered algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completion_and_finite_embeddability_property_for_residuated_ordered_algebras."}}}}}