{"entities":{"Q2373649":{"pageid":2384392,"ns":120,"title":"Item:Q2373649","lastrevid":50129621,"modified":"2026-01-13T06:00:25Z","type":"item","id":"Q2373649","labels":{"en":{"language":"en","value":"Non-bisimulation-based Markovian behavioral equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171282"}},"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":"Q2373649$3EDB8106-7B12-42CA-8D44-B91BEF1A0143","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9c36157577c51d36e60440b6e9f03741e935355","datavalue":{"value":{"text":"Non-bisimulation-based Markovian behavioral equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373649$DE4F7D7B-627C-4F50-9CD5-AB1ED6823370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"377939119d7d9ed973bc9ff7f1ca05703015c26d","datavalue":{"value":"1121.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373649$F723EC2A-5FCE-41B4-A136-6378FB083907","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$CCE56E9B-AF7A-4C48-80BB-2B16A426BA47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$4F7A9DB5-399E-4A08-A26E-D5B581202297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373649$777D810F-C5F3-4E26-B1BC-013F7D9C2ACD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373649$2A839CB7-9579-4326-8DA2-4829B4E5D847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373649$8F403943-E55F-4016-B174-1FD1D5D54752","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad08118404f4b33d96a667158df3e9d9bbf3ce45","datavalue":{"value":"5171282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373649$F74F3C80-B4A1-4915-8496-4CD8C2E3BA44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373649$3D5DB91A-C516-49EA-B233-F67B7579F608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373649$D02EC582-678B-4E99-B7F7-3711D4C2A94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7988d6e2a15b70f386d1c36238312f63eef396d","datavalue":{"value":"behavioral equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373649$B061CE0B-774F-40DC-9DA5-E493336D6C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"618e6039ba008d91a464636d30429e506d7d5685","datavalue":{"value":"bisimulation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373649$5C5FE183-204D-4156-B0BD-34499BD6714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf365319598a64c9d476ec4c014faad9a472166","datavalue":{"value":"testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373649$1C4B2C6A-FDA0-40DA-A48F-096FE51D1662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373649$C50DD98A-94CE-4D09-AB82-AC52CB32A4CD","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":"Q2373649$F1E1DECC-949E-4CB5-95E4-61CF6C470119","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4057745f00f7a05d4f4c8a43f28ce5f7b469b751","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373649$215C3A33-9142-4E26-A1A4-D0F0F63118CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b72499ffd01d94a212c2f9e30892de92eacea00a","datavalue":{"value":"W2065103010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373649$153B88B4-B931-4C7D-A74C-3CA92FB7E79C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$A2CEC3FD-8D65-42D4-A69B-3CC32E17A953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$4D181802-49D4-4216-86B7-870F7B5ACCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$0483A155-C972-4629-B20B-65D697834C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08602170eadbaa5a5121a9af71ceb1e063a668c7","datavalue":{"value":{"entity-type":"item","numeric-id":2863904,"id":"Q2863904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$97596125-3FD9-46A6-A570-BDE699C6BD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cac37f4c2e1368ce86e5603c98ab39d19c67116","datavalue":{"value":{"entity-type":"item","numeric-id":1853585,"id":"Q1853585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$A0F4DC43-131E-4C3F-AEB9-F0F2157F9D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6272202f7180f80c8ff70a3e5f46c3d6fcbeb16f","datavalue":{"value":{"entity-type":"item","numeric-id":4536610,"id":"Q4536610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$A3AC136B-E0E4-47AF-98A8-6FA49BD3A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$68D582AF-12F2-42DF-861C-F4B3E5477CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abc2120959d494e9ab3121d3b96b6cd93de7992","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$5779B5B2-2598-4543-926F-C6392FB27003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$055051DD-988B-444E-AFDD-E85152A0B9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$26578C6F-17DB-4394-A47E-A7DD76481932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$DE77320F-37A9-45BE-B279-087CD93DFE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$9C2B7997-64F8-44DD-A52B-4E1B1E200837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$362F13AE-0C4A-4669-9896-9FC647514B2F","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":"Q2373649$1BBEEB23-DFEB-4EAB-97FB-96C40222C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$37D663AF-2776-48F8-A46D-E6ACBD02B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0193418f916e9f7f0c7d8969c6fc34654bb6b99a","datavalue":{"value":{"entity-type":"item","numeric-id":1400293,"id":"Q1400293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$30138601-F21F-4C8D-AF19-ACCBA924F1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07f645bd2a8759531d230bdf5080b7471c27ced","datavalue":{"value":{"entity-type":"item","numeric-id":5900566,"id":"Q5900566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373649$54334C8D-50DA-42EA-A22F-602E5713BB65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b06713263ab55ccdc3bf44859bfbce6f2df7a42f","datavalue":{"value":"10.1016/J.JLAP.2007.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373649$580C849E-D3A7-4F12-9BB1-F531E746DBE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305886efe3ca3c79311d968af48d42a86d0842d0","datavalue":{"value":{"entity-type":"item","numeric-id":5262954,"id":"Q5262954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178d5cddf98debc5b95f3a7677b333444b410224","datavalue":{"value":{"amount":"+0.94837486743927","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":"Q2373649$C73A6D0D-F0F1-496A-9E88-238D9647F9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4c08841acf789af0d234460922d1b46847a259","datavalue":{"value":{"entity-type":"item","numeric-id":3084590,"id":"Q3084590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ed5b86aaa8614a48d884bf5c11db5ffa7cf54a","datavalue":{"value":{"amount":"+0.8520936965942383","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":"Q2373649$1F732535-6758-4646-9F6D-9CE3AD1349B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b261bb5742359123c5b4de71ea20e7f2e4004ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3543307,"id":"Q3543307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e4af245b3f8365055778806e3a4192c4fd16f4","datavalue":{"value":{"amount":"+0.8409329652786255","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":"Q2373649$77980A59-F20E-4A4E-BE3C-6FDDA596D4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410325629b48e9ff0354c0f84fe38561c46d9471","datavalue":{"value":{"entity-type":"item","numeric-id":2863904,"id":"Q2863904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fc02435cd06a2da85ebbac64f815e3f077af46","datavalue":{"value":{"amount":"+0.7974615693092346","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":"Q2373649$99997EF3-1F16-473B-8675-642D17F373BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125737e38fa5823ceb2ac181b462df9c6d826d5","datavalue":{"value":{"entity-type":"item","numeric-id":1753998,"id":"Q1753998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d734deb47ce495bf2a5e94b6b36776c5ae5605","datavalue":{"value":{"amount":"+0.776296079158783","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":"Q2373649$4652B99D-906A-4DF4-97D3-7DD904907642","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373649"}}}}}