{"entities":{"Q391121":{"pageid":392888,"ns":120,"title":"Item:Q391121","lastrevid":61528308,"modified":"2026-04-10T23:57:22Z","type":"item","id":"Q391121","labels":{"en":{"language":"en","value":"Deciding equivalence-based properties using constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244026"}},"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":"Q391121$A2086D4C-1941-43FE-9A19-29B4FB01F89C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f580482d3af0e7b4082d585a47a3896b4239b39c","datavalue":{"value":{"text":"Deciding equivalence-based properties using constraint solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q391121$A2D096F2-6743-4CB8-9D2B-D6E13BD1FA29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d4a81ebbbbb455e51e65476cfdd497e37668d57","datavalue":{"value":"1294.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$5A58B7CE-EF3A-48F6-893E-A66DF859C805","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ce5379312fabb85a719672eceef973054125c8","datavalue":{"value":{"entity-type":"item","numeric-id":391118,"id":"Q391118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$15DB60A7-3E65-422E-86E0-60E616D5AD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$0918FE1F-A5A2-4D6E-AEDA-9E4B3A7DA27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$6259FE1F-4439-497C-A27B-89D84A46A196","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$4E7426F7-8F6E-4115-9351-F6933321BDF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-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":"Q391121$6CE815DB-DEFC-44FB-9DCC-6247A928BC64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$46A722D9-64B3-4A4E-8AC6-69D04C95BC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$4755C97F-2971-47D3-B1FD-4A484A73FFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$58A24F0D-9C8E-4461-AFFE-D84924A835FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$BE341547-97F3-4EF4-AAC7-3A085F1852B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe7643b7aeb86c94af6a1787e03f81775db36908","datavalue":{"value":"6244026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$83DA1F50-9C33-4E2E-98EA-623FC5BEEA57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q391121$06C57490-DB99-4687-B496-1F19E07AC80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q391121$CEB1CD8B-BD5E-4F13-A357-5F65BB36C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa71be7ddf60137c6ceab358a5357b4f5c17e9a","datavalue":{"value":"applied-pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q391121$880400F5-0C41-4D86-AFAF-D1BD15C3814F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7988d6e2a15b70f386d1c36238312f63eef396d","datavalue":{"value":"behavioral equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q391121$BF4B641D-0B45-491B-8F66-4AF03F7B8EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49097a6a646d9605427866b5a7b7d49dd8318e87","datavalue":{"value":"constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q391121$15CC895E-A178-4561-92D7-1BF531D09E1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"288412d9eb32982e2875240db7a8acc8f2a94a85","datavalue":{"value":{"entity-type":"item","numeric-id":25181,"id":"Q25181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$3338F0E1-E8B9-4801-B79D-0320842416A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$B3C436DF-AAA9-4D29-83ED-43CA34766AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$D213A9C0-71B9-4716-B219-2649E2689BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2fc64fffeaea70a069713ebb8f2a7eb573aca821","datavalue":{"value":{"entity-type":"item","numeric-id":21450,"id":"Q21450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$4BBC5202-4216-49CD-8BCD-806EE8A1E1BF","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":"Q391121$9C501F96-E317-45D3-A66D-928D0537BAEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1764a21a1ab6985a8f76db02d9b1cdf13b17d112","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.04.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q391121$EF02546F-B358-409A-A37A-071E57DE6D62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7b7319314c15300ed35609946a8476d585aecc6","datavalue":{"value":"W2005880313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$84FC448C-476D-4A49-828B-55164F90CD36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$4AD9602B-C882-478A-ADFF-BFE5704B8CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$EB7B5325-586A-46BD-9A2F-3876DECCBC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f93452b91edda8da8109ddb6ad4a31477422917","datavalue":{"value":{"entity-type":"item","numeric-id":1881255,"id":"Q1881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$346EF425-1F4F-4961-B3FE-8F310CCF8F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$584562CF-C694-46ED-87CF-F0DDB20FD917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$67668908-948D-4812-A019-077F96E9F16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$A137D470-17B4-473F-AC74-E9B7F25CEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$EBAF064A-5940-4E4A-99B5-F5E09DD9A4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6f3ddd888aefd98d9d79fb361a71cfdf283d39","datavalue":{"value":{"entity-type":"item","numeric-id":4417856,"id":"Q4417856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$3913BD98-612A-41A7-BD55-CD1841A41324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92093ba17f34df8f4fe5be21dbc0561047e5788d","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$E980AC9A-A0FA-4BB3-AB21-E1F8B30DF23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef20d14da29fdd3f0fb31d7aa85ef7dd6d882b34","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$B7A2FD27-CA81-4F23-A8AB-7988614A39A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f49524649e20f43a97ecdb5d69e5cf5555990","datavalue":{"value":{"entity-type":"item","numeric-id":2482450,"id":"Q2482450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$73D544D3-0579-45CB-B671-0179B71BB39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b625e09cc861ea2dc29ac6d985a655aa3ce13538","datavalue":{"value":{"entity-type":"item","numeric-id":437031,"id":"Q437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$7157CF99-4272-477E-9E1A-86A2618F8085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d1bf22da72285a101a10cb9fafaded92bf6ada","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$44D23B20-A559-42C3-9F01-6DFBF1639508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$3A971D70-654A-413A-B2AB-602568D7F72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501f3fbd705d11fcaeae25c1782faf1936afe5e3","datavalue":{"value":{"entity-type":"item","numeric-id":1061481,"id":"Q1061481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$0FE85A78-658D-4E87-8DF1-91D8E057C5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$BB24C82F-5ACC-4F9D-BFDC-0B13E7B57061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1119f2350ec127e4897f11105e20b4816e1e091a","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$381BD9A4-199D-481B-BD69-CBC7FD842810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96536a3513c764186ae19524652263bcfe7ab572","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$579DEFA1-6199-45FD-9260-BF57DA6BE109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$AF0361D0-BE31-493D-B043-F0B9FE31093C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$9C7E7D78-6154-4C78-8EC8-7D8E8B8CD92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$51F69430-84C7-4723-A414-DF1C55FCC875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b673bbc3f5418c0aa993600aa0db97882717ad","datavalue":{"value":{"entity-type":"item","numeric-id":5191532,"id":"Q5191532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391121$8B8B3C4E-35E9-4AFC-B453-9BE8CDD75D68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9774d7352aab51427f33054ff977a6a9f21137e","datavalue":{"value":"10.1016/J.TCS.2013.04.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391121$56D9EB23-D312-445B-A561-5F33D82E7DF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247693272a0eb1fd0e97fcc47d8fbc1040ac4521","datavalue":{"value":{"entity-type":"item","numeric-id":2013557,"id":"Q2013557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78fe55627bd9613ba67dc404f5f02129b102c47","datavalue":{"value":{"amount":"+0.8811214566230774","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":"Q391121$7D6429D9-43DF-493F-9565-FFC3F884308D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94fd8dd4d0730c1b5df75b2bd8ea2cde773cada","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba3df186d937c076eb0b2c65158a11b5486168e","datavalue":{"value":{"amount":"+0.8189865350723267","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":"Q391121$72417A73-4A3C-4DCC-A5D2-1F1A0BE43949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abadcd552491b54fcffb3d1142d50660c488233","datavalue":{"value":{"entity-type":"item","numeric-id":5270090,"id":"Q5270090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a70a52fb15707cf8021e4aa9a139e3deeecda42","datavalue":{"value":{"amount":"+0.812964141368866","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":"Q391121$1580D946-A9F3-4FBB-9885-4463FB406AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ee2e34356e15e2fa81ab628ba9df71231596d6","datavalue":{"value":{"entity-type":"item","numeric-id":511946,"id":"Q511946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee8a059b9482c79e8381ee04934d457173f53ad","datavalue":{"value":{"amount":"+0.800630509853363","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":"Q391121$13375BDC-80CC-4321-9EC0-FAD1A9FCC7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d88669b24130f350fe5ac6992052944c7a6481","datavalue":{"value":{"entity-type":"item","numeric-id":5327429,"id":"Q5327429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f435f3012babc53f42f320d4a5a005259a3606","datavalue":{"value":{"amount":"+0.7973410487174988","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":"Q391121$596899C8-A275-4926-86FF-DC2788A83EC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding equivalence-based properties using constraint solving","badges":[]}}}}}