{"entities":{"Q928673":{"pageid":930521,"ns":120,"title":"Item:Q928673","lastrevid":65442888,"modified":"2026-04-12T02:38:02Z","type":"item","id":"Q928673","labels":{"en":{"language":"en","value":"A mechanical analysis of program verification strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5287725"}},"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":"Q928673$90D9E3A8-046E-4B4A-8563-EE6EC46431EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8487c01fd7fbd177122e290b5cd22cee5e7f5c7e","datavalue":{"value":{"text":"A mechanical analysis of program verification strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q928673$FECE46B0-85E6-48BD-ADA7-ABBD13746DAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d771f80d320e13784ef5288b78b1626fadc905","datavalue":{"value":"1140.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928673$3715E727-8C5C-400A-8AD8-97BD6CEA02ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$D9BF0A92-DE83-4C48-A03E-AB724AB03EBF","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":"Q928673$39E19806-2B66-4660-85CC-B39027C45320","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f1c0b93a352a714c61ccd46766a52600d36f8c2","datavalue":{"value":{"time":"+2008-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q928673$67CC055F-B01C-4B22-A654-DE630E8CADBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928673$A57ADDE7-AD17-4573-A08D-737C9E30378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928673$1205EB15-766C-4DE8-8942-2792124C1C41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71f2db63fe6efeb38288c45139a969293979525f","datavalue":{"value":"5287725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928673$70FFF8B2-8A07-4811-8C7E-F992139EFC62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4b99dec5fa03d5e5e25023c32b0a00ddc2e4dc","datavalue":{"value":"Inductive assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q928673$5CD595BC-55C5-4A5B-965D-921C41549955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f683f14d1ba16e907237dd370218cbe1253ab310","datavalue":{"value":"Invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q928673$7EF06458-C43C-412B-A1CA-136C7F18DF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b69466cd5725489aee666181d06755a9d5b9a7","datavalue":{"value":"Partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q928673$1E814A01-23E0-452F-BEF8-3F977CE7C370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q928673$6E6D5AFC-EF3E-4A03-913A-5076D6CA218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a6d8522b236334ceeb7662ee86521ffc962eb2e","datavalue":{"value":"Total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q928673$D413497A-15BC-4635-982D-4230980516E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$FB311989-0E22-47C8-9545-CFD896F4DEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$BE53B69D-F6C1-44B8-A591-18FB11CF76E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$4A5166A7-1EDD-4746-9572-97398E5BE98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$4EC1203B-BBE2-4EF0-87F0-E3F1A73FABD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$ACF04641-9821-44F7-81F3-0744447800BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$854ABA71-4045-4540-9008-2686D11AFB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$42B8A4A8-F9D1-4398-8947-CE44222A3D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$0CDDAE4B-3767-4870-8054-9B6AF4FEF112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$B2B38C06-594D-4D77-827A-A27717B17121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06784b521f7335b906c8b43dc84006cfbf66f9d2","datavalue":{"value":{"entity-type":"item","numeric-id":40435,"id":"Q40435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$00F493C4-2739-4921-8CB0-7D7BC3D2D14D","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":"Q928673$E9209B09-E5D8-4236-BE49-B1AAF1F49E30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c427bbe0a727fed51c91af347b959662510657","datavalue":{"value":"https://doi.org/10.1007/s10817-008-9098-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q928673$E843E518-DB49-4122-A10F-AFDF1C6EB079","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"766814118f7f1c02fe8e1ae59b859c8071337335","datavalue":{"value":"W2005344510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928673$F7EE8389-8D1B-4AD8-9CEC-9ADFF6F45457","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$F96DA29C-A620-4AF3-9FDB-F20DF8A59C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$2839E0F0-1DCE-40AC-BD70-0FB94AB65B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283b457c1aa928df8cba388628638010a8a9e043","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$4E0B9135-880A-49FD-833C-EB7FC6586C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$31DE21A9-D8C8-41F4-BE6F-591EF6A3669D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaa6dbfde9d5a3c49e7fbe88f1dcc36cc22e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5765116,"id":"Q5765116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$515E0674-1D9B-4B69-96F6-DE162723EFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$123ABA11-19B3-4972-A864-25F6D3FD0417","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":"Q928673$9C1EE08C-DB43-4576-B954-B7E21D1121B2","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":"Q928673$C6BC2ED9-2D20-40DC-BC33-F5EB299D2A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebbd90dc35f82e3f292334feb75ba95f603b907d","datavalue":{"value":{"entity-type":"item","numeric-id":4181248,"id":"Q4181248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$AE4D3AED-3ED4-404F-9202-31AD492C4316","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":"Q928673$63C5ABC8-8082-41E0-8D33-4BCC0A098BD7","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":"Q928673$FCF4C3A6-57F9-4282-9DBF-10FAC13C0105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb360bab136fc213fff4b32587447303de3575a","datavalue":{"value":{"entity-type":"item","numeric-id":5428888,"id":"Q5428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$D3C5AF2C-8946-4BCD-A7B9-5B97F191FB9B","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":"Q928673$FE3A2466-C4C1-4EE8-B118-44B9B85BD33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$1D3DDA69-B72B-4B27-BE1A-EF56E44CA905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2e9956e014ae28c735471b8fe8bc11ac76e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5670164,"id":"Q5670164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$DBD65106-B1CA-4AE5-BB30-3697E2784111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d7f1190f279c50b64f59e003fedc9f8646b8bd","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$7D9B2423-F4D7-47D2-A653-EDBB9F05BC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412697b27bc0e191017d5a3e9cbfafa45de8e608","datavalue":{"value":{"entity-type":"item","numeric-id":2566223,"id":"Q2566223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$2C8F6906-F3EA-445D-BEDA-619211F9D601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9bcd41a0a655569809a1c0f240490166298c56","datavalue":{"value":{"entity-type":"item","numeric-id":4772698,"id":"Q4772698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$87B7076B-B1FF-4953-921C-92EB36321936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$9E6451BD-1C4F-42CB-B4AA-DB28EF6753D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7396a7d7693b676318207b9fce821ae1fe747e9","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$84239505-51ED-433D-8D83-D3060A3138B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01cc0603799551d88cdcf60c08da4c96b4eb1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5900722,"id":"Q5900722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$26E3C936-9018-43BD-AC2D-C30BECEBD54B","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":"Q928673$9AE2CB9B-B1B6-4E1A-9C9C-9D9DCD6E8135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447080a77c9018e473151c503e22f493141efe68","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$2F4ECE50-98C5-4A21-8E8B-E7B617CB475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a692c084bea02080372f65e7b3d4b4fadbd2e807","datavalue":{"value":{"entity-type":"item","numeric-id":5897074,"id":"Q5897074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$54182D99-5325-4E32-B439-5F9D70363C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d7e31b970d781a2b6aeea61e39c9df281171b8","datavalue":{"value":{"entity-type":"item","numeric-id":4131610,"id":"Q4131610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$00ADDF93-D915-4E57-877A-E08E02F67F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d46dcc76189e927a9b701aff09df28b0631368a","datavalue":{"value":{"entity-type":"item","numeric-id":5477661,"id":"Q5477661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$07D8B23B-149D-4C3E-90D4-8F0539E04BA3","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":"Q928673$DD1002F0-E877-49D3-9DB7-292A380BD141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cc27f5318b33f39308fc4a2fbee53a2ae6fb88","datavalue":{"value":{"entity-type":"item","numeric-id":5312915,"id":"Q5312915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$D56CD793-49C8-433F-AFC0-A4A918540D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca3010d203b6bfbb9b241f39c49c210f8a2b5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5492967,"id":"Q5492967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$AF3AEFF2-80D5-49B4-88E7-397F89BE1E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$C75C1917-77B2-4E73-A512-21372C31D7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86093d7e1c02b7c98302c473d6ee68fb637768ce","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$739F9A79-ED7D-46C7-9F19-0735371C58D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76775ab223f86168491e2d8a27a2b24dc5a49066","datavalue":{"value":{"entity-type":"item","numeric-id":1240548,"id":"Q1240548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$1830FD89-2C56-4E62-8899-943B245062F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211eb911509defcf3cc735956cc564f8ce863a20","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$98EF69D7-261F-431E-AB80-7C04BADCADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$731F68AC-6E3F-4A73-95AB-EBC0A6E808FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba4064bdf078febee6c0f0306d2549b942863d8","datavalue":{"value":{"entity-type":"item","numeric-id":4371519,"id":"Q4371519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928673$4C1EF8C8-E1C2-47C5-B03D-E50432DCE562","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"902223ee127d014169d5228a9d072311a25e40f1","datavalue":{"value":"10.1007/S10817-008-9098-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928673$87F04784-B0D1-461F-9DDE-939FC8197CF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae0de31a9f4b93385f1dbc40bd56e6601dc1440","datavalue":{"value":{"entity-type":"item","numeric-id":2864527,"id":"Q2864527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f203c408fd8f75bf73e9cf6527bb737d58e2d5ed","datavalue":{"value":{"amount":"+0.9196247","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":"Q928673$615396B8-D4A8-44DE-A01F-C80F3C79D458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706132c4f847fe146974b37aff86c988ea9b6fab","datavalue":{"value":{"entity-type":"item","numeric-id":5458792,"id":"Q5458792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc91d7f3c1e4bfa35542d266783d32d8165c3d6","datavalue":{"value":{"amount":"+0.90029454","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":"Q928673$CD5C37DD-BC5D-4461-9991-D6FCA98A41A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6482a56218c5de5d610a44da47b82897ddae1792","datavalue":{"value":{"entity-type":"item","numeric-id":2266579,"id":"Q2266579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cde6b6b13a124e53e38664582374dd63910baa9","datavalue":{"value":{"amount":"+0.8979981","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":"Q928673$A17DB4F8-40FE-476F-9883-3F5C96C00F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe603bd2816a7377c708a6d590b5e092b2b23d8","datavalue":{"value":{"entity-type":"item","numeric-id":2963953,"id":"Q2963953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54de05608597f3934dcb548b19e3d8ee3e3d1cc","datavalue":{"value":{"amount":"+0.89679116","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":"Q928673$EF23A648-8B3E-47CD-AFD4-696E9BD16729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe575bdeebfc69be36c9ab5b79768e2cdcba9f44","datavalue":{"value":{"entity-type":"item","numeric-id":2013885,"id":"Q2013885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3585d3f744d3a0ff800443baf9d14a401053e4f","datavalue":{"value":{"amount":"+0.89243","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":"Q928673$6454EE5E-0658-4E5F-B3EA-71AD049124CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanical analysis of program verification strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanical_analysis_of_program_verification_strategies"}}}}}