{"entities":{"Q5370853":{"pageid":7400427,"ns":120,"title":"Item:Q5370853","lastrevid":96078194,"modified":"2026-06-05T10:21:26Z","type":"item","id":"Q5370853","labels":{"en":{"language":"en","value":"Coupling proofs are probabilistic product programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794650"}},"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":"Q5370853$05AD2B57-8CE1-4B3C-BD55-B8753C5F0D65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f934b305d0f36822fed401e982aac444d3af419","datavalue":{"value":{"text":"Coupling proofs are probabilistic product programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370853$75063020-EE24-4938-97E3-A9B7BA35758C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07cb6416b9e7300921fa0cf501db8f2e3e8722ec","datavalue":{"value":"1380.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370853$A4D957CA-62A1-4E92-A4F2-3E002BA94FB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bdc37d38269eb19331f8b5f65d69f7064c1cc38","datavalue":{"value":"10.1145/3009837.3009896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370853$AD5C65F6-3985-4245-9E59-21D07F08CD67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370853$632A7F5F-27CD-4279-A65E-85A50F2C79AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370853$76937865-CDAB-447D-8F93-57C415C5EB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4945abe70a949cd0fdf5412833ce3a82242934a0","datavalue":{"value":{"entity-type":"item","numeric-id":1623160,"id":"Q1623160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370853$55903F76-3A8C-45D6-9A47-AA3A15748ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370853$04FBB786-A0B3-4265-B509-3CB9D7BF6CFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370853$B88E0D72-A64B-4ECD-AEA7-FE65C7DD96D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370853$E4807F98-C360-4F25-BC9C-01701F48ACD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23e4d3bcc171a0d7b488345076fb354b983032ae","datavalue":{"value":"https://arxiv.org/abs/1607.03455","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370853$A9A69142-1A1B-4D27-B4C2-CC5E1A9685A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370853$05B192AA-D0A1-4031-9C60-4E77C99AC2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370853$3094BE86-FAC6-4C2B-9150-5FA605D6ECA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370853$6C9800E4-150A-4BA4-B13B-99792B57C217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c4f1e8dcb8f14de3247467978d2f8b1e551af22","datavalue":{"value":"6794650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370853$5A260BC3-9107-45F6-AF35-D59E9E7F48AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370853$D98495AC-1E32-4210-93F2-9E7C7C799097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370853$8144A2FF-B6B1-4EC9-A1DD-3E4FB368CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b453a7928e6ccc3e7d2ae3e033272abfa8fc9f3","datavalue":{"value":"probabilistic couplings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370853$37D7D2E6-B365-43F1-8183-47E8875C5F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d788ed076ff7452039931ec099e185e3815b3c23","datavalue":{"value":"product programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370853$92221F16-477A-4937-A89F-D1128FF682E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bbfa4b42148e1a89c6dabdc97e8005fe5e2fab","datavalue":{"value":"relational Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370853$81FBFCB7-BDA5-4BE2-B90F-7586E0BE4B78","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":"Q5370853$196529F7-232C-40F7-B8AA-B42DE396D15E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc2b4fc7e5485ea7cc8a915b6ab803afce6f1e34","datavalue":{"value":"W3100368036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370853$9C7ACE1E-EF3A-460A-8B3B-32CD82C0E1B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14dfcd1b5e1a79916e05a491b82ce0b7cb3bfaa","datavalue":{"value":{"entity-type":"item","numeric-id":3460069,"id":"Q3460069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417a404ecdaf637701faed9b0b024028b469bddf","datavalue":{"value":{"amount":"+0.881829559803009","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":"Q5370853$AACA6B78-B341-4BE6-85C3-3D277F20FEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12d4514e3584b93bf95a246cfa552529606145b","datavalue":{"value":{"entity-type":"item","numeric-id":4645748,"id":"Q4645748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d1c362a4456644a1afa0772b01db637da6c06e","datavalue":{"value":{"amount":"+0.8623483180999756","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":"Q5370853$39C967FE-4769-4114-8C2D-56F8228B734C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fa34dd87992fb6ca8ae3eba26ba7db2edd72e8","datavalue":{"value":{"entity-type":"item","numeric-id":6045011,"id":"Q6045011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838931c3e2cd65a61afebc01425c102b588a6e34","datavalue":{"value":{"amount":"+0.8406568169593811","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":"Q5370853$B06EAA86-E014-4513-A445-F32A7EF4E26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a227d992d16064596bd3f41d39ec6f7e1dff036","datavalue":{"value":{"entity-type":"item","numeric-id":4635938,"id":"Q4635938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffe601fa82c5abaa06453b0b4b2e34d5ff705c7","datavalue":{"value":{"amount":"+0.7613171339035034","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":"Q5370853$1FC8800B-14C9-4035-8F68-A10ED797AF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1a6e0ccb57a35247b372319860e2afcf63f31b","datavalue":{"value":{"entity-type":"item","numeric-id":5971408,"id":"Q5971408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc5edebb4574475909ede7e1df6c7f096be58a3","datavalue":{"value":{"amount":"+0.7097122669219971","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":"Q5370853$EC1469D3-575E-4203-8473-992EF2789539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coupling proofs are probabilistic product programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coupling_proofs_are_probabilistic_product_programs"}}}}}