{"entities":{"Q1663238":{"pageid":1673979,"ns":120,"title":"Item:Q1663238","lastrevid":68084964,"modified":"2026-04-12T21:20:19Z","type":"item","id":"Q1663238","labels":{"en":{"language":"en","value":"VST-Floyd: a separation logic tool to verify correctness of C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921419"}},"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":"Q1663238$4A24F660-68A4-40F0-8EE9-1E3C9077DFFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56c9464520e7eda5fcee05f44c5e5bc8adad9c29","datavalue":{"value":{"text":"VST-Floyd: a separation logic tool to verify correctness of C programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663238$2E92FEB1-675D-4F58-840A-84CC900D1451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f05f27066bcf505c3e88290afb71abfc8c261e92","datavalue":{"value":"1451.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663238$E99FBF37-EE62-4270-9D07-0921B5E29AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c893b180fb25eceb648b78e8f7d155d9dd75e1d","datavalue":{"value":{"entity-type":"item","numeric-id":484924,"id":"Q484924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$8E0F1991-65B7-48D8-B9CE-B342EF2A4CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$70F12826-D1D2-4B1B-9896-0951DE21FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"254d1a10b5ff78dd2586e2acfe07a5d775b68eba","datavalue":{"value":{"entity-type":"item","numeric-id":1663235,"id":"Q1663235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$E365EC0D-2F5E-4CD9-B7EA-628863919ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f3582e0cb4328ea85f4a06bbd45dc801861432","datavalue":{"value":{"entity-type":"item","numeric-id":1663236,"id":"Q1663236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$C20C9484-389D-46C2-B588-357728ADFF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$905380C3-397E-41D0-9136-9B4CF3534E54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$D37B77DB-7AB7-43D8-B3AE-99263ADE0E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663238$B7455600-ED72-48FC-A6E9-69906023A24A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70dc18180a641d1634ae783a9182e28d7fab2961","datavalue":{"value":"https://hdl.handle.net/1721.1/131755","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663238$98CF130F-67A7-4F10-8E84-C027C90F9B5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663238$56468D2B-F329-4D32-90FB-B64BCB37C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663238$DDFC0C7A-14E4-4E46-A108-7AA47E99DAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663238$90F143D4-4DBD-449C-9B28-E40ECAE15085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a70dad3358fc3de6b6621cb3ee23451d0c8488","datavalue":{"value":"6921419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663238$D8BCE0C2-7212-4DD7-9FE4-63A00A7688EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663238$4F3F40C6-9841-4540-B6D3-B328E9DD9082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663238$DBB5BCC5-86A2-45EF-8326-097AEA71E9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663238$5AF02EE7-4813-490D-9C3E-71A7B3780984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62798ced101241ac0d5e46110e32d69e73a0c1a","datavalue":{"value":"proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663238$5C869119-8222-4EB5-98D8-DA6A44D803CA","rank":"normal"}],"P1463":[{"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":"Q1663238$7D356EF9-D76D-4EB0-8441-7B9FEBEFF2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"615f6d79094270a915916a93370d70fe3fac1da5","datavalue":{"value":{"entity-type":"item","numeric-id":25033,"id":"Q25033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$FF92BCA2-477E-4970-A44D-88360ECF6BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$B20E261E-FA92-4BDE-AE5E-41602D32382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$31F6DEB3-FDB7-4708-A0C9-04EDE37103EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$ED94C26D-7DBD-4218-9A8F-EB5CB255B154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$8BA1B2BB-4F52-4C7A-990E-982480B86B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"605960617776ba8ed66a185753927e4ca021062f","datavalue":{"value":{"entity-type":"item","numeric-id":34522,"id":"Q34522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$20AAF272-84AA-4E79-B0DB-D4D1DD849BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a05d1abc95315b149d3510f92824f5e33b81569f","datavalue":{"value":{"entity-type":"item","numeric-id":40244,"id":"Q40244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$CC9BB782-6D95-460F-95F6-86CA6C53E430","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":"Q1663238$1B61CF90-8D9C-4FD5-AEBE-A315E59AB33E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a1bffd41ae36dcf84e84a5d5ae962f8a7313697","datavalue":{"value":"W2792757320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663238$B8F9FB13-5514-4FC9-98FD-23B8DA3796CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$FADD3E85-471E-4FA6-9764-0EC4AFECC31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e949d01eb7df08ca150012cd94d15a2478e4bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2914751,"id":"Q2914751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$53733BE8-BC2F-4D37-A67E-3C8AFF57DCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$DDB46193-0F51-4E49-BE81-6086DEDFC225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4016ef4ff2ad647f6cf615c86cc458fa1cd62602","datavalue":{"value":{"entity-type":"item","numeric-id":2946467,"id":"Q2946467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$672F2333-9802-4EBD-87D3-F923297FD205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$A6C53E69-42E8-4412-A5DB-052D33E24729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$3EEC0AEB-C455-4645-9C55-5DF34E9EDC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$53C1318E-1BFC-481E-9480-1BA344C97191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$3B0706D5-5097-4AD1-954E-C0CDC7905BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567a8dff2d0b10b014f06f4bbf8ecdbec1e09916","datavalue":{"value":{"entity-type":"item","numeric-id":2988660,"id":"Q2988660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$CED43C00-0CF6-419F-8C44-79B3E0F0BFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$5E1D14BA-2C38-4001-876B-693F8D762FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69df4c8871ee1b06727e4f90de98f0e5508859f","datavalue":{"value":{"entity-type":"item","numeric-id":5255071,"id":"Q5255071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$54CB02D1-70C3-4C75-ADB0-9ACB9C3CAC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60119e77f6da2a86f03461c766d90e354c3a8111","datavalue":{"value":{"entity-type":"item","numeric-id":2931837,"id":"Q2931837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$4F428844-6268-4B41-BF80-898E0C4C7F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$855A570B-7001-4260-B64A-1D1448DEADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61338c8ff56191aea0588b04cb2088071ef44d","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$77C5AD0D-2E23-48F3-8379-6B37675181EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3593a8185934efd3c3a0c5440c6a3f97f0809e06","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$DC882251-CB6C-4577-BE6C-6F7B9B42BB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$7F8D0CFE-3339-40C8-BFBA-2C088A8D653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80015c982f395703eb961f7d88d9ea85973eed1d","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$D772FB7C-EDFA-4912-83B8-767295EC8F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663238$C7D2BA91-3BF0-48FA-B6E6-6F594EFE4809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"370d1e817709709256d2eda1e5a7e40a0b635937","datavalue":{"value":"10.1007/S10817-018-9457-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663238$4482B3FA-D60B-4EFA-8A8B-B56DD2B2C4F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5594c5bf46853afd45fe569c6973438c14d73eb","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8066fd3cad134902f831658cec29aa5d0ca104ba","datavalue":{"value":{"amount":"+0.7970935106277466","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":"Q1663238$35F23A78-4727-48C2-B3AD-FDDE07B3F056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1fe01c572bd20c6fd6e535666865e2182291af6","datavalue":{"value":{"amount":"+0.7778728604316711","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":"Q1663238$61B42C14-36D9-4C28-9A4D-352FF0943F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6527d9c4e1db1897018a5e95fb4249116227ecb1","datavalue":{"value":{"entity-type":"item","numeric-id":5168877,"id":"Q5168877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28557bd29d8549c992bbeaaca5d10868367437e9","datavalue":{"value":{"amount":"+0.7680014967918396","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":"Q1663238$906DA472-E428-4B7C-8993-F7A4DA4AF1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fab7cccee66bb09cb113fdb52faeb00c44355ec","datavalue":{"value":{"entity-type":"item","numeric-id":2147702,"id":"Q2147702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a68c76fa0380718daec5bf69b6d4a25a8930cb0","datavalue":{"value":{"amount":"+0.766532838344574","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":"Q1663238$7A8B1453-BB99-4049-82EB-485AC0C81F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f67f8ce26b7c1ddf773f26fb0b2cef79c6bd00","datavalue":{"value":{"entity-type":"item","numeric-id":5014364,"id":"Q5014364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaefb3de3a0a52fc75620b2134c24c4755af2345","datavalue":{"value":{"amount":"+0.7622378468513489","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":"Q1663238$3A4F0CD3-C39E-4BD6-9100-72316F81F325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VST-Floyd: a separation logic tool to verify correctness of C programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/VST-Floyd:_a_separation_logic_tool_to_verify_correctness_of_C_programs"}}}}}