{"entities":{"Q2510713":{"pageid":2521456,"ns":120,"title":"Item:Q2510713","lastrevid":73511256,"modified":"2026-04-14T16:16:48Z","type":"item","id":"Q2510713","labels":{"en":{"language":"en","value":"Decidability of absorption in relational structures of bounded width."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6324393"}},"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":"Q2510713$4AF16103-D926-475D-93FC-7A1AC80D450A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25b2f46fa229c4585e3e232f01dbf83a2d908b57","datavalue":{"value":{"text":"Decidability of absorption in relational structures of bounded width.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510713$6DD7B742-9D4E-4BF3-A2B0-2CF2FDDEDEA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f7943c15791c9ebab85bcc79e7c68aa58eb4663","datavalue":{"value":"1307.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$1AAF5069-AFDA-445A-B9C7-BEE799581F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27228bd7d4b7db9bfc85684482480c6d1d23e42c","datavalue":{"value":{"entity-type":"item","numeric-id":1686249,"id":"Q1686249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$E37AAD2B-38C7-44AE-BC6C-C4EE39D86B04","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":"Q2510713$5C1D6439-3BFE-401D-8A86-71AB6F6E5052","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":"Q2510713$7A56E413-643B-49B3-8D2D-2C80B290B2A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96e92e43569f64286bc237d3ac1d43ac03ac14e7","datavalue":{"value":"Given an algebra \\(\\mathbf A\\), a subuniverse \\(B\\leq\\mathbf A\\) is \\textit{absorbing} if there exists an idempotent term \\(t(x_1,\\ldots,x_n)\\) of \\(\\mathbf A\\) such that \\(t(B,\\ldots,B,A,B,\\ldots,B)\\subseteq B\\) for all of the \\(n\\) positions for ``\\(A\\)''. In some sense, \\(t\\) behaves as a near unanimity (NU) term with respect to \\(B\\). Absorbing subuniverses have been used by Barto and Kozik in the algebraic approach to the Constraint Satisfaction Problem (CSP).   A relational structure \\(\\mathbb A\\) has \\textit{bounded width} if its CSP problem can be solved by \\textit{local consistency checking} and hence is tractable. It was conjectured by \\textit{B. Larose} and \\textit{L. Z\u00e1dori} [Algebra Univers. 56, No. 3--4, 439--466 (2007; Zbl 1120.08002)] that a structure has bounded width if and only if its algebra of polymorphisms lies on a \\(\\wedge\\)-semidistributive variety. \\textit{L. Barto} and \\textit{M. Kozik} [in: 2009 IEEE 50th annual symposium on foundations of computer science -- FOCS 2009. Proceedings of the symposium. Los Alamitos, CA: IEEE Computer Society. 595--603 (2009; Zbl 1292.68088)] answer this question on the affirmative. Further, Barto applies these techniques to solve another problem by Zadori, proving that finite, finitely related algebras that generate a congruence distributive variety have NU terms [\\textit{L. Barto}, Can. J. Math. 65, No. 1, 3--21 (2013; Zbl 1283.08009)].   The paper under review relies heavily on this last work. The main result of the paper is a \\texttt{co-NEXPTIME} algorithm to decide whether a subset \\(B\\) of a \\(\\wedge\\)-semidistributive algebra \\(\\mathbf A\\) is an absorbing subuniverse (actually, \\texttt{EXPTIME} once \\(B\\) is known to be a subuniverse of \\(\\mathbf A\\)). The author explores a generalization of the notion of absorption and shows that it coincides with the ordinary concept in the case of \\(\\wedge\\)-semidistributive varieties. Then the problem at hand is codified as an instance of CSP and the author adapts a proof from Barto's paper concerning realization of trees to obtain a criterion of solution of this instance. The exponential bound comes from the fact that trees having at most \\(4^{8^{|\\mathbf A|}}\\) vertices have to be checked to fulfill this criterion.   Afterwards, it is recalled from \\textit{J. Bul\u00edn} et al. [Lect. Notes Comput. Sci. 8124, 184--199 (2013; Zbl 1432.68170)] a way to associate a digraph \\(\\mathcal D(\\mathbb A)\\) to a finite relational structure \\(\\mathbb A\\) in such a way the respective algebras of polymorphisms share many important properties. In the present paper, the author shows that also absorption is preserved by this construction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$DAE9F348-D095-4D36-B048-089DC0EC82ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"29e26a100bc99f84fae486fe1b7470aa39867b90","datavalue":{"value":{"entity-type":"item","numeric-id":549667,"id":"Q549667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$732AF39A-0621-428C-9A00-FFC77526B630","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$3DFA5136-7093-4F31-A6B5-37413258D546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$C44171CA-E5AC-42A4-92BC-55EB37BA5736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$4F8D75E3-F521-4523-A403-64D7C7B64DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$A14F4A42-5335-4B4C-9BC0-23BA649BE7FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d596ee2c8b952961e3e9aff954ee490ffd1a1c38","datavalue":{"value":"6324393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$31A88D67-F2F1-4697-93BB-C81E36C7B17E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"798f128c56c4a9ad1a23182b7eda8910ec4ed23b","datavalue":{"value":"absorbing subuniverses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$19A94F6D-5214-4B04-821B-D6C30167D498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22be8a6884194e858c9362190bdba8150416e6b6","datavalue":{"value":"near unanimity operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$FFEFA3AF-A755-4301-BE99-2E8169288339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bac7c01a0c4c07de4b39c57193a62d8473ef470","datavalue":{"value":"J\u00f3nsson ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$1221C184-88ED-438A-BD4C-DD387004D508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab488e470260f67b70915aa38797d8226c99cd90","datavalue":{"value":"congruence meet semidistributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$DF45B0BB-2C93-4947-99D6-0521A6A3AA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff1c9fd47e38dff2b8a4ecf9ab30f991c19edaa","datavalue":{"value":"finitely related algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$92A14856-B183-452C-8ED5-BE9DE26F9D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$7BF9909E-BC41-43F4-A0B0-7BED402DAACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ba883507b75351a0ad3c246a5835b1f19dfcc5","datavalue":{"value":"algebras of bounded width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510713$0553C751-804D-4787-AA78-01B38C747183","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":"Q2510713$FEBEF982-991E-40D8-8A79-04C95440DD0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d9ef7dd0b91bce5b6363b9109a8fc8b0ef7a922","datavalue":{"value":"https://doi.org/10.1007/s00012-014-0283-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510713$5819A4B5-CC3D-4E3A-ACCD-12CC8E5714F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21f41cf359949892bbb753e6c3b83317b039f499","datavalue":{"value":"W1967577938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$36AA4468-C4F9-4810-8EFA-381C345C7B14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed83fe1da28146a38afa0befa44c1b2681b1778b","datavalue":{"value":{"entity-type":"item","numeric-id":2881074,"id":"Q2881074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$42E1D22A-41FA-4AB3-8440-ED3E5E407A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4c7ad84dafa9996db1476233443cd69f51afde","datavalue":{"value":{"entity-type":"item","numeric-id":4907620,"id":"Q4907620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$2F784E32-513C-4180-AD66-30F9DBDEC361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52afad22918132100df71892e66b57c1ca2b4bda","datavalue":{"value":{"entity-type":"item","numeric-id":3586190,"id":"Q3586190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$B56F1884-EAC0-4E50-A0E8-89B852E5DCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9507be843b682c74b6e88d6f61472b28c2047f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5171200,"id":"Q5171200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$31EAC915-EC65-4E7C-AD60-1EDF84ABCD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce46eec48dce3300a1dff424cb3fb3743f6a02cb","datavalue":{"value":{"entity-type":"item","numeric-id":494634,"id":"Q494634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$0A40BDA1-EDF9-4060-B806-E9494A2C2C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9d5f067eb958341991b2ee01dc0caab581f808","datavalue":{"value":{"entity-type":"item","numeric-id":5317171,"id":"Q5317171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$9AF1FC1D-77F6-4DDC-B6A6-DF4EF0067C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11170f9c7128eb081349dcdf84e1ea3bf4e88abf","datavalue":{"value":{"entity-type":"item","numeric-id":5415454,"id":"Q5415454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$9C468D49-3F11-42F7-A417-BAA53159C270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$EC1C1BD8-0844-414F-9C4D-79A3119AE6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49fc7fd10d6b3a50d7df92b0e573b9791472f33","datavalue":{"value":{"entity-type":"item","numeric-id":997127,"id":"Q997127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$E0BBF288-BEC9-46C3-A10B-91A14D216F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef176291fd6ac76f97cfaab60dfeb3c415671f99","datavalue":{"value":{"entity-type":"item","numeric-id":2474099,"id":"Q2474099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510713$2C2667B4-F854-471D-A348-B75EA5987700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ce3f699cdca4af4568fed6ef7722eaa708d4a14","datavalue":{"value":"10.1007/S00012-014-0283-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510713$DF0D5936-BE73-4141-B60A-5911A4B10CD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ffdc2404d2a1930d0319857ea3075d05fbf9c4","datavalue":{"value":{"entity-type":"item","numeric-id":997127,"id":"Q997127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ef8944e368c0ff7abbd15d8b8c38fabeb3cc89","datavalue":{"value":{"amount":"+0.7751484","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":"Q2510713$FDDE0480-A429-494C-92FA-FB6115F2AB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"514d673c7dffbcd53e57ddfcb89fbfcf5f22d2b6","datavalue":{"value":{"entity-type":"item","numeric-id":5310691,"id":"Q5310691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce8c036f5e3780b52e6e27d13b6b0a2da1b617b","datavalue":{"value":{"amount":"+0.74719113","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":"Q2510713$92B1CBC2-18F7-47C2-A3B9-0E48866FC93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd019c629ca81ec5077da5d3452975c7454def7","datavalue":{"value":{"entity-type":"item","numeric-id":4635925,"id":"Q4635925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e2ace7a226e5d44fb4e251d8d62865ce053154","datavalue":{"value":{"amount":"+0.73469794","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":"Q2510713$B420939B-C0F3-410F-AB6D-02297FB6AB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4289273cf2889a7717925050514ff7008d6fd248","datavalue":{"value":{"entity-type":"item","numeric-id":3398315,"id":"Q3398315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7b2a28fc1605ec73e5e0ddfd081e0f2a801d4c","datavalue":{"value":{"amount":"+0.7262744","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":"Q2510713$83A104C0-4FF0-44B9-B48C-3E56688A405E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34a42074bc0788f0e2e10ed398d7b64830bb0df","datavalue":{"value":{"entity-type":"item","numeric-id":4973888,"id":"Q4973888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cff6d64354622bcc9c2722823c87f0939e6ccd","datavalue":{"value":{"amount":"+0.72561735","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":"Q2510713$653437F7-C98E-4E6B-AD84-0FC16148283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8efffe1905b9524a8c342d0324307096edae47","datavalue":{"value":{"entity-type":"item","numeric-id":4407431,"id":"Q4407431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb8dedac38878a7a5e66f1d12f1e9ee55059b02","datavalue":{"value":{"amount":"+0.7195957","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":"Q2510713$3B919ABB-FF6D-46CD-B09B-90D61566113E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30cb4ba85bd3f60ff5871b10ae03542eb436f32","datavalue":{"value":{"entity-type":"item","numeric-id":2881074,"id":"Q2881074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acebed6770921fb81af6ec1385f5332dfe765018","datavalue":{"value":{"amount":"+0.71472216","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":"Q2510713$E3F24592-33C7-4943-9DD5-8352561151DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf02fe5a614972798127040b636ae4b2fa1a606","datavalue":{"value":{"entity-type":"item","numeric-id":5009788,"id":"Q5009788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7646c8ad72a19ae7e87521c5d6ded735c2c3a4a","datavalue":{"value":{"amount":"+0.70931745","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":"Q2510713$FF386F85-8F23-4012-8314-F9029E803B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b6458f6ba74343f8675191ab38a392fb9568b4","datavalue":{"value":{"entity-type":"item","numeric-id":5415454,"id":"Q5415454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15c34dd12842655cf5fd2ee3df3996e6d2ec379","datavalue":{"value":{"amount":"+0.70415485","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":"Q2510713$CCF576F7-82A2-4CA3-86B8-36ABA83A2CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5517a5a34fa546cda05c18b36df81f13a0a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4907620,"id":"Q4907620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6b34f435d23aafdea086ad99beda6a9d9d2a8f","datavalue":{"value":{"amount":"+0.7017515","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":"Q2510713$60DA66CA-40F6-4F91-91AC-71978C55B3A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of absorption in relational structures of bounded width.","badges":[]}}}}}