{"entities":{"Q1951640":{"pageid":1962382,"ns":120,"title":"Item:Q1951640","lastrevid":51732584,"modified":"2026-01-19T18:01:24Z","type":"item","id":"Q1951640","labels":{"en":{"language":"en","value":"Integration of SMT-solvers in B and Event-B development environments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171361"}},"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":"Q1951640$3135F925-F268-432B-9558-D0D28B48E891","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1a484233047cfde28a151342e4a830da7d1023b","datavalue":{"value":{"text":"Integration of SMT-solvers in B and Event-B development environments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1951640$1BB36CCC-324D-4F73-84AE-5A3F83A43494","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a76d7ff86cab5693eb4fe0c448d245090f3ab155","datavalue":{"value":"1264.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951640$0684A666-08DF-4FDF-87FE-1F634D9DEDD4","rank":"normal"}],"P16":[{"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":"Q1951640$BE344801-9743-459F-9E68-E9863C96A242","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":"Q1951640$D225AEBA-17E8-4B3E-B808-7644DD243ACF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-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":"Q1951640$9D5F1DD3-90A2-4826-8441-6766924F1F41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951640$D4A2FA5A-A0DC-41BB-94AD-87A10041868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951640$869A1549-932B-4EF0-BFC4-CC08221F4164","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e1930cf04ad13465e577312779d86618e0f137","datavalue":{"value":"6171361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951640$7270FA6D-B559-46F2-8209-A50080DC2BA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951640$79F40FB3-508C-4C3B-BCF5-3617AACF4ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951640$8F194AA5-921C-45AF-A0C4-ACEFD4A72923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d3e8a4189008247b2dd287c6e50f1ea9185c04","datavalue":{"value":"SMT-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951640$6F95F6FA-7A79-4289-87DA-5EAFD82927BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951640$711802B4-0F32-4BAE-98E2-D4A83081F371","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":"Q1951640$7BA14920-CBF0-486F-B388-FDB4E72C514C","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":"Q1951640$AE19166A-A46B-4376-A568-DB24C9D78F05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6c2d468444bbf93b7789e503ab7865c95c15d6f","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.03.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1951640$0B7FC650-D6B8-4112-B784-A65D655FD279","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fbe33cb540b6f1fb546259024ee780d79810d12","datavalue":{"value":"W2015311114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951640$8B4F67D9-AE4E-4A06-8688-95543635DEF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e1697961d3456b19cb74de659b569ecd8327dd7","datavalue":{"value":"10.1016/J.SCICO.2011.03.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951640$72D28D37-F49C-4C55-A24A-106E80FE3788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633f5109f061dfddda51f045da9e8b0fa4ee5413","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e74e3a2b2a964dc044c6d3cb41095cb3d3b85b1","datavalue":{"value":{"amount":"+0.7411617636680603","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":"Q1951640$AE01FC2A-0499-43DC-93EF-385AD6191E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8738b00b1ca33051359a5e295052e5443121b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2164216,"id":"Q2164216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f47eff67c8318badb94cd9413573c153f9258e","datavalue":{"value":{"amount":"+0.7262289524078369","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":"Q1951640$8121E05F-E983-497D-B465-0CE3BFD53BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643eb9fb141480ce9f216570d2730d531d156056","datavalue":{"value":{"entity-type":"item","numeric-id":3535369,"id":"Q3535369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a516fbb40681503686febee25baa297c04120e","datavalue":{"value":{"amount":"+0.7075226306915283","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":"Q1951640$86E51CFD-D79C-4656-A3D7-9670D053AD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed3e721e32be49936b84d94c13180b4366e8323","datavalue":{"value":{"entity-type":"item","numeric-id":2842627,"id":"Q2842627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19aad10a9cf3c7898967fd6597030aac97b1741e","datavalue":{"value":{"amount":"+0.7066704630851746","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":"Q1951640$1784C6E4-516A-45ED-ADB3-2F4130679577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7984c32cdc5c18e72e186889632eb2aed8013e06","datavalue":{"value":{"entity-type":"item","numeric-id":539230,"id":"Q539230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39cb800689762c7415899d570bd3a2227e3db33","datavalue":{"value":{"amount":"+0.7044126987457275","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":"Q1951640$02F6D645-9878-49B0-9FAC-D4C0C3659B91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1951640","badges":[]}}}}}