{"entities":{"Q5418971":{"pageid":7448545,"ns":120,"title":"Item:Q5418971","lastrevid":96233786,"modified":"2026-06-05T10:44:53Z","type":"item","id":"Q5418971","labels":{"en":{"language":"en","value":"Bisimulation for Markov decision processes through families of functional expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6299340"}},"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":"Q5418971$B02A7277-67DC-4919-A090-ED9A7FC74656","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f7b43f0d909af98abaff12995523e10ec0232d5","datavalue":{"value":{"text":"Bisimulation for Markov Decision Processes through Families of Functional Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5418971$4AAFE52C-7B69-4D4B-83FE-856988E4AE28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c96ab76e68e273179f81f704e65de82e902af8","datavalue":{"value":"1408.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418971$74C1B43C-CCB5-4F50-BA69-B005952B2100","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d7b17c136b9002b4c86ca6cbe0c3ad60960bceb","datavalue":{"value":"10.1007/978-3-319-06880-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418971$EE3940BF-EBE9-449E-B113-3C8AE9242FC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64100753fa75e2823c52a8185e86a79ab2c82ea8","datavalue":{"value":{"entity-type":"item","numeric-id":3225168,"id":"Q3225168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$789E1D37-8B93-4990-9371-904E7BBFBF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff2a5abb5bfe2640a9cdcc6150316d97aa0fc0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1606315,"id":"Q1606315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$4354EF30-5C18-4EC8-9FD0-9FD4CA13CF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9012d3d89c4e1ad4b9b151a06147febb613bb8d","datavalue":{"value":{"entity-type":"item","numeric-id":1653648,"id":"Q1653648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$F0A19645-60F2-4253-8949-F3551AE91EB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$DD63692A-5C00-46E9-906A-407D0D713666","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2a71852318d9474b67798c8aa27a37241629a43","datavalue":{"value":{"time":"+2014-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5418971$62974DBF-64D3-459F-9E17-6F07080BFF17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418971$0ECF23B4-1523-4DC9-BE29-D5A9F177898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0ecd49782246b7fab028f912f49cd163073d4bd","datavalue":{"value":"60J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418971$3FFA5589-2691-4E38-AB0F-FD1DAED4FA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418971$0299F263-A6FD-49F5-9DB5-C616B757C601","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9651e0ce9b3444d110ef662c3f8409c0cda853eb","datavalue":{"value":"6299340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418971$84BA480A-508E-40FF-9CF5-06CA24CDCBAF","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":"Q5418971$AEA58A0E-1D03-4834-926E-E29EFFC463C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c2d2a550e22536c0b6a52669974ea248c3169f2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06880-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5418971$8B9C3CEA-EE6F-4CB8-85DA-3E2DB51E98E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63c3960b6ea7d903b07898b7e22ba9bed0dd51f8","datavalue":{"value":"W153160029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418971$7E263EE5-538F-4308-B924-15E3A66231B8","rank":"normal"}],"P223":[{"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":"Q5418971$2A03F739-7638-407D-829F-04BBC3102A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$0CA36B4B-8662-4499-9418-2769E6B7D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e969fddea0dd7e8a0a8e4fcc390e6fb8eacff7","datavalue":{"value":{"entity-type":"item","numeric-id":3225169,"id":"Q3225169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$28F99490-7DDC-4751-84D6-18FEE25CCB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae71fdaf7f1d7309434a7798b39c5af617e834d1","datavalue":{"value":{"entity-type":"item","numeric-id":4374015,"id":"Q4374015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$25CB8DAC-90AE-4A11-8879-0BDD98DBDB1A","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":"Q5418971$A9A8EB6B-EDCF-4B30-ADB2-AB9E2D071AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$8A21DCD0-4FB6-43C2-A996-64C34CA78ACD","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":"Q5418971$2C256C1A-D628-4C79-83DB-E3BD165E7E01","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":"Q5418971$CF2FBD66-5E0D-475E-B4A4-62B7A5774C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6622f1be6c0d3f81529892eb85458f10d5b9edcc","datavalue":{"value":{"entity-type":"item","numeric-id":2373743,"id":"Q2373743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$41576B27-DDEA-4F67-8576-AEF15067395F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e66dd37f4f0e114783daadee0a4fccbe7650fa5","datavalue":{"value":{"entity-type":"item","numeric-id":5758050,"id":"Q5758050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$7E89304A-6DA5-4D03-B1B2-2990524BBCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$12C76391-C5B0-47FF-9C67-0293FE1BC67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$C731C24C-81F7-4A11-A50C-ED78899DD481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cc62ec28770affad7708bb4ba62d22879ec2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4780024,"id":"Q4780024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$1030FEBE-26F8-48D1-B39A-8D973370D014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$586AC89F-2C88-44B7-95E5-5B1CF63A877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf726ba27a648f56dffebd26f0d41fb12b61b81","datavalue":{"value":{"entity-type":"item","numeric-id":4832030,"id":"Q4832030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$DC495353-1654-4D2E-B239-8D25609F4E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ac43afa6636ce7bc503650e9a79bc17e1c1385","datavalue":{"value":{"entity-type":"item","numeric-id":4805362,"id":"Q4805362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$B3DF80A9-24E8-4A1F-85D1-82D25AB05657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88e9c913e5294914f1887ed67c59e4fe713243c","datavalue":{"value":{"entity-type":"item","numeric-id":4255598,"id":"Q4255598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$DB0503F2-77FE-4D77-9B53-77FCAE1F0867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8829cb252cde6a855b1ce3f090a7c599659e27","datavalue":{"value":{"entity-type":"item","numeric-id":1158123,"id":"Q1158123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$F308482F-C053-472E-A232-4D3625879B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bed7506874310355fff12383c11b903c05008c","datavalue":{"value":{"entity-type":"item","numeric-id":5533878,"id":"Q5533878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$19247938-D76E-43BD-B362-E027B9FBE2EB","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":"Q5418971$646C0B9B-816F-47B0-A5E6-B661C8D8A116","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":"Q5418971$75204434-3CFC-492B-A79B-2B56ED1C442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bf2a801cbebf1d31e3a2366e0334225ace14db","datavalue":{"value":{"entity-type":"item","numeric-id":1950872,"id":"Q1950872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$33906A26-2A55-405B-8D05-2A9985509220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134136dc0163d9a74ebaf23dcf81ab7820699995","datavalue":{"value":{"entity-type":"item","numeric-id":4374014,"id":"Q4374014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$B4113220-D270-4742-A5C1-5DA69975AF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb78820f77a8727341fe72896e629906f4ade6ca","datavalue":{"value":{"entity-type":"item","numeric-id":5902151,"id":"Q5902151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418971$A2A02F25-9729-423C-B7EC-D4469E948C55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b113dc4ddf850472c0f50ee0bfcbf3b86c2f2bc","datavalue":{"value":{"entity-type":"item","numeric-id":3225169,"id":"Q3225169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b75e97e45955686f7ef43c4ea639fdb327caef2","datavalue":{"value":{"amount":"+0.8241573572158813","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":"Q5418971$B91CF835-D88A-4F18-A1D4-3C8F3CEBFCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6602b721326ec54fa3bd0f4de8a5090bd411951","datavalue":{"value":{"entity-type":"item","numeric-id":3525652,"id":"Q3525652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4646928ca172550a2e841d8098a9f048fd2916","datavalue":{"value":{"amount":"+0.8074383735656738","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":"Q5418971$DBFB4092-FB06-4FB2-9A8A-94CF76487649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89841cab58bc7e55434f71b99ef17946f224d55b","datavalue":{"value":{"amount":"+0.7981088161468506","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":"Q5418971$01F154AE-5FD1-4543-BCA2-66612B323E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e05c717366aeb6ae7d04dd13214b43db8161e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1683448,"id":"Q1683448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697315112f61144491bcbc5eca35beec233a03a6","datavalue":{"value":{"amount":"+0.7754476070404053","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":"Q5418971$A2CB277A-D2AF-40F4-B712-7EBBB2A0EB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f91463c1351cd132d2d8937da8436cbb818e669","datavalue":{"value":{"entity-type":"item","numeric-id":3167014,"id":"Q3167014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b99f5d54965cf75fd0e59fd26e25061d8c75851","datavalue":{"value":{"amount":"+0.7733147740364075","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":"Q5418971$FAE5E961-946C-4D43-B683-D6EC1DF648CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation for Markov decision processes through families of functional expressions","badges":[]}}}}}