{"entities":{"Q2372202":{"pageid":2382945,"ns":120,"title":"Item:Q2372202","lastrevid":72630807,"modified":"2026-04-14T06:11:09Z","type":"item","id":"Q2372202","labels":{"en":{"language":"en","value":"The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174349"}},"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":"Q2372202$A08964C6-383A-4D56-AEF1-0029AA006856","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd4e59cdb849bb8efb5b2a4c94af07ddd0395d40","datavalue":{"value":{"text":"The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372202$0CB95016-45EC-43C0-8901-E6E6E3063BC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad02a318f891364d1f5ff9f8cddaf7d8dc9d8b84","datavalue":{"value":"1137.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372202$C0BF7A9C-48C2-42F0-86AC-4B8959E97A3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$2F1FFCC0-9DF6-418D-92B9-A8E386C49BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1c38db5340c04383b1791c03458c798d747c85","datavalue":{"value":{"time":"+2007-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372202$124015EE-CACE-409B-AE7C-28DD57B7D23D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"795515bf2631e3988713d4618908a5f12342b8ff","datavalue":{"value":"The author introduces a continuous time stochastic logic with \\(\\mu\\)-operator, \\(\\mu\\)CSL, and proposes an interpretation through stochastic relations. He investigates morphisms for models of \\(\\mu\\)CSL and relate their associated congruences to bisimilarity. The Hennessy-Milner equivalence for \\(\\mu\\)CSL is discussed and it is shown that models are equivalent iff they are bisimilar, using a general criterion for bisimilarity from the theory of stochastic relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372202$F92BE0B3-3A9A-4840-A58F-0BCE68AE3417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372202$67FE766B-F8B2-414A-97F4-F198107F08BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372202$61584264-236E-4F24-B2A1-314AEAF1C434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372202$62315561-C5D4-4E88-8B8D-BD42716BA8AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53189ee46f7b42b7e4f8e46cf3aaaec5b21495ea","datavalue":{"value":"5174349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372202$C539C81D-975C-4474-9594-B65FDB2F0884","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9860bdf050fa59c85e3ad282f341b4bcccb28e","datavalue":{"value":"universal algebra in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372202$D9B71009-D0AD-4177-B85E-79A3E1AFA2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372202$0D615A5E-5B8E-4958-8215-A20C30C178A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30df773471935a21ca81663d9781e04d89f75077","datavalue":{"value":"models and methods for concurrent and distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372202$D6915D76-8FA4-4213-8AC5-7CBF18547AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372202$D1CE4164-ECA3-4AC5-9B5E-14DE21B0FB3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$09495715-CCA0-4471-8B0D-A133CDB1A86C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$45720411-C1DB-4579-8451-1C5E29A134B6","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":"Q2372202$CDABA989-6C14-4624-B3C4-A6993C7C351A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a09cf5e3114c057ebdef0d23abdf88780836b35","datavalue":{"value":"https://doi.org/10.1016/j.jal.2006.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372202$FE60840F-F3DD-4C1B-87DD-6A26D3FDBEBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"859e96eab2d5a797949e0e5a1d54e07cda790703","datavalue":{"value":"W2033781462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372202$A86E5E51-70B6-4B0A-9239-E89C2F20FE85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$D20D9AF8-FE3B-4A07-AACA-1A81D7C31991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1234219af73643917d10c086f9ddc67ac4a569c","datavalue":{"value":{"entity-type":"item","numeric-id":5267439,"id":"Q5267439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$C5ED9526-DFCE-4D0B-B643-D0CE45F9EF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddadb34f3f01f83c600aa6e78ae526fd26cd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$2CFD7A0C-1A6D-4DFA-B9BC-07404F411B02","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":"Q2372202$99C841B2-57C5-497C-BA09-0CD8A5DEA1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$26AF3DE0-9161-4312-8EC6-548482889EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53710a99f5a3080f6a602b100ba66d0a10e73bf","datavalue":{"value":{"entity-type":"item","numeric-id":4449236,"id":"Q4449236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$11792415-7904-4B1A-9D43-AD8D83B3E363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee612f5fd97ee0846b2267e6e6853fcb36fdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2390244,"id":"Q2390244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$9327E2E0-14E2-48F3-86E2-0890E228C385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc05d00dd5a9e60c59252374a3abef55ae80f8","datavalue":{"value":{"entity-type":"item","numeric-id":5697710,"id":"Q5697710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$1D951B3A-3DAC-4A63-AF74-F4B900B6E4FF","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":"Q2372202$EACE9278-FF9D-4E2E-9C9C-E1258B90DB59","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":"Q2372202$B2704487-49FF-4266-99ED-39067EDEE8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$FF843EDD-EF86-4DEF-A708-DB07DA313B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$9C6DBD11-1E15-44F1-AB41-ADEEEF285AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$FE7DFBF9-7BC8-418A-9EB3-6A2CF6B2B120","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":"Q2372202$8F2F6600-E863-411E-8143-7A3E121C0EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0848aecd5dbc63f0643337d52fc99979f30895ad","datavalue":{"value":{"entity-type":"item","numeric-id":3843987,"id":"Q3843987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$956CD5DB-4ABC-4875-B4F7-1E625DF205AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6cc7ce470e7c03a48ca46237c633305d9ba970","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$F40BF407-B9EF-4BD9-BA8D-709F10086660","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":"Q2372202$F47A0060-8112-4EEE-ACAC-108BA4FC89C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$7537FD89-E58C-4DCE-B301-888994A6D7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6ef0bde74490ccd8cb585e54526eafceaa20d","datavalue":{"value":{"entity-type":"item","numeric-id":4223074,"id":"Q4223074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$DB755D2F-4618-42CF-BCC7-54B368F8908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fde3601c37d65874040900fcfb0e7fb2f979041","datavalue":{"value":{"entity-type":"item","numeric-id":4396494,"id":"Q4396494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$667FE4FD-F678-4034-A818-808E5F260EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372202$2731810D-4CF3-4B0F-BD6A-FD41A37C731D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33cafc7d71719130927ee0cddd3a857ea67e1e8a","datavalue":{"value":"10.1016/J.JAL.2006.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372202$6A813EB4-5C05-4D7E-8309-C80B8377BAE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ff0324fa15cc4da2a87d1dfaf4a5f364c1e1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5395116,"id":"Q5395116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa07483874c9a2b31baa023a99f76a913319c009","datavalue":{"value":{"amount":"+0.8504819273948669","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":"Q2372202$7E70E9F5-0C1E-4D48-AB86-E59215D3DAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b2c80b7a6629c264022adb69405fcf9c552a57","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a190e394dd3059bcdc92941381d093b38f6625d","datavalue":{"value":{"amount":"+0.7791087627410889","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":"Q2372202$20AB973B-14B6-4231-B9DA-87DD593D31B6","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":"36e9e572daf6999b783770bb69f70c7c11b0d294","datavalue":{"value":{"amount":"+0.7578855752944946","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":"Q2372202$3A20AA73-6ABD-4B19-9834-3B180D2B1915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec3fd8276e7991c7932b34dc3d97345484be357","datavalue":{"value":{"entity-type":"item","numeric-id":4899119,"id":"Q4899119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af3f3f0c98ac305dccaa9a63a329897d3eea576","datavalue":{"value":{"amount":"+0.7446167469024658","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":"Q2372202$5F962ACE-3144-4122-9C01-43138F60997C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956cee4819a0a4ba105abb08cf477c7ed805c30c","datavalue":{"value":{"entity-type":"item","numeric-id":2938063,"id":"Q2938063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debcdfc8b19ad11955ff4f74bcfe2a05be104dba","datavalue":{"value":{"amount":"+0.7430989742279053","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":"Q2372202$560DB573-C6B8-4AC7-8965-B3364A741EE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Hennessy-Milner_equivalence_for_continuous_time_stochastic_logic_with_mu-operator"}}}}}