{"entities":{"Q465685":{"pageid":467452,"ns":120,"title":"Item:Q465685","lastrevid":62099475,"modified":"2026-04-11T03:46:04Z","type":"item","id":"Q465685","labels":{"en":{"language":"en","value":"Verification conditions for source-level imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6361002"}},"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":"Q465685$A00D4A68-B88E-47B8-A8CA-FC04B99DA870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc3f2775f538c7b7901f3b4834ffc6f59e3d9abc","datavalue":{"value":{"text":"Verification conditions for source-level imperative programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q465685$4E194D8E-A9AC-4806-B485-B3BCC1E86CF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"907a6eab7b5036570be7cb4db42bdfba18bfd4b1","datavalue":{"value":"1298.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$3E04D47F-4DA2-4DBC-AC88-CFB5CC2B17B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$897EF12A-67D2-49AA-8A82-619D409710AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4d4f10eafc7166d616956f86ea8b4213ac9879","datavalue":{"value":{"entity-type":"item","numeric-id":1960261,"id":"Q1960261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$811BC3F9-8266-4D94-9025-4C96CB2C0BDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"15d894b479f971d2f519bcfe7ead0f8c44c5f151","datavalue":{"value":{"entity-type":"item","numeric-id":394965,"id":"Q394965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$BD4315F5-14E9-43E1-8CF4-420A4A536867","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fb6627267bf5062177e95d53922b6e4db33a25","datavalue":{"value":{"time":"+2014-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q465685$97740FF9-9484-45AB-A581-BFF06295D9C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c32e14d4eb6deb19dc85ad5da5489fd94e427a","datavalue":{"value":"http://hdl.handle.net/1822/12547","type":"string"},"datatype":"url"},"type":"statement","id":"Q465685$5B88CE85-05FB-453A-9ABA-1C26F2059B40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$5BEB7DD8-2280-4DE2-A0A7-F7658DE34AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$13165101-E794-4BE8-A32B-7C5463A99821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$290CC81B-2ED7-4861-A375-027055E815F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$EC96A269-5C2A-4AFF-8B19-242510E6FCFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04ca1c23514d5a964c132b895fe375d4fa63cf7b","datavalue":{"value":"6361002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$C38D23FF-398F-4A90-A4E5-3D50C217DC63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q465685$7861689D-733E-4802-94DF-1D61FCEDC1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c466a31828be4527e6fa92732efebe73d5786789","datavalue":{"value":"verification conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q465685$31690111-87BD-4A9B-9120-16D179447047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q465685$A13386BE-56F8-43EE-8035-F0E2940DBCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a659848b6beeb7408fc636bba8858d3222f4002","datavalue":{"value":"program annotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q465685$CFAB1045-9687-4610-9D4D-3CFC428154C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q465685$4C8C468E-C1E2-4B71-9409-30C079AE8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7beade670f98ecc34df2f1ab9c90a695626f86b6","datavalue":{"value":"updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q465685$E85C6870-79D4-42AC-9485-A0E7DC176DC0","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":"Q465685$113410D6-876D-4520-8DAB-7F97D99A8970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$B8D23562-8480-4EDA-B598-0C0F3F95B3A8","rank":"normal"},{"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":"Q465685$71C2114E-F4F6-43EE-A529-09BABD9DB28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$D70198FB-096D-4529-AD55-33BC6A7356BF","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":"Q465685$E981BD23-625C-44AC-A1C8-821F1770DF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$36C734D7-6E20-40AD-B66E-083720627208","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":"Q465685$B98FCFE8-311E-4F2D-8204-D49A9883476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$670D198F-B035-4DA0-9D5F-A5496644AADB","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":"Q465685$92007827-610F-40DE-944D-F6DB637B71E8","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":"Q465685$061506A4-2DB8-43F4-BA15-8F35261FB8E5","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":"Q465685$7FBEC4DA-DA62-4E9B-A8AB-4FC01150CC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$FC869FCA-836A-44B8-BEAB-E235FE48A9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$2781A0D7-C304-44F7-B2A4-C6A9F33DD508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$50901B55-2F02-482A-80DA-C229B301CEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$4984EBB4-1471-4132-8B4F-BF389A9E1553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72973e2f3c2b37eaccccd6859e905abdf48d99e4","datavalue":{"value":{"entity-type":"item","numeric-id":17040,"id":"Q17040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$DD7A6470-0648-49A3-A245-33BEEA1371CE","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":"Q465685$EFB9377B-3FA3-45BE-95AA-4D1A88DDD8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$09DA109D-ADA7-419F-8276-18293DBFE5FC","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":"Q465685$B553B030-212A-4F4D-BB14-B50BB09CEC4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af6bc82899f1ae193e31c763fd39742c05360e3d","datavalue":{"value":"W2142667604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$80624A05-87C1-46B3-BCA4-1FE808F02341","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$BACE0493-4269-4D30-A283-6A33DA6FA29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924ff67e0ddb99ec0fa6c2e268cb0f96cfabe058","datavalue":{"value":{"entity-type":"item","numeric-id":3334054,"id":"Q3334054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$1D651695-C4D9-49E8-9FF6-B98E1285B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce4f5ae886a6add198cde1454a758dfcc3c40fe","datavalue":{"value":{"entity-type":"item","numeric-id":3932277,"id":"Q3932277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$2A220D93-514B-4A5C-BD77-099F25DD0FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$C669C911-AAE1-48FA-ADD1-036C4A5DC2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$4D1B3A54-F865-4B51-967A-75DABE4681AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$62E5709E-5EF0-4ADA-BBF1-F0C33443A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$EFA2326A-5AB4-4F12-873C-694035A74069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$BFB118C1-5C6F-4059-AB0E-421B89C77A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$E82A033F-C91F-4CDA-B8D7-C731BF8E7BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149ff32ca36e33fdae222d2078b5f41470083e61","datavalue":{"value":{"entity-type":"item","numeric-id":4721623,"id":"Q4721623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$163AEB59-9ABC-40FA-AE06-BCCA236B17F2","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":"Q465685$03C06135-A4ED-4809-A187-26D15CE9FE2B","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":"Q465685$65DB19BB-BBE0-4634-BD86-159B5529477C","rank":"normal"},{"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":"Q465685$5F31F369-7912-419F-9E92-3FC0181C8A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8914cc22efd8b4b68f3bc7e4fedf7bb2faa5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4385541,"id":"Q4385541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$E2508C24-1A6B-4521-8431-669410495FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200dc47f6a7c2c8cb3fa300f62634caec2818007","datavalue":{"value":{"entity-type":"item","numeric-id":4328792,"id":"Q4328792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$CA3BBB24-7E5B-47D5-8BDF-68152BF78F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2a40fdf6c97e1e767554f5d6615027ffcc1293","datavalue":{"value":{"entity-type":"item","numeric-id":3400636,"id":"Q3400636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$6AA3F57D-ECFF-4E5C-9516-4F2334A4193F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$C9A50B91-5054-49AC-B2A1-E16028AACC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea860dd9fc426fc0eb4d9a1c19856c12cc527145","datavalue":{"value":{"entity-type":"item","numeric-id":4778702,"id":"Q4778702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$EABCCC34-0D84-4641-AE8C-51CD320903B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$54633234-0FEF-4407-9C2E-BAA3944C548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$4A0F17D0-6FA7-4531-836F-17E544730BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$1A25B5DD-9517-4487-B688-A2CF9BF3BF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992009231a3ccf90d1f1c83b557e5dfa4622a42d","datavalue":{"value":{"entity-type":"item","numeric-id":921907,"id":"Q921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$FC568D4C-3EA4-4B72-ABA3-1FB58EC35934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bb4717d37ef69a929a6409422f87d83adbe2cf","datavalue":{"value":{"entity-type":"item","numeric-id":3638994,"id":"Q3638994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$B6E1B323-9EE4-440C-AAE8-2942D101EA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fee3a99fd03e027aac2c8350986d4fec7300642","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$E3900DE2-C6F9-44DB-AAFF-291C877B9EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c087c749fac9e62b1f0f29ee6e8e1b8e2ba181","datavalue":{"value":{"entity-type":"item","numeric-id":1062045,"id":"Q1062045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$F91637FF-DD2F-420A-95B9-F3909853238F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$CE4F6E89-4E7C-44E7-B5F0-1EE33C7AA3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$18CB26D3-0CD2-4E09-A9CA-9C349784A9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$7E5E539C-6C60-41D7-BCC8-58EE924B79EC","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":"Q465685$BE6CC3F5-00E0-4B85-BBBA-797D12B962E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d65b76dca9dd8bdaebc14729e427671c191430","datavalue":{"value":{"entity-type":"item","numeric-id":1887136,"id":"Q1887136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$4CBEE158-FB65-446B-B5FB-10E34281C524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$50786C49-C7B3-44A0-8E0E-55BC33FC4150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e98101d00e3af5ccb56426d2ed5e1057fc0130b","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$6BE0FA2D-F320-4BA6-AE05-54374FAF647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc77de3644248ac328d0c18956ad21c33a09262","datavalue":{"value":{"entity-type":"item","numeric-id":3651277,"id":"Q3651277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$FADCEFBC-E724-4133-BB81-6F36E96AB56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7764cdcf146e4a0366ed508de52f68bde7b0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$9D58ED94-D442-435F-A853-1E1F011197B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$D209C58D-D24D-4A08-AC30-76A3F5391FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f49ba8e90a8c0c9af094f27d35976bf29d0fe8e","datavalue":{"value":{"entity-type":"item","numeric-id":2382030,"id":"Q2382030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$4F4CA3C9-B7A9-4058-805E-9339A55DC38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda516360752f06de61020226a14fa7cfc2fbf83","datavalue":{"value":{"entity-type":"item","numeric-id":2864404,"id":"Q2864404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$A2A3B1D4-FF45-491D-A7B7-3CBCADA5EADD","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":"Q465685$F6726C3B-D571-40DE-870C-90792B87B6DD","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":"Q465685$C3B48974-364D-4603-95A2-F727EF132BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc11b91ca2fd7ffd0fca9c3fdb8d39ab9eb0695","datavalue":{"value":{"entity-type":"item","numeric-id":5228111,"id":"Q5228111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$3CCC6F5E-CAF0-4C52-A2C5-C1945382B599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d83e0d809c9946be35cf8127887d0a3709fa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4124273,"id":"Q4124273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$76DC8096-52A7-4799-9242-A0181645C04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$BACC6B3D-4C0D-4682-9043-7793C4414C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1199d5fd1dc8abae9906670c246109fd083e30b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914411,"id":"Q3914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$2874BEE9-F12E-43B3-90B7-7F4BE5684452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562b44e5b1efd6b73efa833f666ae0b706baadad","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$A9C965AB-0540-4B63-8C86-1DBD91775499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e151b3b56a7d3097d6814e56a677b84a6c67622b","datavalue":{"value":{"entity-type":"item","numeric-id":2764132,"id":"Q2764132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$36A93B9E-9804-485F-947F-DD771332D0EC","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":"Q465685$C06BAD8D-D5D0-4F38-B7EF-072B82ECF63B","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":"Q465685$E91139B4-9FD4-4A36-838B-0BEF32152E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465685$A51C8C78-40EB-4001-B501-5BD5AFD4EADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"684e6f5eea5f6a567709717c4e3053512b57e5d4","datavalue":{"value":"10.1016/J.COSREV.2011.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465685$03B05BD3-3DAA-4613-9B58-066BEF782410","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc57ed44d3cfbc4dc9c40efc9e497b687785670","datavalue":{"value":{"entity-type":"item","numeric-id":840060,"id":"Q840060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4e7ebed0a387a3ca6cec86bacf1093ec356fca","datavalue":{"value":{"amount":"+0.8148850798606873","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":"Q465685$A97A6497-C522-451B-892B-958E0B71ABD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ca2c09a307dad10dc9a230dcf44e6e46d1b443","datavalue":{"value":{"entity-type":"item","numeric-id":855274,"id":"Q855274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4f28d17499ab8df3eb9d003dfe2ff08028abc2","datavalue":{"value":{"amount":"+0.7914257645606995","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":"Q465685$2176B4EF-8B73-4E3E-A40E-1DA92A3B1FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42240229bec08b4214ce8d197f31f89ee84b3455","datavalue":{"value":{"entity-type":"item","numeric-id":2882984,"id":"Q2882984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0726161dbd89a6f8d7b6cf9213f2f745616e27cb","datavalue":{"value":{"amount":"+0.7732259035110474","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":"Q465685$1AAD48A8-8C03-4A4B-910D-513B7B2FA225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e54de70359c17c91d77e16505b0af0925517b0","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54631d851a9df0dac27537822d782a677941c23e","datavalue":{"value":{"amount":"+0.7600338459014893","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":"Q465685$C74F8A8A-2CAF-46C0-B094-823D0D7004B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1991339c595d4dc97bb89adbbc394122047a0c35","datavalue":{"value":{"entity-type":"item","numeric-id":2864396,"id":"Q2864396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cad511d4a00d9713bf6e4a0126401e2ae03064","datavalue":{"value":{"amount":"+0.7580525279045105","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":"Q465685$24F2915E-90F4-4130-BC5A-6D0B381788A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification conditions for source-level imperative programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_conditions_for_source-level_imperative_programs"}}}}}