{"entities":{"Q2306848":{"pageid":2317591,"ns":120,"title":"Item:Q2306848","lastrevid":73676487,"modified":"2026-04-14T16:52:51Z","type":"item","id":"Q2306848","labels":{"en":{"language":"en","value":"Deciding probabilistic bisimilarity distance one for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7182614"}},"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":"Q2306848$A32A17FC-87FA-42A3-9E11-9EE51A2D1A98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d328cb54c7ce40906c3f271fe418fe2423acc0","datavalue":{"value":{"text":"Deciding probabilistic bisimilarity distance one for probabilistic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2306848$17AB233F-EE30-4E81-A873-A50A94B5F047","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7056939f7e8a04466718ca2ba4f438f5411bab2e","datavalue":{"value":"1432.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306848$64811988-D3B6-494B-8078-E8A0176927D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca44c5994cb111f050322327ec89feec3c367f86","datavalue":{"value":{"entity-type":"item","numeric-id":2306847,"id":"Q2306847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$9662325E-27D8-49AE-9CBF-3CB578536928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fca8198ff5bde9254949379672939d8017bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":456099,"id":"Q456099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$661669AB-2731-487A-97A9-CDAAD9CE7294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$ACA2240A-FBB1-4851-A1EC-E95A02AEF97C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64352a8c1ae01ac92719dbc4295e48037e62a54e","datavalue":{"value":{"time":"+2020-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2306848$3C179C0A-CB6F-4407-9700-008515FA9E63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb80f7d00f28a369203829c5ea1457be0ebc491c","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/9547/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2306848$55B05526-790A-4959-9A0E-D1D1B10AA3A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306848$C4CB87B6-3FE4-40F8-8BC4-84BA2F078AFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36bacf548d62152b13f423f129f83825d8a37aa7","datavalue":{"value":"7182614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306848$EEF6BEDB-4F40-4FF9-BC51-6C6B9B0050F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752c09cf731d1ad75f442b74d94faa3296dfd06","datavalue":{"value":"probabilistic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306848$DA04BB75-666D-4D20-B5DD-9A42E382493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306848$76377B90-2A89-417A-B18F-7E79A1F03C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1248363c3b8049bcda7bfe54fbb88ee8f74585","datavalue":{"value":"probabilistic bisimilarity distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2306848$6823F3A6-8A47-4FEB-ABC9-C9EF22E98D2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$449F26C2-105E-4A10-B49C-80DD39C0F34E","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":"Q2306848$DEBA4534-8130-4664-A28F-FB755FD7CEB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b50702604c07bf19f2bb588d6ea8622c1504ff6","datavalue":{"value":"W3011232735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306848$B7609802-C941-4755-9EF1-71B502407EC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4586872be8decf8918931c001c6d178e753143db","datavalue":{"value":{"entity-type":"item","numeric-id":5009421,"id":"Q5009421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$2C86ECAF-D0CD-42E8-B4D2-7A13B3A81BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$7CD84149-DB91-4BE3-83E4-AE5BB8DFD7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$0C493FFC-F69F-466B-9D89-68E2BAB759CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d7b2a5209cc1806c6660de7a1c1cb36b2b3b97","datavalue":{"value":{"entity-type":"item","numeric-id":2778590,"id":"Q2778590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$CCA7F623-7B8E-46E9-AC00-86C80E0126E0","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":"Q2306848$42A2E570-A409-4452-9068-2442BB96D411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111b88d6a07e311065185f1aed7152cd8712bb10","datavalue":{"value":{"entity-type":"item","numeric-id":4965819,"id":"Q4965819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$78E552C1-FBAB-4D9A-BAD0-F7B7485BDD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cbb125a4325b962745ed7426bba0f5ede12ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$26D9FB91-5912-4A9D-B3FD-9E5107927E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$0E74AF26-F763-4A5D-8819-FD69FAB3870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefe3932ed0c4a409b2d7421befe372f484c03a8","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$7A01C31B-FC00-4A82-9B2D-275C1120EE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$BA70B8F5-98DA-45E8-8428-A3420FD9B034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3bd02791f3fd6f2c39b3ae9244b7d656a93c72","datavalue":{"value":{"entity-type":"item","numeric-id":4626283,"id":"Q4626283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$4A2915BA-A2B9-41D8-88B5-EB4AF0BBE325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f7d725986881a438be25713a112fad6dfb3238","datavalue":{"value":{"entity-type":"item","numeric-id":5326310,"id":"Q5326310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$70AF5155-5DCF-45B4-9FE9-8195EAF73A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa7ab7d7288cf8b7707887b2bef0e09c74d70d9","datavalue":{"value":{"entity-type":"item","numeric-id":4608674,"id":"Q4608674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$E0802FA8-ECF5-4C26-B0F7-D60F48764BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8bce65ccde0a7ffb67d8ae2a36863a56f6eff5","datavalue":{"value":{"entity-type":"item","numeric-id":6041138,"id":"Q6041138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$A12C2600-7F55-4F97-BEC6-C8CEE13637B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0459d1a93a135deb9a3f3404173b887fd894a7be","datavalue":{"value":{"entity-type":"item","numeric-id":3266141,"id":"Q3266141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$119B393F-C421-4B88-B92F-4F085F83A592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd9f72384369d0e22abbc58f3f1df73cbd7a609","datavalue":{"value":{"entity-type":"item","numeric-id":3167014,"id":"Q3167014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$8A69C1E3-889A-488A-A169-A3E16DEC8B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58356e6f02b0944185dc1a29771de60651a3f722","datavalue":{"value":{"entity-type":"item","numeric-id":5418964,"id":"Q5418964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$7C8FFCC5-A78D-460F-950C-67301D05260F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a35ee073efb257c2ff6944a7cc91fcd0fe8bb82","datavalue":{"value":{"entity-type":"item","numeric-id":1329155,"id":"Q1329155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$2CB3E625-C1C4-4945-8DAE-5A6E58B7EE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4147b894cc9ce75853108ec8ca9896a72c6037","datavalue":{"value":{"entity-type":"item","numeric-id":5335815,"id":"Q5335815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$66D0E1D3-C744-4B03-B922-186AECE0A323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d7a8d308da982a34c97e4b88db47104381f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":5532903,"id":"Q5532903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$214847BE-42EE-4025-942E-F61F64F456B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f071983bec6e968e9a9d44ec7c56994bfd005df9","datavalue":{"value":{"entity-type":"item","numeric-id":5171181,"id":"Q5171181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$D11300F0-33B4-47D3-8308-73A7AC39395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc619965c66a74b47a0342a5a69ac646fa9335ec","datavalue":{"value":{"entity-type":"item","numeric-id":1187025,"id":"Q1187025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$5070BC61-6CD4-4D11-8A4C-05AD4AD293BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$7890A514-8F84-4429-818A-8D46070AC322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$D2BD0A5E-63AE-441C-A582-11FDDADF87CB","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":"Q2306848$3AE46F54-B5FF-4220-AF39-1651EA76D6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$EE92A5E7-9302-42F8-B72D-5DCD59E539FB","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":"Q2306848$5D7C1D8E-F49E-426D-9071-A064DAFDD01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0659f0a0b99a10416cc669de0f6f7d4751f69eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5774896,"id":"Q5774896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$78757E2D-97B7-4D33-8547-635508D9382F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb6dda69e6e7dab003aab2088007d9f0da7ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5576685,"id":"Q5576685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$EB232778-ACFD-47A7-9929-C70AC634F1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e0e65bc0258e3fb24301d38f9385a7e4dd4333","datavalue":{"value":{"entity-type":"item","numeric-id":5820908,"id":"Q5820908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$69F7B9FF-253F-463B-BF9C-DB68CD208DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$2CFD61AE-D763-4AD1-933A-A6239DFBD518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$22B9130D-5D0A-4EDE-A182-36C37B144085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5142ee1d620d0b4118f77836a47316b18c6d1122","datavalue":{"value":{"entity-type":"item","numeric-id":4382287,"id":"Q4382287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$34D8DE10-EF54-4385-B083-7FAF19AD74E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8753e520f7d6967cd6b68ee4b8342c58e4801be1","datavalue":{"value":{"entity-type":"item","numeric-id":1373741,"id":"Q1373741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$09D165B8-9CAD-4A4B-A1FD-0DC804FE157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$CB26EF08-5151-49FC-8BD6-3E1CEE59F716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$813AC252-29A8-40B5-AF4D-E952C764116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacd7d37a95f6be97370c8bd866ebd7660e460e1","datavalue":{"value":{"entity-type":"item","numeric-id":5875370,"id":"Q5875370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$72BABA3F-5765-41AA-82E0-0C9DAE54C4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92baddcdda2a7cf3ecd5beff1f9d7cda300ee663","datavalue":{"value":{"entity-type":"item","numeric-id":3485848,"id":"Q3485848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$C4A199B4-0EE9-4428-BC5A-FBFC0C3BEDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$DBBEC2B5-18CF-48B2-82A3-E36A970A79C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c08df1a13e6cd99e1c82b5ab080bf3df32e25","datavalue":{"value":{"entity-type":"item","numeric-id":5510376,"id":"Q5510376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$F03E4C67-DB1F-4796-83AC-731E9AC387E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f301b4ffe73745902fbfe3ec79a6c31bae4dcec","datavalue":{"value":{"entity-type":"item","numeric-id":5834711,"id":"Q5834711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2306848$ED4BE596-B17D-447D-905D-7F7E81F438B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d88fd1d213abfac496794276ecd9dd812e8a426","datavalue":{"value":"10.1016/J.JCSS.2020.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2306848$94F73023-63B9-4801-8C6B-BC72C8F15876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4126cfe0ff7db2dc28d8df0214bb7e3ed7239db6","datavalue":{"value":{"entity-type":"item","numeric-id":5009421,"id":"Q5009421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398b2617d9c7921897139f604f11f6ff4d57dfa8","datavalue":{"value":{"amount":"+0.9967615008354188","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":"Q2306848$DEB6D032-19D0-49FD-AB11-330F4565D2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c706e57d318544a2ba3f89062f582ea018aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b109eb867e5db725bec4eeaa53c2fa68ef4e495","datavalue":{"value":{"amount":"+0.9121333360671996","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":"Q2306848$802333F8-F277-4B67-9FC9-0004DC7F9CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec9ed2cd515a818bdd0ecbd74168470db07f6b","datavalue":{"value":{"entity-type":"item","numeric-id":6041138,"id":"Q6041138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16c6cbf4927314ddde456cd9ede1fe9df20165c","datavalue":{"value":{"amount":"+0.8832581639289856","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":"Q2306848$125EC8F5-6ECB-4C9F-9982-E3BB9256AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78ff881ff4d7b0aa5b5d1813041a28c4f69da60","datavalue":{"value":{"entity-type":"item","numeric-id":5418964,"id":"Q5418964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a1edbfd8a48a257c422af7c86a71761efeecd1","datavalue":{"value":{"amount":"+0.8558420538902283","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":"Q2306848$EAD1D40A-158D-4BB9-A1C1-EC8F077D1D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95e4580aa1adf08f3c83873ae09d9fafa82b459","datavalue":{"value":{"entity-type":"item","numeric-id":4965819,"id":"Q4965819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df153d4b208538993f8433e229735ecf0c12e80","datavalue":{"value":{"amount":"+0.8473146557807922","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":"Q2306848$1A91DE30-DF1A-48FF-99AB-E6C5DBDA8851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding probabilistic bisimilarity distance one for probabilistic automata","badges":[]}}}}}