{"entities":{"Q2974795":{"pageid":2985520,"ns":120,"title":"Item:Q2974795","lastrevid":85257518,"modified":"2026-06-03T06:27:49Z","type":"item","id":"Q2974795","labels":{"en":{"language":"en","value":"Compositional bisimulation metric reasoning with Probabilistic Process Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703931"}},"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":"Q2974795$BA4209F3-E4CE-41C5-AE68-CBA53F7310CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eae12861e8274477bf432e167b279fb9f9fdff16","datavalue":{"value":{"text":"Compositional bisimulation metric reasoning with Probabilistic Process Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974795$B178DF4F-F977-4BDE-A92C-48185BB1D0D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0378cddf65c515d7264fe5341a8b4b8a8a8616e4","datavalue":{"value":"1398.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974795$6C7A2C60-AB76-4EB1-84F0-05F2BC2DE443","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5f150af329cc2b06c1de7137282d3fc75d45b29","datavalue":{"value":"10.2168/LMCS-12(4:12)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974795$CC5EBCD9-E80F-4CB0-A67D-9931C30C2094","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$B3266B40-D969-453A-91A8-179362A80F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$59262585-C2F3-4744-8D8B-BFC8FA23F0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$DA3079E2-ED6E-4432-80C2-B2B1C6E5C849","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$618CD169-EDB8-40E7-8F3D-EC0F81ADF5B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-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":"Q2974795$63E636F5-20C0-4486-A79B-44D67B0276A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974795$A4491D78-9971-4DF8-8FF3-7DBCED5305B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974795$6369FFF7-8F59-4DB2-9096-A472D37B56B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc96e5489c7b4b4d90809e13e744b7da8f34fa1","datavalue":{"value":"6703931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974795$6E8EEDA8-38A0-4652-9184-B100CFE081A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7568e4b6f6a85f7fdc738e58f2c4a6d722175e68","datavalue":{"value":"probabilistic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974795$FB832C33-16C1-4288-9D3F-75E4D8D41544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57eb3c51708963e18bb384e499860326925060df","datavalue":{"value":"bisimulation metric semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974795$44DE9E60-A7BE-46F9-9FDF-8F9083D6B3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974795$7753DE9A-0164-4FD4-BCCA-087D888D06E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051b9b7dd93701a972bbd72920bdb951539c784c","datavalue":{"value":"uniform continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974795$C9141213-7670-48E5-B045-93F1FB3C4FAD","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":"Q2974795$730C9421-12C5-46DD-85F7-A04C975E38AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$C5BB0FB6-4DE8-4BB7-AC5C-E6D26EEC29F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$D4810550-5B22-42F1-AB9F-4E6A9A884135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4e8690896a2342717a87a2cec6eaea92ea7c28","datavalue":{"value":{"entity-type":"item","numeric-id":2849899,"id":"Q2849899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$1DFD4CD3-2825-477F-B534-4E4DC2EAC0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$59B12BF3-E198-48B5-A5C3-D4E20B84F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f478a0e3334d16e231c4c024432fa7752e636","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$F53927A3-463A-4714-B612-3D7235B8D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558629c0e6e663c9fdc1db1979d026dc6f0c43dc","datavalue":{"value":{"entity-type":"item","numeric-id":4608689,"id":"Q4608689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$E25F62BB-4D1C-48D0-B113-163C11F206CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$8E26463D-F8B7-4AD5-AB9C-446511A665F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babf0900b770636829cb2dc1b89281a382a7ae69","datavalue":{"value":{"entity-type":"item","numeric-id":2870293,"id":"Q2870293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$7747A8E1-3468-4520-80E1-FD643E78949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$AEC2A922-D8A9-4FEE-BB92-4BAB269843AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$78D19D0A-DD27-4678-A000-827AFDC2FD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a43d97d8401127eb4b06dd2ef13ac89c0c8dd7f","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$5430800F-AE14-4E58-B262-0071779FB8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5366e0a3555e45e70d48ef5996f2d7fb2e79e87","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$523ADDD6-3118-43E2-B63A-9ED12FAB2BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625de7b884f4d59f435c8abb0140d4a07ae34f3","datavalue":{"value":{"entity-type":"item","numeric-id":2453109,"id":"Q2453109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$E2D8A71B-3CF3-4754-9F11-D294A065E9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2940e7dc2b3f84a4e2761d75eb5f9b11fe5840","datavalue":{"value":{"entity-type":"item","numeric-id":418189,"id":"Q418189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$52D13C4E-DEA3-41E6-94A4-723785BF2C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$EBA6678D-F175-4019-A0FF-A7CB69E96136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfed5d037b42244ad5cb6ac4b7bb960b703bcb4a","datavalue":{"value":{"entity-type":"item","numeric-id":2912692,"id":"Q2912692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$63D269BD-6F1F-452C-A1F2-56094C5D6E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33bcb16fc890d9db1593e999460af9be0783cdb","datavalue":{"value":{"entity-type":"item","numeric-id":2949442,"id":"Q2949442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$1A7EE974-35D6-42B4-8EC4-2767D00F95C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d5ccc96a4335be9e1842f9422a94c6cc24c57d","datavalue":{"value":{"entity-type":"item","numeric-id":5357701,"id":"Q5357701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$F6639E6E-733C-4C21-BFB1-E8E0E14004E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$E577F9E9-E874-4AC8-98C7-73D5DC736772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$6785323E-10DF-4555-AA67-E496FADAF2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$46A05BB7-8A00-49E4-A045-977354D8D807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$3981A07D-4442-47B7-96A3-455D3EB4EFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25c3a754d4ba3631bc79a111d6fb32f5805b16e","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$7FEF92AC-5370-42F6-8595-F932EE8DA080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a706c8654280b64d416d77fde7c6265a8bf7a076","datavalue":{"value":{"entity-type":"item","numeric-id":5410682,"id":"Q5410682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$DDB3848F-206B-4BED-8093-4FF9FE0952D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$D1E9EC29-01FD-43B1-B972-E28B145C9949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8776980c22cea0e2c363986232fa0f1431bb65a","datavalue":{"value":{"entity-type":"item","numeric-id":4910418,"id":"Q4910418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$554B170E-B415-4256-BF2C-6E21ADBA7074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$5D147560-DBD6-4C4A-B537-9D79D3FEA0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2261b6913a63f60b38270ef195766355d058b","datavalue":{"value":{"entity-type":"item","numeric-id":5505435,"id":"Q5505435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$B36CF690-6754-4367-B543-ACEAD1337B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00db55ae22bb0ccefbf7d62c9e608da519d03109","datavalue":{"value":{"entity-type":"item","numeric-id":974113,"id":"Q974113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$B1882E3A-06EC-48CA-A291-7930BDAB4A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9953bc72ffe2f2765a81ef3e19c50587ed89d74e","datavalue":{"value":{"entity-type":"item","numeric-id":456100,"id":"Q456100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$A327F505-8AB2-4D38-8D7E-81183AE91D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$FEA0D3A0-5F49-45C5-9184-DB14BB012AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974795$24EE4F0A-B5CE-4AF3-940C-10AA4C9DC6FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9867e7ff4479225983816ea81256430f5dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2949442,"id":"Q2949442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba76fcead98c360da87e03ecc548d720a7c5be6b","datavalue":{"value":{"amount":"+0.9579021","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":"Q2974795$F57DA5BE-EF13-4FDE-A7CE-A235C531F8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd4f04a624973235e93ce590c05163722e3eba","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1450de6ba823b1e00158cf1366a9ea1a0ee2fc5","datavalue":{"value":{"amount":"+0.90292776","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":"Q2974795$F3FD1AE9-09AE-4C06-9D16-C018277FF893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6f6d84687b897930055cb2f7ed9e9f6cd647de","datavalue":{"value":{"entity-type":"item","numeric-id":5410679,"id":"Q5410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e01d5ce9dba75f916c43d3340d9b80d1cbd4268","datavalue":{"value":{"amount":"+0.9007665","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":"Q2974795$10AEB44A-05C3-4D0B-82BE-CFC4385336E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a83d5837b7795d35bccc383385e16a7a70b18","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34e8689995bd41fb4801aa793941befb552bd3b","datavalue":{"value":{"amount":"+0.88823014","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":"Q2974795$67491E83-8AA6-4BED-832A-38CA43D2206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c9b59af36d0b98815019bbad17f09880fdca77","datavalue":{"value":{"amount":"+0.8860707","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":"Q2974795$5CECD3B8-7FED-4BA1-AB3A-106F9BE51BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44895a28aed27fe6fba3bd61b01fd16db9182fcd","datavalue":{"value":{"amount":"+0.8846754","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":"Q2974795$83AF9516-6893-4C86-A657-B0819F376ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7788b629a24741a83a77059e6c66cb77a96d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44895a28aed27fe6fba3bd61b01fd16db9182fcd","datavalue":{"value":{"amount":"+0.8846754","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":"Q2974795$CE052EE0-8046-4F9D-817F-44DFE401C5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e36f594da96277922367587cc330f103cdba63b","datavalue":{"value":{"entity-type":"item","numeric-id":4222974,"id":"Q4222974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9490e4bbd492bb02c7e0344af2610f30b5414b47","datavalue":{"value":{"amount":"+0.884308","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":"Q2974795$BD5CB046-0E35-41CD-9541-1888BABA912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe49d99b6dd269c73fcd490736ce94023db42d3","datavalue":{"value":{"entity-type":"item","numeric-id":4910418,"id":"Q4910418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466fa4919b91e9f12f1d034f3f7461a13d13a5e8","datavalue":{"value":{"amount":"+0.88207173","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":"Q2974795$2F86F329-26D5-4116-9548-53AC6E7DA39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ca9e0f5a61f182d42b82bc572296915565f624","datavalue":{"value":{"entity-type":"item","numeric-id":6161460,"id":"Q6161460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ded66590e415a2394ed863079212dbb644cca6f","datavalue":{"value":{"amount":"+0.87768346","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":"Q2974795$1D691A11-5AD4-4487-92F4-9C2AA4CE6AD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional bisimulation metric reasoning with Probabilistic Process Calculi","badges":[]}}}}}