{"entities":{"Q6536145":{"pageid":14147288,"ns":120,"title":"Item:Q6536145","lastrevid":103738094,"modified":"2026-06-06T08:03:31Z","type":"item","id":"Q6536145","labels":{"en":{"language":"en","value":"Probabilistic program verification via inductive synthesis of inductive invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827817"}},"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":"Q6536145$DE60EDD0-DA71-47B3-B147-8D84F752B3DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b9626c283e3619fb09ebf004984d30522dc9c24","datavalue":{"value":{"text":"Probabilistic program verification via inductive synthesis of inductive invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536145$74024358-3D88-42BC-A981-BE303DAE651E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54e89f181ca375e0a6bfe1200602f0a6c0015941","datavalue":{"value":"1547.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536145$658523C0-2EB3-4C6B-93C8-408804F15395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a49377c0ab96d46d21dbe16a5ac5da2bb6a70cda","datavalue":{"value":"10.1007/978-3-031-30820-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536145$0D164E25-A4A1-44FF-AFBD-C4F84C54C1A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16faf97721e3b402aab6b7283700f9e860657197","datavalue":{"value":{"entity-type":"item","numeric-id":832284,"id":"Q832284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$B80ACE96-B174-4437-A93F-AE14966E6D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cef1e06d83a491a0b29b5580590e2cd4ce05dbe","datavalue":{"value":{"entity-type":"item","numeric-id":832192,"id":"Q832192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$73BF41B5-2568-44A9-AC41-1D7A74D10402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$9AAA11F7-6045-4E84-AD5B-5D831EDC4E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aacfa5b5220f00c3776f4488c780f2bf11d5042a","datavalue":{"value":{"entity-type":"item","numeric-id":832285,"id":"Q832285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$3D4D3020-1A2C-4670-B84D-B7F9AAF61C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$5E37FD8D-7E49-462E-B903-373BFFD3FA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6540e32a203254877553aac5eab75fd0bcfef04","datavalue":{"value":{"entity-type":"item","numeric-id":832286,"id":"Q832286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$F2D692F3-3ED9-40AD-ACCA-632F7194D52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536145$544E1C44-09D2-495D-9165-3984EEEC1FE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536145$A3F23D1C-23D9-44FD-8533-89645AC7CC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536145$4A5AF6C0-027F-406F-8D75-6DACFE653D48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42b0150a1226a298dedaa1b008bdfe02fc4be753","datavalue":{"value":"7827817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536145$B2AE6306-F27E-46EF-B802-B209AC0DC6DB","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":"Q6536145$B8FB38D4-2E75-48D5-B14F-1C357894A601","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d91b70da5d91298109b9b6c672680f0ad5e32f3","datavalue":{"value":{"entity-type":"item","numeric-id":832245,"id":"Q832245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$55EA132B-D439-42C4-AFDF-469A4DBC383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$3C64A638-ECA4-4104-A3E9-AAFAB5FB7721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06c11f30e695c77ba80afd7e2ef85b003feb514","datavalue":{"value":{"entity-type":"item","numeric-id":2044199,"id":"Q2044199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$8B8E6798-6A57-4C9E-8E96-6A79916E2648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3508664e84c87c0b7f576cc2ff5a6100ba227a","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$A43731E9-AE9E-4841-8F66-984AEDBB31FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$0907CF18-3075-4624-82FA-2982B0FF5D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57993b759db3263493d9535a7fbb42946774ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2151242,"id":"Q2151242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$7E8287FA-F3E3-4C1F-B978-D50C5C92D29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143b488429197e9d0d401d4dea4fcf9c51dd3cf4","datavalue":{"value":{"entity-type":"item","numeric-id":6487311,"id":"Q6487311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$F1B42CCF-7456-4C7A-B49C-44E1FC1FBA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32c4b1042eaf0c16e5b861d6b9af9eb737b4c58","datavalue":{"value":{"entity-type":"item","numeric-id":4633526,"id":"Q4633526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$0093E1FB-5E59-4DB7-9A8A-D0C861EF1722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e24f505165fe62fa16da70d2b9108c5b0bcf3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$8AC2AEE1-A27F-4A4B-BC87-C163F09FCF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7693cd9fedcc4158fbc7d282a8bc3bf800eb74a0","datavalue":{"value":{"entity-type":"item","numeric-id":832288,"id":"Q832288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$02BC72E9-117C-435C-9800-D8C37C5E42D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706ff4099500ebd27df3ddbf2791f5d17d6a6c75","datavalue":{"value":{"entity-type":"item","numeric-id":2226756,"id":"Q2226756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$5215694A-6D5E-4D56-9BB3-E14364EBBF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72628fd4dd951ffa0eb8d7057a0953005764c61","datavalue":{"value":{"entity-type":"item","numeric-id":1982641,"id":"Q1982641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$3AC0547B-3C6F-420F-A7C7-58B4D8D20296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315f6cb50c8c0fe68623f757d4cd0b8f783709ae","datavalue":{"value":{"entity-type":"item","numeric-id":2272919,"id":"Q2272919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$F1A5EFDB-F63F-4399-9A41-3DE9B8A368AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$930B907E-5631-40E1-8229-33AA037F92EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9932219303365b4b5720c36b0bda5dfd72a1484","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$EFBE6703-AA6B-40A5-85EF-C6CE82E99241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101c8d50755f5137c0dd9fb7d2168ca2ee4cb47d","datavalue":{"value":{"entity-type":"item","numeric-id":6487313,"id":"Q6487313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$B2A0E932-496E-4EF8-9189-14BFA0C486D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902a3e1a1911a1aaa345079c9fed1d059125d206","datavalue":{"value":{"entity-type":"item","numeric-id":1702935,"id":"Q1702935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$4C51ABBD-6649-4DB0-BDB6-7BB3934CDB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e55765a5a86d6749f165de33cfe95142fb16e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1683928,"id":"Q1683928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$80E5F118-677B-46AB-B60A-CA3F046188C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80261a9172a3fe7b744c2e07607c3df774722d25","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$84A049B9-992A-4651-9117-E2E5CD67A81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2e0ead9566140a782d5299a4f05f329f3c47af","datavalue":{"value":{"entity-type":"item","numeric-id":5096098,"id":"Q5096098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$6D695D24-B495-40D4-A597-80F043501037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$07C26D32-7301-4D37-A85B-F0C2EFBF7903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6460747f9737a8c19f6eca6fdf44dcd8d54512a3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$FBEDF634-BE32-4F24-B72A-A9A5E7C81F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02b4e6f5ed1a2113f1a8462fe48b8cc23c4fb92","datavalue":{"value":{"entity-type":"item","numeric-id":2226755,"id":"Q2226755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$7ED483FA-A694-4FF5-9C58-881DF9265327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56726b64b5faf870d87ee51e9296f457ad2bae5b","datavalue":{"value":{"entity-type":"item","numeric-id":832295,"id":"Q832295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$4D042345-847B-4294-9AFF-02311DA47933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde1171a1e61455ff21c0984feff3bab884b2d41","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$75BA7EE8-748E-4A65-90DE-1A3E6CD289A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$DBA875A6-0BA7-45C3-BC02-E1D46074799B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242981f17c00df13a619d8bfc5459a0605635e93","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$720DF3BA-B1B2-4BF4-A2D5-63191AE514E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99078bf2c2882a3a64a95d58328e9c23ffa4afc0","datavalue":{"value":{"entity-type":"item","numeric-id":4930741,"id":"Q4930741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$A890AA72-8F50-4C60-955D-8320DD4F7E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$B7DF5ADE-1984-435C-AA51-6E72BE04C431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733e71c5d3eaf707d9030a49314c638fa6915ad6","datavalue":{"value":{"entity-type":"item","numeric-id":2233477,"id":"Q2233477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$3B14E850-4754-4009-BB28-5D0ABB271F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$D1DC65BB-32E3-472A-BBE7-D9EA4F4B135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$A11A1D3B-FAF2-4C07-B42B-7A09867B6912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d033e9f6c2e008bae337aef25622a51fec6636ac","datavalue":{"value":{"entity-type":"item","numeric-id":6041136,"id":"Q6041136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$010538A3-8DC7-4C06-A000-97C76DD16A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30748d67935a5a6ec418a87f503be44d816d585","datavalue":{"value":{"entity-type":"item","numeric-id":6109604,"id":"Q6109604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$6B02571E-3493-49CC-9FD5-BFA7E12F84B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$2A328D12-B7F0-423D-8129-6E8568A71C94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9dba8d6c9fae228fc5a7b1574c44bfce00ab3c","datavalue":{"value":{"entity-type":"item","numeric-id":6487311,"id":"Q6487311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288094cf0c7dc64ca7261c4154de1fcd96601af8","datavalue":{"value":{"amount":"+0.8009690046310425","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":"Q6536145$A9F124D4-15B3-45EE-8FFD-9A1D3325FF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987f675b01259c70e914f3d5c29a1257da0df046","datavalue":{"value":{"entity-type":"item","numeric-id":2044199,"id":"Q2044199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26f8c3c66da91d60e18fc3c620aa7132b1ee202","datavalue":{"value":{"amount":"+0.7893174290657043","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":"Q6536145$03780DCB-706E-4358-9D94-2C89085D29C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827eb7722744c23515a27fd459daf05777e60784","datavalue":{"value":{"entity-type":"item","numeric-id":4930741,"id":"Q4930741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f081a19fbd03259a7d41ae8e10bf35e5d03275","datavalue":{"value":{"amount":"+0.7863873839378357","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":"Q6536145$AE83371B-F735-4655-9D5F-B97827DC0537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d251cd095d4444218159e49f1b78d291394a098c","datavalue":{"value":{"amount":"+0.7837953567504883","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":"Q6536145$8ACB3D06-34EB-4262-8462-8D61E4867E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0abd1baeccf970dfd85ecae1ee0326a8254c50a4","datavalue":{"value":{"entity-type":"item","numeric-id":6535945,"id":"Q6535945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a88e73b74439866b6cad7182d4d6e739dacd618","datavalue":{"value":{"amount":"+0.763232409954071","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":"Q6536145$9813E7B5-8AE8-48CA-8979-BFB59F20DCC8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536145$4DC4F041-4085-448B-B722-0DB3442B71C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic program verification via inductive synthesis of inductive invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_program_verification_via_inductive_synthesis_of_inductive_invariants"}}}}}