{"entities":{"Q436423":{"pageid":438190,"ns":120,"title":"Item:Q436423","lastrevid":61815261,"modified":"2026-04-11T01:51:36Z","type":"item","id":"Q436423","labels":{"en":{"language":"en","value":"SAT-solving in CSP trace refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059161"}},"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":"Q436423$81F7713C-24C9-4192-B3CE-A0B9B12D509F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c0804079bad8e16224a1d1db77c53e64b0cafe","datavalue":{"value":{"text":"SAT-solving in CSP trace refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436423$3A9B9905-C675-4145-9148-3A219B59CBCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddc6e97a1f18d098507a74d5cb3cb1804ab2ad3b","datavalue":{"value":"1243.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436423$4711B1D4-7EC0-4CA1-87C0-E254D6862BAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538e0f91d971185939a34f1131991a66452c8b67","datavalue":{"value":{"entity-type":"item","numeric-id":436421,"id":"Q436421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$66E18D31-1908-48FD-95D7-41A5724BBF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$BFFD7BB9-4FF3-48FC-A2FD-302B8DFD6B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$125E0DE6-468D-4C41-946F-6E19774E0F6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$1B8737AC-D277-4EEC-8C1E-143B171E3D14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436423$B37E2E5B-9B0D-4816-BD07-56A43895F133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436423$545BEFF0-4FF0-4D65-BB94-2352AFE4B4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436423$46D2453B-C5BB-4D98-B6F1-BC371F7BA114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436423$B91F13D3-D6A4-4853-859F-8C9591CD6BDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeecf1f7016a959fa874836e59ee276637811c0e","datavalue":{"value":"6059161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436423$778A8731-5994-4071-A4D8-74AE1DB08AD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$B0609082-C1C7-401D-A73D-DA6F4F5235CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560176b9f90870250c4b94f96ff2cf2f7e622c22","datavalue":{"value":"FDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$AE148EAE-055D-445F-9336-2B628A553EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$4B7210A2-AD83-4FCB-95E7-0C77D79ABF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$68F8B21B-3BE8-4853-8E68-40A3FEED7BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f9a2adc04516f7806472d1c6b5b07524a09c31","datavalue":{"value":"SAT-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$351653DE-61C5-487E-839F-1F7C5A20C145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$752ED07E-F515-4BC9-AAA5-EA021C3DC658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eaeceddf514f02fd773f9b6838af990089d3011","datavalue":{"value":"\\(k\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$D6709285-41EE-474E-89A7-54918903C0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q436423$4D9CA109-FA3D-4A61-9C81-863B43EDB235","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$1C20833A-83D2-4D2F-BC60-45B8B7CC2C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$2BBD6E8C-2F5B-468E-A472-AB6F212CFEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$F2486CE1-8C6C-4E63-BACD-A2297DBB1135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$30D276F8-82AA-47D6-9BE3-3B84B7910F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$8C566D1C-6A67-4655-8667-B63A0346D364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$64C7EDA4-EE6C-4128-AE62-EBAD4ABC636D","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":"Q436423$97D278D1-1115-4873-B214-F262F139449D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e560bbfbc17703c4d1526e65750c95204e42d9e","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.07.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q436423$98FB5799-9350-49AF-9E3B-17C5E18D1DBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77bac7c73ef9b1a08be3568be31458426594bcc5","datavalue":{"value":"W2104703296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436423$E1859BE8-FAF5-44AF-8A0E-C9672A5C031D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$0234F3D8-9C0B-4183-B4A1-1ADE85DB5483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$AE7AA5B2-7664-457F-B410-6E278FEB110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$AB2C3F80-BB53-43DC-BFB4-636E37716B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$943AC8ED-912E-4627-AFDB-CAC43E46D9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$33AF15C8-745D-43BD-A288-601762FA0B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696f369b4c0894259ebfe727f1a9326063f199f5","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$99244948-BA35-48C2-9118-D139323044CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$5AE5299B-307A-4F91-BB62-8C4BCB61671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$A882EA83-75EA-40B2-AAEA-8D3AE902A55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89164bc37116405f934d4829da8e169b708037d9","datavalue":{"value":{"entity-type":"item","numeric-id":2845499,"id":"Q2845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$896AD9A6-776B-4C90-BB69-8C5071A4A894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$33667AA2-A45F-415F-AABC-050CAD4B695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$C5603854-47DB-4B18-8D9E-62C00C4BA449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$07FE8210-B38F-4D32-828A-269FB258B24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ba6b1e7f30577cf881115e3dd09f4c7e91a0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5709374,"id":"Q5709374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$BAE88A0B-A0F2-4B1C-9262-A990860E8DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$8611B10E-F2B3-43F0-9355-43CA44DFDEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$6AAC5F0C-98E2-4084-93E2-19A5EE617FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$CF5650FF-DA6B-4A7A-ADB8-730D444A8E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc3f4ed9f8d6fbed1e4020250b6643a9a22741d","datavalue":{"value":{"entity-type":"item","numeric-id":4276178,"id":"Q4276178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$437B0831-8CBC-448F-B0AE-9558555B271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decff93033d498c13d632f961d6ae90a0e5b00a8","datavalue":{"value":{"entity-type":"item","numeric-id":2520703,"id":"Q2520703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$689F6E26-682B-4EB0-95CF-D1733CE62DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$5A0E8103-A536-48D8-8531-3FC79308538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b3ec2ebad61e0cf6b1df8ac8c200c146db0252","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436423$C50DC49E-01FC-43D1-81C9-5687BF23E3CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a74154042a387ed6e3ee07ea4945e2f0af5b712f","datavalue":{"value":"10.1016/J.SCICO.2011.07.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436423$024A85D6-727E-4DCF-9B85-7B29A60FA32E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e38522ff8cdf76d7719b70356af9990f09a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":5178982,"id":"Q5178982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5d292adb8684350986d57b97365bc6cffddda4","datavalue":{"value":{"amount":"+0.8855289","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":"Q436423$8FE437D8-783A-4D05-A61F-A2A43868B006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cece314386152413c8b8269c77d71e6038316be","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecb5f05969217601768b988b7d1679398ffbe19","datavalue":{"value":{"amount":"+0.8832213","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":"Q436423$627EBA20-C5DC-4A97-BABD-560DB2AB7EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4315323875c6003c6af0815b7ca79ecfa743b0","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db5e49a7eb932f4bd18826b8dcb7dc4191c7801","datavalue":{"value":{"amount":"+0.88235736","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":"Q436423$79471F17-C6E6-4E33-A4CF-EFD2C1A5ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f93ae55d8524360a2c79a34c241cddd6e8e982b","datavalue":{"value":{"entity-type":"item","numeric-id":2576581,"id":"Q2576581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf4403153dd6231014d0d81188489a9c4516d8f","datavalue":{"value":{"amount":"+0.88146937","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":"Q436423$438F093C-8F3C-4486-A756-90035BA27143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bbfd54b1a8265b5163400539449c0671db6607","datavalue":{"value":{"entity-type":"item","numeric-id":2871851,"id":"Q2871851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ad93e1cf290cd614a58d9a831ad34bb248116b","datavalue":{"value":{"amount":"+0.8814157","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":"Q436423$BC80F611-D593-4B0A-8DB0-B3FEB715FAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23361c5083896a3b3f2e008692dfe9403693050d","datavalue":{"value":{"entity-type":"item","numeric-id":5053064,"id":"Q5053064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb28d6f0676d3f065cb8bc09669f5ea40ee52aaf","datavalue":{"value":{"amount":"+0.8791946","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":"Q436423$C77A4A9F-D925-407B-9492-4E428D3EFFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe95bc0f012b79b7d4d318cbb3de7594cf61b0","datavalue":{"value":{"entity-type":"item","numeric-id":2342585,"id":"Q2342585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854b1eeaed2962a66f340c9ccd68173d2a5d9a96","datavalue":{"value":{"amount":"+0.8764461","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":"Q436423$1C656C45-CECF-4CB0-AB7B-8A7028E65171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f745d637a7d8df1a6b719aa4e7fdcf72a26317","datavalue":{"value":{"entity-type":"item","numeric-id":438582,"id":"Q438582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d443a8be5e77f8856798b5d5d97cbdb74a9f97c","datavalue":{"value":{"amount":"+0.8761496","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":"Q436423$101FDA39-E5ED-4B06-B141-8F13965395DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-solving in CSP trace refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-solving_in_CSP_trace_refinement"}}}}}