{"entities":{"Q265837":{"pageid":267604,"ns":120,"title":"Item:Q265837","lastrevid":60491268,"modified":"2026-04-10T17:19:45Z","type":"item","id":"Q265837","labels":{"en":{"language":"en","value":"Approximating bisimilarity for Markov processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567572"}},"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":"Q265837$0C3882F0-22FE-46CA-A1C9-F70AD5D455C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4db2bfed87a3fd24d43fe47d7405de2a35fe2f99","datavalue":{"value":{"text":"Approximating bisimilarity for Markov processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q265837$428790AD-1F99-4A5B-85BF-E7AC4E822F59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bde4945fbe69655975e45943c9a19de21ec8e6f","datavalue":{"value":"1334.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$C5D8218B-0A23-4105-8262-1420158FC3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d77ecd0c705389db5013c77f6cf1d0c18e3ff691","datavalue":{"value":{"entity-type":"item","numeric-id":265836,"id":"Q265836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$D6DCE088-72C7-4D69-B1E8-8853179EAD60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q265837$986F04D0-D589-4D9E-B459-90CD44F33849","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$65BF99BA-D85F-4ED8-B001-8237F83E1BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$D96D9042-EFE4-4CEF-9933-30AE987D4FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$C86F0FAA-BFB4-4918-8349-8597273F47B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$BD4EC716-6886-448F-9A03-86E5451C3426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61ac69c5ec4015033076ad9c19998be31aa87c58","datavalue":{"value":"6567572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$F0695EFF-3080-4AAC-9889-EF372181B176","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q265837$95826922-29CA-4BF4-8E71-854EDA9C9CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f97a52d23b1ff2c0664de55e087f53f600d6b2e","datavalue":{"value":"state bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q265837$00CABE37-C380-47CE-A4BF-5A5C5075CCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81c4ccb4f661bc6ee724cae2ccb6d8877fd75df4","datavalue":{"value":"event bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q265837$58633722-E416-49C2-9BC1-7455365CA4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q265837$CE9A4FF3-F64F-4D14-8715-66F7FF703CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q265837$096BC797-27BE-4D9A-A674-69C5F8543198","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e4649d9d7efd9c9311a4ea92b82d2ec88cc3c346","datavalue":{"value":"Q113317929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$247F21B5-087A-42B6-9B35-A1A39C697B2A","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":"Q265837$5AE2ACF6-AA9E-4619-A0FA-7B6358F08C05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e62ed81dd8aac44a1814db82ab5ae806b828f444","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.12.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q265837$77525226-C7D0-45FA-8B29-F2E943328648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a51854c9e61dcee53d0f9a3db0c0eb951683c952","datavalue":{"value":"W2064839890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$F17CFDFC-34A4-42FE-BCDF-29BF73F7A02C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$E21F1D9C-8AF6-4F5D-BF89-5DC185FC8690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b115bd9b1d4c9a037ee6371cfb0d610c9d41b37","datavalue":{"value":{"entity-type":"item","numeric-id":3415147,"id":"Q3415147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$3B183B55-95B8-4C40-8C02-9092E36BA2CD","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":"Q265837$B4C41C45-3C45-4BA0-AABD-C3837019633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$D014A9C4-97E6-4835-886D-FF0C65446A37","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":"Q265837$B54E1EC0-6CCA-4E68-91EE-B83B680094B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531204ae2542b6ae01481ef774eb43412c971f5","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$C9407603-D262-4BAB-9568-58FD0AAAE520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$F5E30765-CD3B-474D-8B0A-9F82F5BD30B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e451b1746a346de32c7ff025c45f478901c7da","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$F9BB944F-C8EF-4105-AEFB-A3F27DD34220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ffa9f19045890414a75b7886926d3158e7b114","datavalue":{"value":{"entity-type":"item","numeric-id":424543,"id":"Q424543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$3C1D20E5-7FED-4515-A988-123C4651F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$D90636D8-648F-446E-85D4-01C2121565DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e85ea0f7d116d20efeb8ee4f59cd2d5666d577d","datavalue":{"value":{"entity-type":"item","numeric-id":549668,"id":"Q549668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$28C973A7-6C56-4855-878A-79EE89794B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06d718bcc840d3b83d43940d7f5ed1f727a0ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2503333,"id":"Q2503333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$31E58C1D-A3F4-485A-A5A6-AFEEB91DA2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf2146e004869421d0004301b1cf463b9d5af6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$52042C00-F885-4E39-8666-0C1D7906AE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a364b2142b882e74da0c4e46b37edeefc86a3dd8","datavalue":{"value":{"entity-type":"item","numeric-id":442296,"id":"Q442296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265837$8167A24B-1947-43AC-9D5F-5B47F43DA926","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d59e6296b52f23133d5587bb797fac734b3d681d","datavalue":{"value":"10.1016/J.ENTCS.2013.12.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265837$4544BA8E-C241-4EE6-8F7A-C83ACEAB35A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f216cb589c603b5ed97285ef983e321f72589bc","datavalue":{"value":{"entity-type":"item","numeric-id":5902151,"id":"Q5902151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ce9649b7d19a19f01404819ee89851cc067909","datavalue":{"value":{"amount":"+0.8253419399261475","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":"Q265837$1EA52661-06FC-4590-B481-63DD28EAC4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3af87767f3a74c0f785aa6386b2c903acb4d72","datavalue":{"value":{"entity-type":"item","numeric-id":5895176,"id":"Q5895176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfa5c35752f9c30e51612bbc47ea2b86e4ab4ee","datavalue":{"value":{"amount":"+0.8208379745483398","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":"Q265837$415710EF-D97E-49F4-9908-DFE8C9EB4DA8","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":"ef8a4b861ba7063b62731737ecb1c1321fbb2fa2","datavalue":{"value":{"amount":"+0.8095007538795471","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":"Q265837$566B1873-A5A4-4118-9BFA-99772082AD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3032a20242225f888f33b509e0b90b350d18d1a3","datavalue":{"value":{"entity-type":"item","numeric-id":5418956,"id":"Q5418956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50260354de3f1cc1ca7e53a3d5f7e7e903efd2e2","datavalue":{"value":{"amount":"+0.8057681918144226","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":"Q265837$3C458323-26D7-4FE0-B976-F1C3F6F9FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eceaf5ca8d4610616a6c6947618f515b3249714","datavalue":{"value":{"entity-type":"item","numeric-id":4417860,"id":"Q4417860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4d33f3d240054e101436647fde0611efd1bf2d","datavalue":{"value":{"amount":"+0.8000089526176453","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":"Q265837$7B3E3A51-9BB7-4EA3-B56E-B35C2BC29475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating bisimilarity for Markov processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_bisimilarity_for_Markov_processes"}}}}}