{"entities":{"Q832288":{"pageid":834136,"ns":120,"title":"Item:Q832288","lastrevid":64675242,"modified":"2026-04-11T21:28:35Z","type":"item","id":"Q832288","labels":{"en":{"language":"en","value":"Latticed \\(k\\)-induction with an application to probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498196"}},"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":"Q832288$24138FF0-D940-4D0D-A34A-F5E8F6607563","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a26278bf1c2d0bb6673f8863a1f04722bfa7479","datavalue":{"value":{"text":"Latticed \\(k\\)-induction with an application to probabilistic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832288$2AE9FC15-88A5-4640-8CD1-3751B519DEB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5811d99ef84e4118d2c51237b015a01c44f0b72","datavalue":{"value":"1493.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832288$76EBF55D-FD15-454C-9AF4-C652DC88CB35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68f858b8cc5e9aa44a93e1f695b8d392d02718f3","datavalue":{"value":"10.1007/978-3-030-81688-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832288$7B6E81D7-77A6-48DF-B6FE-6CEE21104D74","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":"Q832288$500D6D75-F1C6-42AE-9B0F-C703EB29D644","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":"Q832288$622F72BB-78A6-434D-B18C-8FCE54CE8A4E","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":"Q832288$04096EF9-E372-4D36-B420-CEC34CF98707","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":"Q832288$35574650-8545-49DA-9184-28D71E0E5E66","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":"Q832288$D565BA41-9AB9-490E-96C8-D4B705561A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0940d81d2cd32bffff676efb18124fee8d321cf6","datavalue":{"value":{"entity-type":"item","numeric-id":832287,"id":"Q832287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$EE00AC9A-FE8C-4C79-A618-032ECA0787E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832288$02466567-6D25-4552-8304-5E4DED98D4A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"065120c70de5adcb489fa3850900478138c94aaa","datavalue":{"value":"https://arxiv.org/abs/2105.14100","type":"string"},"datatype":"url"},"type":"statement","id":"Q832288$C3FE36B5-0DFD-4B16-ADAC-1B872AEA7904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832288$CEFFC461-254E-4BA7-8582-26B91BE02FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832288$00942A3E-4172-48E8-ACC8-406B879F2383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832288$B0D1E080-7599-4AC0-80B3-8B4CE31E4F13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac76d4c6d52f5bf1494f3dc480124ee29f10f6af","datavalue":{"value":"7498196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832288$377AA94D-82EB-48A3-9F75-201F873F8507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eaeceddf514f02fd773f9b6838af990089d3011","datavalue":{"value":"\\(k\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q832288$096A0A36-C2AB-4FD6-B369-50AC871093AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q832288$6F54CFDE-8E06-4575-88F8-F3B24B6527BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cbe99b06a56a772e67531db7b5d75f216e8188a","datavalue":{"value":"fixed-point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q832288$9DA11466-D305-438E-B250-2D1331536411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q832288$E0A6BB88-F707-4AEA-AE4C-2D525B04EE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q832288$6F7B1BAB-9AE3-4768-89BB-0399D9240FD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$AA279B29-1F17-4FA3-8C28-10BC06C89C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"242a33923700f12bb656a35f07d4a62a930ca352","datavalue":{"value":{"entity-type":"item","numeric-id":55527,"id":"Q55527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$7FB904A3-17F5-49FF-9F02-D88DA8D4B58B","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":"Q832288$6527D81F-13E3-4AAD-9ADB-62E93717E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47940455efa095731183157ace3eea6702b58a42","datavalue":{"value":{"entity-type":"item","numeric-id":31667,"id":"Q31667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$4E4E49CA-862B-42B0-8E03-54E2095F4DCF","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":"Q832288$4B4EE125-EF03-4DFC-BD1C-0A6C59F053A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0985a21efcd39fabe81060d89bb56611dde626b","datavalue":{"value":"W3186609013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832288$AAF489E6-8067-4DF0-A2F4-29691D6A3959","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$BA3A3468-C1E7-4FD2-89E8-FE997B4B06F0","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":"Q832288$C318B602-4884-4C42-9FAA-4AA902033A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3f74fdc2c04ff6adbcfdf9878c4749c85eb020","datavalue":{"value":{"entity-type":"item","numeric-id":2233395,"id":"Q2233395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$674F35A1-C6F1-49CD-ACAF-6142A5A4C2F1","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":"Q832288$7D0ED304-91CD-4139-9F05-9E1AE814FE03","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":"Q832288$531147C0-E259-4696-AAA1-D5B4E2DF576E","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":"Q832288$23B412EF-5EB8-4FFC-967C-50A2094E8512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$C42C37F4-CC93-4E09-8BA4-8B28C4F834A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$4DA54397-DD75-4288-A521-AA386B126590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f3f01218a26e5f8faea40de8a76585314f931","datavalue":{"value":{"entity-type":"item","numeric-id":2946618,"id":"Q2946618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$4BAA9FC4-8E07-481C-9BC1-9C83139AF833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$91EA1D67-2E49-40F9-94C9-0BA9A4235BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$853E81ED-FDB9-44E1-B695-4120A3435D59","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":"Q832288$BA7AE0E7-6AD9-4483-B476-F32F5970ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb432ba22b37fccf5faf08bce43da173c0f9c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":763238,"id":"Q763238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$B249C0A2-BBB6-42EC-8F26-6059FBE94DAF","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":"Q832288$C1C0C883-4885-4D7A-B7E1-ED8806F294DA","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":"Q832288$F2B92D4C-7D32-413E-9D22-40DE3F09993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc22eda20e13ae4c1f389d048db76ed6af41ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2849848,"id":"Q2849848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$C035A3F2-07DE-4991-B3C1-42AF3AB37DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51afde24061f23b67c1b917ba3e6508f604ef5e6","datavalue":{"value":{"entity-type":"item","numeric-id":1990501,"id":"Q1990501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$5BF4C051-4F58-4F33-BAA8-63AA4EA8FCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$15D13440-D0AA-45D6-A196-79E79A68FC5A","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":"Q832288$38DE3218-1D2E-40CB-8498-5EAE9CB6E0C1","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":"Q832288$2F3A98A7-2FEC-4B03-BBDD-A2C2D8C46DF4","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":"Q832288$31398DD3-F348-4D6D-9163-E6450D59B307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$7CBA3545-5884-4779-B828-9DF0A3C7C19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5a4d6dd5f0e7356ed8d1127addf4b8632b1c04","datavalue":{"value":{"entity-type":"item","numeric-id":6194955,"id":"Q6194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$CA939328-10E7-41CA-B10C-762CD875BAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36ff34ef17401742e17b8f3c3a452f11f0b4070","datavalue":{"value":{"entity-type":"item","numeric-id":5348858,"id":"Q5348858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$A7E07075-6F59-481C-92B2-CB3AD7926541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6be6cff01d2235451e68957f7f50c6f48767737","datavalue":{"value":{"entity-type":"item","numeric-id":1166268,"id":"Q1166268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$FE005732-2D68-41FA-B05C-DCADD5D79F69","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":"Q832288$1CA7E090-9194-49C2-888B-CFBC0645B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$C497A0BB-D042-4137-801B-CC0F030B08CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$777E4D5B-3772-4B45-8596-37AB6AF90E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14812d6ccc1e7fd415a56c6de42526a51923f0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2044203,"id":"Q2044203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$33C6E77A-2C36-4104-B6F6-453DA026EA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$6CBFB448-D3A7-4FE3-A319-72333F0C72E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$21811BFD-13B4-459A-BAC4-086846656D80","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":"Q832288$5568536B-DB35-4D8D-A24F-79004203631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$7BEDD7B1-717A-4B56-A401-FB57ADA92DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$E000391C-E645-4EF9-A38D-65CFB5328201","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":"Q832288$A7A9ABDB-6897-41AF-934A-593E3B6B02A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e47862a3d8d377cd3390980674947d2e9d9b95c","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$1DC79E61-76A8-4A75-AB23-D6A9B64065E9","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":"Q832288$35025293-8A58-42CF-BC75-6DD6FC2B134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27e9089c8ecd1d4be6398c999c9a458cfa92c63","datavalue":{"value":{"entity-type":"item","numeric-id":3600486,"id":"Q3600486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832288$8056FD59-8D50-4F1D-8AFB-0A5F7C32BB01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bc4433e20bbf1ca4a7bd0a5fde00fe23ab4b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1990501,"id":"Q1990501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b183626dfde2569417df4fd999635d32f055c997","datavalue":{"value":{"amount":"+0.7373723983764648","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":"Q832288$C5CB8711-3638-4703-A9DB-C0884797A609","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":"401af28a57c7eaebdc0bfa8e18a7912e799520e7","datavalue":{"value":{"amount":"+0.7312779426574707","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":"Q832288$514B4602-54E7-4B04-8763-9250BCCAFB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1fab615e26c938910099db8d761c89fbb62c69","datavalue":{"value":{"amount":"+0.7136891484260559","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":"Q832288$B5267D82-8835-4509-9B72-76A9FBC8518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7a59808604549504f21df021d922057b3e59","datavalue":{"value":{"entity-type":"item","numeric-id":5325836,"id":"Q5325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d0a75426b3b1efce35ba5697a331141fdc68f1","datavalue":{"value":{"amount":"+0.7111979126930237","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":"Q832288$F85DEFAE-5736-42BE-A79A-DFF5951C8500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cebd71196714a339e02ead7aef89733c7b2d09","datavalue":{"value":{"entity-type":"item","numeric-id":6487318,"id":"Q6487318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b605a693956886976229262aead9fd4e75cd9bd8","datavalue":{"value":{"amount":"+0.7102242708206177","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":"Q832288$FE211C68-4CF6-403B-A2AB-D2F468EE3DF6","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":"Q832288$7EDA29E0-8225-4106-9187-AC765AB80D5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Latticed \\(k\\)-induction with an application to probabilistic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Latticed_%5C(k%5C)-induction_with_an_application_to_probabilistic_programs"}}}}}