{"entities":{"Q439944":{"pageid":441711,"ns":120,"title":"Item:Q439944","lastrevid":61888467,"modified":"2026-04-11T02:20:31Z","type":"item","id":"Q439944","labels":{"en":{"language":"en","value":"Verification of object-oriented programs: a transformational approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067706"}},"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":"Q439944$A3BFC240-CD93-4DAE-9EDF-86419EC1C485","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a99b92c161355daaa85267cb21cfc8b014f351e6","datavalue":{"value":{"text":"Verification of object-oriented programs: a transformational approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439944$E12381DC-5980-4613-BA5F-ACDB083CBD13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef8418127ce06344f28ad17dd9a61d680b775745","datavalue":{"value":"1245.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439944$A897C11B-6D86-4FB5-80E6-7FCD972151DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$610BD4E8-B420-4F9F-8714-3241999B30B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$B3F2C72C-9840-4C58-9E5E-8B9696D9B08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e006463586296b6604df0526236cdd07ea4c259","datavalue":{"value":{"entity-type":"item","numeric-id":439943,"id":"Q439943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$850E1E46-CF5C-4A15-ABB7-F66F576F1C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$B5DF2AE0-2709-4530-95A7-A290D0B2E89C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$6653199F-F9DF-4527-8946-076200AB0D10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q439944$1821B7E4-D5E6-4DBF-B298-BA7817C06AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439944$CCE2845D-0B69-4C45-8E01-43F17A31F528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439944$97C4D22B-CB22-4B9D-878C-E3F9E79BA21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439944$588A6E57-FDBA-4E47-9C2A-C3163FC1D72C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d916abf9b8a085bd81fdb780d6ec66425d595fc","datavalue":{"value":"6067706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439944$8BA68C12-9F29-43C1-8C46-C61DA3B585D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04385473f68e34c46a5454e871ac0b8c927fb54","datavalue":{"value":"object-oriented programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$892176D5-6CF8-4D7E-BFAF-21AC8AB6E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532e543345d535cac6103c6387bcadc4be392fbb","datavalue":{"value":"null references","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$BD3CF32B-7C19-4E26-8E8D-E75835D7A308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de5c78d46b9cdcf0ebef8b039e94b15fe93e030","datavalue":{"value":"aliasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$082ECF1F-1322-4DC4-850C-40092D6E2AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73c90f6f116dd86bc5c4449efab40b66490c894","datavalue":{"value":"inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$834FED8A-FBB6-41D9-A20A-600763706282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$D0AFC90F-D3DE-4340-ABEA-083052FF1AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dff76c8f70259ef76cbb15b4a19c41747d3acba","datavalue":{"value":"syntax-directed transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$FEE389C1-F3B4-455E-8CDA-CD4EA0CD08AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$26B72BC3-DAF9-469F-8A34-F76587A3BD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$00FCB4B3-488A-4DD2-8094-2FA8A9BF7905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a947e4de24e88e0056e978c086ab0acd757d87bc","datavalue":{"value":"strong partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$6B69E830-47CE-405A-B8FC-8CE5D92EE599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q439944$DC896D3D-5E70-4B48-AF6C-E75A48FC3D80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640e4fd88a5f30a16111d1aae60fb5a8e06d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":13964,"id":"Q13964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$DC8ACB33-D9FA-4470-B197-227E72DA9152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$B596ACDF-D3D8-46B2-81D2-5699946A6983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$16F6AD49-555D-48F3-83BF-0ADE1546E733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$EB868F62-1D96-4080-B379-56AAA4C6BA5B","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":"Q439944$0B43C8EC-16DF-4B99-BE68-7BB1D100881A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b175375a293fcad7fc575daf7f31af34d811a16","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q439944$77838D04-AF51-4743-AE57-05744505ECA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f00b7add0ba2cb9659f55d0491ed24bd769fbc78","datavalue":{"value":"W1489237563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439944$388E4B58-ACCD-4124-9228-86B968D6B82C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec3fab40cc2d2e106280bcaa4a13109b0361ac","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$0E56E3F3-642A-4C1E-A3FB-D038A49124F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd606d87fdc4f37c9fe91dcb9b7073582ba1f56","datavalue":{"value":{"entity-type":"item","numeric-id":913478,"id":"Q913478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$C9054D2D-432B-4AE3-8EED-2C6F8D7F52BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$A8B4F94B-D658-4F2D-A762-128457F795EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$E6B5BB8C-3D52-4CF9-9AB3-6B16C33C8C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a003e220a607650083ae34d9089140d42d02d540","datavalue":{"value":{"entity-type":"item","numeric-id":3546287,"id":"Q3546287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$F2284FB3-3ABF-4EA1-A252-BF86D7AFAC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c0aee96fc75c48554d283e014b50b7c23f4f22","datavalue":{"value":{"entity-type":"item","numeric-id":4536314,"id":"Q4536314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$79374F34-A5E2-4EEE-8DAA-DF8D86454AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$9E0501F7-0D07-4F64-8DA1-DEBE848B9402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$CAE5C2CF-7C87-4D0B-B571-FFB45D76F598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$D46332F9-A390-4C44-92A9-0B6955C0F09D","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":"Q439944$A6C053AE-23BF-4229-8039-AA9E14842E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$1DADD927-8138-49D0-8863-4927EF2EC2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48723867c2f345dad59b1e19d2d68a494ab1eae3","datavalue":{"value":{"entity-type":"item","numeric-id":1881666,"id":"Q1881666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$B5B7F2F6-BF4F-4246-9093-5826C950E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f41dfabae64efe2ce9272788d4b37a28ea0c863","datavalue":{"value":{"entity-type":"item","numeric-id":3883459,"id":"Q3883459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$9BDB48FD-053F-4939-9094-81E50FDF5898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$6DA03872-556E-4C5F-9385-D73764C3699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf01f6d0f15e194b18b50e7192ec30c2fbfafa5","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$A70EC2D3-234D-4574-9164-3EA26F41E1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$2520008E-9EE2-4042-A114-74C2F0B714EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$48D030C7-3E93-4A15-A72B-240E248D544E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32bffbad242579615a270378cbba850fe8dcb19","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$79BDC70E-B103-4C67-AAA9-2328B3979994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$9689F47D-81A4-4771-B1B9-EED93FABF684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110ed67720fe603992088cf207d619f609c16293","datavalue":{"value":{"entity-type":"item","numeric-id":4039815,"id":"Q4039815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$D4B948AF-0208-4A89-82FE-68D39E9C7ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$BB256D2B-1F04-4E92-8540-305C13719C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e8b6e0225c099b28efab78750ff516982ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":3948567,"id":"Q3948567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439944$F37809F7-7F88-4CD7-B6DB-DF3717EFEF44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23e3cfaea3ca6b55de22c865ad0c143d51ed4dc3","datavalue":{"value":"10.1016/J.JCSS.2011.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439944$5717C87B-188F-40D5-8968-92765F4840ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e6b5302683360907da256906c47a77a0a40ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4884666,"id":"Q4884666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c23a92fad0f6dda967d04a8f0b72b96a2769a0d","datavalue":{"value":{"amount":"+0.9027871","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":"Q439944$41281A82-802F-4D55-A0DB-0EEF92A57ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f74c66447e71f38267b8dbcff9d38adaf2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4870817,"id":"Q4870817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfa5fd2635eb70dbf833ee7f879aaf497707b01","datavalue":{"value":{"amount":"+0.90084785","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":"Q439944$C0385679-1F3C-4490-B904-035CBEE5AFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f7f5382fe661bc1a8de249b8c13105bb3f2d3d","datavalue":{"value":{"entity-type":"item","numeric-id":3339265,"id":"Q3339265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac002422569ea1e73a80cf014b3599db2dce2d9","datavalue":{"value":{"amount":"+0.8996625","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":"Q439944$816743E1-4BDB-43CD-8F65-6FF87958E75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd21a666951183fd88c38f3a196e0d9cb675a703","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ea262a5c0c2866774a703724e3b23451437857","datavalue":{"value":{"amount":"+0.89962125","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":"Q439944$B7C897E2-ADE4-48FE-87D2-8902290EF5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9944e901d18d4a672c6246be80ef02f9f3cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":2744196,"id":"Q2744196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2e3aa19dff9d86ef221d2e556821cba30139c1","datavalue":{"value":{"amount":"+0.8996212","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":"Q439944$23288108-D908-4324-A765-B17F0B7BF86A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of object-oriented programs: a transformational approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_object-oriented_programs:_a_transformational_approach"}}}}}