{"entities":{"Q436376":{"pageid":438143,"ns":120,"title":"Item:Q436376","lastrevid":61814838,"modified":"2026-04-11T01:51:28Z","type":"item","id":"Q436376","labels":{"en":{"language":"en","value":"Combining decision procedures by (model-)equality propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059139"}},"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":"Q436376$A453817E-5EA1-4AAD-8A03-8682BDE0A7C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9fdb78dfeffeea75da2d7141e41068d4f60c4f9","datavalue":{"value":{"text":"Combining decision procedures by (model-)equality propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436376$2B2F161B-F5D1-4878-83AF-F43375E637B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0533d9a6b9c34bb032c4d8c8920d5f51cc1838a","datavalue":{"value":"1243.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436376$9EE97EC6-4314-432D-B7DB-9E756B4F94BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf85b9be735e044f7c9811896600938550301bd","datavalue":{"value":{"entity-type":"item","numeric-id":436373,"id":"Q436373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$B833D031-16E4-45BC-ABAF-D730EEB60C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bafd0a242f5618ddbbc7ea213aa39f63850788f","datavalue":{"value":{"entity-type":"item","numeric-id":436374,"id":"Q436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$5525412E-3286-44C1-908D-473F310A0E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$7FF4F626-F591-43DF-8EBA-5512D5DDE9DE","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":"Q436376$6045E4C7-F10B-4738-AB62-2BDC2D831536","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":"Q436376$759DB48E-D8C1-4AD1-8674-F8166C26C4EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436376$3139CCB9-2251-45F5-807A-9C9801AE59FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436376$2A7B3508-4084-4C94-8FF7-CA0BE166BFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436376$63066969-CF80-49AE-B267-A466C003EA98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce424b33a3ca8b99c060d3053d239de8f3306106","datavalue":{"value":"6059139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436376$6E37513D-7B54-4FFA-8692-025BB421D2DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436376$D0D41425-A5B8-43C1-9BFD-8075ECEA8783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q436376$7C185A48-89C8-4F0C-B11C-ACB9437F62B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q436376$297910C1-4CAF-407D-A5F5-B5556AD0508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54cf8fa123c6bbc47c2a8bf587de44aa13d8672c","datavalue":{"value":"combination of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q436376$E9EDD6A2-B350-48AE-8881-DD8857D06713","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$0DA60D0B-F5C1-4641-AE6F-2ED2F5B49FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$1DB43AB3-2BEF-4BFB-8768-04D8F82627D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$1B9AD102-82C9-4D7F-89DB-85F43C15E296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5df14ee9c6f65085bdee53a419634b2235aa5c43","datavalue":{"value":{"entity-type":"item","numeric-id":19326,"id":"Q19326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$F367B818-9A54-468E-BE07-41B110E3039D","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":"Q436376$C1F30559-BD5D-4255-BD33-CE774819078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$D121B201-061A-471E-B8C1-E474101F3F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$829CB9EF-E48F-4D40-B0B2-6E6D4B07BF9F","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":"Q436376$36D14434-5231-4725-A770-4B3AC6049EB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e61b1ee91c454b45a97d02713729e418dcfbda84","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q436376$4B8B7090-CBB2-41F9-BC89-F41967B52DD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1fbdbff777f2e33e0dab110677f7a5b2d082ae5","datavalue":{"value":"W2043758997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436376$5A7457FA-124F-42FF-8247-FE0033F959B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$438C0763-A1B4-40D5-82A0-4329309379DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$4486658D-2A6D-4374-89E2-FD8599D452DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d43b2a1f5b23f5e07e09c2947ef1c6f323b764","datavalue":{"value":{"entity-type":"item","numeric-id":2751356,"id":"Q2751356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$088E21BF-ADD1-47AD-B9FF-1B97C883DD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$73E4D24B-0FFF-413F-ADE9-AF58E2DEE758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c10bd59885420c4841d56d098f27b4158c1d680","datavalue":{"value":{"entity-type":"item","numeric-id":4737130,"id":"Q4737130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$9934A377-9091-4186-864F-C087230A84A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d9376dcde2cb1f6f6bea74a81bb12540e39719","datavalue":{"value":{"entity-type":"item","numeric-id":2642981,"id":"Q2642981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$F0E03113-1951-46CE-AF02-068620BF37E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc40c812d63ac65a43f7097e08e541074138fd0b","datavalue":{"value":{"entity-type":"item","numeric-id":5387917,"id":"Q5387917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$D7A7AAFF-3785-4F9E-8C7F-A80C6167162E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320183e2d036fbd7a562dc4a21fca93431f1a4b5","datavalue":{"value":{"entity-type":"item","numeric-id":2848452,"id":"Q2848452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$CBEF0A71-0EEC-4AC2-A6A6-2195B6BA570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$2A4D9CBD-9EEE-4982-8125-99E7D8132D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64a9ce1df6d32a732886ec13ebc30e0107b2809","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$6DABDA38-7CB9-4053-840D-7581458F5B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f503172904c585c9cab97f177e8466445e983e1","datavalue":{"value":{"entity-type":"item","numeric-id":5179357,"id":"Q5179357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$BE14D814-3256-4240-A5D2-F8EAF22D1DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7501969eeee7966cc6205cf48bfb4523e78ba07","datavalue":{"value":{"entity-type":"item","numeric-id":2848056,"id":"Q2848056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$9D4AAE95-C56C-4959-BBB5-ED33EB819B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$F00EE8B2-1C11-479A-B19D-5A526565D45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$BA97DBF1-535B-455D-983D-359D47A758A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$A8B3FC5D-9368-486F-97BF-0BA8D38F7AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d958ea9e599a4f2fa984a0bf3da789ba003768","datavalue":{"value":{"entity-type":"item","numeric-id":2848687,"id":"Q2848687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$E2FCA008-BDCF-4996-B549-99447ABBF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$8A5E97FD-BAD8-4A1D-BC84-E22A9CA4F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$DA2413EA-7729-4A35-81D8-F9360DE44430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$4E193AA0-7295-4310-AF67-F104BC7025B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$D37327BE-72ED-47A2-AFE6-0DCC34B322C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$B0F22BBA-A287-4C31-BEDB-1851BE8FEB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$AC4BCDF9-6618-4257-BD99-94B3C2CC7D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee2617cef1cf0c9ff3231738b768f1c996bcadd","datavalue":{"value":{"entity-type":"item","numeric-id":1141138,"id":"Q1141138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$0FE4E7C5-1AB7-4582-925D-150DD3908A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$5790EFDC-A45C-4A37-ACA6-27F83F001751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$78C68E08-2EF8-4484-95AE-51A5A48BFF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436376$67872CF7-36D9-483B-92BD-08872913EF5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e86ff18e334489a20d957b69910c5b6a8d6b5bf","datavalue":{"value":"10.1016/J.SCICO.2010.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436376$26C17585-C545-4DB6-9BC6-70AF8FBB7F93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a670809610521a970d1b9c4190ab763d68a9f3","datavalue":{"value":{"entity-type":"item","numeric-id":5179357,"id":"Q5179357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0888b10ecd07dc5cdb1a649da314e9f09d325370","datavalue":{"value":{"amount":"+0.94686359167099","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":"Q436376$DE399067-7322-4B91-A29A-AFC1339F64BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a7fff6e2cd8fdd64c88798164821b0c843360","datavalue":{"value":{"entity-type":"item","numeric-id":5716575,"id":"Q5716575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b07a131cdeeaaff32fe2f9592aded60d34ca546","datavalue":{"value":{"amount":"+0.8092685341835022","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":"Q436376$6F201CC1-F4CB-44F7-899F-B5DA11556539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a27d644bc37c8513cc96e390f432ba6042278a","datavalue":{"value":{"entity-type":"item","numeric-id":2432765,"id":"Q2432765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d79a00f4891c4f5e32df035669b99546e4ef467","datavalue":{"value":{"amount":"+0.8030710220336914","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":"Q436376$AC83C2BE-EC94-40BF-BAA0-19B05AA5D366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454da0640ef8bf5884cd6e6c7b7dedebe8ad02eb","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8dc6c4825dfd498dd384797e203571b5b15338","datavalue":{"value":{"amount":"+0.8014751672744751","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":"Q436376$D214CF82-898F-4DC9-AEAF-71119B13C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bee125ea54a8e54d6d488c54ec9675e6f5fb42","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96eb4d7a6f54e997300b8cf96c1eccbc8469074","datavalue":{"value":{"amount":"+0.7995378971099854","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":"Q436376$523D5342-666D-4A01-B47A-7DAC62CB71EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining decision procedures by (model-)equality propagation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_decision_procedures_by_(model-)equality_propagation"}}}}}