{"entities":{"Q3586190":{"pageid":5616094,"ns":120,"title":"Item:Q3586190","lastrevid":51071270,"modified":"2026-01-16T12:23:39Z","type":"item","id":"Q3586190","labels":{"en":{"language":"en","value":"Congruence distributivity implies bounded width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779433"}},"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":"Q3586190$D553283D-9249-49F1-A42A-B272E9FE28A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af7fa6f7d2211d4301f0cadcf3672fe061db72e0","datavalue":{"value":{"text":"Congruence Distributivity Implies Bounded Width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586190$3BBCCD42-F488-4B70-BE83-C97E9E209E73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"754006bb790c99d17eef0c43bf0141751f00baad","datavalue":{"value":"1205.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$AF08E059-6CB6-4649-A479-319264283A75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b87e39f021d389fc77488090c6156d6c20f6550b","datavalue":{"value":"10.1137/080743238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$7B7A42F7-5C61-4255-81F7-0F72CEB1B860","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612ceaee2e01226be6266b6156f9145d1fae19d0","datavalue":{"value":{"entity-type":"item","numeric-id":494632,"id":"Q494632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586190$E3E399C0-7BBB-41AC-9855-4980C5A9C136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af7819e40fba60229f4cb993c9b23b1f25939772","datavalue":{"value":{"entity-type":"item","numeric-id":494633,"id":"Q494633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586190$EED9808D-D14F-44A8-A418-152E71E60236","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586190$981600D2-5BB1-416B-86A5-1D91D4C446E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc299ac4241c301dd68873813d9ca9d453400e2d","datavalue":{"value":{"time":"+2010-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586190$522D282D-D68E-49A0-9C7A-036303807EE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$92C814AC-06B7-4020-90F3-8644CD92BD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$BCEFF4E8-9408-431D-A4B9-25FC13666FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$C32D9144-BA90-4D05-B791-73F79113AD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$16C15D69-A2EB-4F34-B37A-8C05D37B7081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$BC4A56BF-7FC4-4D40-8B51-03372F553FC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4c2ad402bf82ae2e5c0b51173821e8531f9350e","datavalue":{"value":"5779433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$D8814578-FA01-4F63-A963-A2E165CE0C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586190$5BE64D6E-8D5E-4C77-9778-7B547C9554A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789311983b62db7229ee55cb1e9f6ddbc5cb9513","datavalue":{"value":"bounded width","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586190$3CDC0864-CBB0-4DBF-BBFE-0FB08B11DAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3553d808ecb3af63a2267a3f7263cd0f75ab1bf3","datavalue":{"value":"local consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586190$5C393B08-C4B4-4E7F-A4FA-335334B58468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37964b9a73315f8ca83f7e711a8c9bdef892a06","datavalue":{"value":"congruence distributive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586190$B2B742CF-1A55-4621-9DD7-6B7421234C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9368fbf6cffd159dd4b8a2409b165030a04fdd4a","datavalue":{"value":"J\u00f3nsson terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586190$16F1CC35-31FC-48AA-B3EC-0BD82ACD1FC5","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":"Q3586190$F9F46259-DDB2-49E0-81DF-62A858CF56E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a47a6528635605b00d4995902d532ea2c94d9c30","datavalue":{"value":"https://doi.org/10.1137/080743238","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586190$21A19DCE-BF75-4905-9134-F44B7A562DAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"048ca291d9ce79849d99a7cd2a7c95c2e7c1cd78","datavalue":{"value":"W2082926001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586190$7F7D0635-B701-4EE1-ADD9-FF0B98CFD744","rank":"normal"}],"P1643":[{"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":"cff0ae1674f380bd848305676824145cec5e9e45","datavalue":{"value":{"amount":"+0.8451199531555176","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":"Q3586190$8F29E344-EF4E-4D8B-9828-148EE59852D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10aad528b8d1ae2474d5887c82261dd24bdd02b7","datavalue":{"value":{"entity-type":"item","numeric-id":1047093,"id":"Q1047093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9758de4a3413d8b36acd88ca981e23a6d5089df","datavalue":{"value":{"amount":"+0.8204188942909241","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":"Q3586190$A77380A4-2156-4DCB-84A5-C0A9DFF5DED2","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":"89a6f583c5246fe77277ab72501c3333314e8cfc","datavalue":{"value":{"amount":"+0.766390323638916","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":"Q3586190$83DEAB83-2456-4421-9DAB-2C5DCA909756","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":"c945c193685dfbf29caf0449a09811ca804f512f","datavalue":{"value":{"amount":"+0.7660707235336304","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":"Q3586190$1E180B3A-2834-443E-A505-E8CE3D56D8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f93a5f6ee2e9e13d65077ddd872bac49179181","datavalue":{"value":{"entity-type":"item","numeric-id":2510713,"id":"Q2510713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45e5079eb39b58b723263c25ec749cb267ccf9b","datavalue":{"value":{"amount":"+0.7646232843399048","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":"Q3586190$DE705CDF-CE63-4A84-9C46-207AF4122986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586190"}}}}}