{"entities":{"Q1853585":{"pageid":1864327,"ns":120,"title":"Item:Q1853585","lastrevid":74322459,"modified":"2026-04-14T19:31:52Z","type":"item","id":"Q1853585","labels":{"en":{"language":"en","value":"Performance measure sensitive congruences for Markovian process algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857110"}},"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":"Q1853585$35313655-8F43-49CE-9D75-C839B25710C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c52b694e957077fb3e5bd95752a69f507e9f253e","datavalue":{"value":{"text":"Performance measure sensitive congruences for Markovian process algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853585$6097EED1-DA7C-49D1-86E9-04CB8F72ABBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39256301a667239883759989a4ea711b9b2f4df8","datavalue":{"value":"1019.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853585$E33B1CFB-92B0-4BB6-BB16-6412B61D1DB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8ea43125b3fefb74c1e069632c2dc056cac9878","datavalue":{"value":"10.1016/S0304-3975(01)00090-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853585$48384999-EA8A-47D7-BF72-E6999D986FA4","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":"Q1853585$2F1902C5-1464-4200-9D42-14F4351A34D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$61D489C4-D1E8-4730-A8C5-0929660B9D94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$3641054B-EEA0-4211-A37E-E1B78817A37B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853585$E94D7D0A-9600-415A-B181-FAA02A8E236E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853585$D7B03AF0-0CD9-4AA6-B1AD-C560B7CF5F55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73fdfefdab89c4ed92f179e5082bdd74b8df9b8b","datavalue":{"value":"1857110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853585$802EFEA7-4B93-4D91-9452-35E93DEF01BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853585$10C7FEAE-AEE1-4A5C-A9C6-3423E4725E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853585$FD08CB32-807F-40FF-A21B-3EBCDF44F63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853585$C30D56A4-797C-4EBC-B4BB-82802FEE7CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2bca54041ff1444bb3f47776aa4340d11314ac","datavalue":{"value":"rewards","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853585$707E44A1-806B-4919-BE99-DEBB4F0B5434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01602e4ca3a2b914bbf78fa927ee548eadd569a1","datavalue":{"value":"mutual exclusion algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853585$74222551-FF7B-4141-8358-BB501E87A6A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8e5d5bcc5e71e7649f82c0434334f298b02dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$0347BA74-2C6C-4CB9-A3F1-BF90CE0A4EBA","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":"Q1853585$673445FF-4B1F-4912-9AAB-12541C00819C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$A752022B-07FE-4902-ABC0-7FA34BAD5B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d022874c2fe7d58d1876938350ab409ec9766ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$43F175A9-AEFF-4CE4-BF72-2E6248247744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$1EFF02AC-B88E-4BEA-8EEA-A0405AFBBF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0a059531debcdad8214fe2067db94848f44789","datavalue":{"value":{"entity-type":"item","numeric-id":4571967,"id":"Q4571967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$2F9D7C6B-6DB1-4D7E-8952-006A1D51AB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6bebd8bbbfd652a8504ecfa761893024e0cb38","datavalue":{"value":{"entity-type":"item","numeric-id":2703726,"id":"Q2703726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$F4AEFCA1-9AF8-48D4-BAB6-6A9353C95548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcd19d9c641565644143a766ad556ad343378fc","datavalue":{"value":{"entity-type":"item","numeric-id":3994065,"id":"Q3994065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$08CCABBA-B929-4730-9A31-88AFE002A4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc39e579b2a1abf2ebff4dfe5dd6b0b128cc626","datavalue":{"value":{"entity-type":"item","numeric-id":4144754,"id":"Q4144754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$E0A73251-F6F2-4465-9A87-9042C92A0F76","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":"Q1853585$E9F9F84C-0EF0-4AE7-88AF-A11FFF77CA3E","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":"Q1853585$A03D2D2C-AA94-4147-9282-9411457DE868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd288f98570483bca158649053f28ba75f26b3c","datavalue":{"value":{"entity-type":"item","numeric-id":686334,"id":"Q686334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$B20448F2-C286-4911-B3FD-481F8D73C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fe35590b793289d3b2ef7b945c516487a25583","datavalue":{"value":{"entity-type":"item","numeric-id":4936893,"id":"Q4936893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$20053A1D-B4C4-409D-AD56-744FAE22A92B","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":"Q1853585$5817678D-5332-491A-A4EC-0A88C2028E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eaf459896c03da2f9a6c1d80604ecab454ab26e","datavalue":{"value":{"entity-type":"item","numeric-id":5635252,"id":"Q5635252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$84F86746-C55A-4F72-B6B7-6E3FB6414B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec84fbee68a0f39c4412546421fde35e45c2ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":4101255,"id":"Q4101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$4F5B0C56-0676-4A6A-B1B3-6EA47AB36501","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":"Q1853585$7EFD0890-E7CE-4561-81F9-0B10CAC84137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$686AAA34-B547-4C34-A939-229605A2C9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785e9a9454274218b35030d64e48d2c339ed77d1","datavalue":{"value":{"entity-type":"item","numeric-id":4004638,"id":"Q4004638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$5F7FA30E-E206-4291-8CE9-4EB80B405556","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":"Q1853585$54DC68E4-44BA-4413-A2FC-77A0375A99C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ec04d753143a84c8df613afb08de87e7b90c87","datavalue":{"value":{"entity-type":"item","numeric-id":4309196,"id":"Q4309196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$9EC4DCC3-E020-48C0-9118-BC6FCFD48B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$9EC57169-448C-4201-8929-0111B6313504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54edf4f219cc341320e452ee26091fbc705bf28","datavalue":{"value":{"entity-type":"item","numeric-id":1343865,"id":"Q1343865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$1474DE70-518B-41EC-8EB5-74817C346145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3439b213f89a83234b31fbd61e6f74e21a24530","datavalue":{"value":{"entity-type":"item","numeric-id":4004640,"id":"Q4004640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$F37D7AE6-36AD-4484-9410-E5CC1F536E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c07029c700c0ca920756f856bee2ac8ff2ede7b","datavalue":{"value":{"entity-type":"item","numeric-id":1177943,"id":"Q1177943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$F624C16F-A03F-48C3-B300-319A15736844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64500073f4568fa832760e38bdced5255a2807ea","datavalue":{"value":{"entity-type":"item","numeric-id":1392272,"id":"Q1392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853585$CB3A4955-22DB-4391-A5A1-0D70A6F17B04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3bc5ebb570a72823c86e4acd42cf9a0d339cc9","datavalue":{"value":{"entity-type":"item","numeric-id":6104380,"id":"Q6104380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d7a36820186dc5a7d10f92f574ad6bf7428bc2","datavalue":{"value":{"amount":"+0.8352848887443542","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":"Q1853585$80C8AE38-545F-4D1A-AA8D-B9F7EA59D0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39cd534440fe24d9c83980f8e37d822a3ddedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1275822,"id":"Q1275822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d045429f73bc6c0fc16b473b5bb7553c7d1a64f2","datavalue":{"value":{"amount":"+0.8164814710617065","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":"Q1853585$BE186AAC-7716-454A-A9C9-B65BBC987BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b45a2bfff5eb1b4109bd53c3549b4356c53170","datavalue":{"value":{"entity-type":"item","numeric-id":4861732,"id":"Q4861732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb986dd544036e82f903650e223cccb21a38f67","datavalue":{"value":{"amount":"+0.81266850233078","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":"Q1853585$63776994-F8E0-4554-BC87-A50AF7CAD428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fe49faf855c05b794fbd49020d12b14f63694a","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b7b29131d4ba2107ae81cb50bf5303e3645459","datavalue":{"value":{"amount":"+0.8116001486778259","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":"Q1853585$45C02170-0856-40CF-8965-F02E54E74B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324cc02b9fe4e580b4a37ab5cbaf6e2c75e9fef2","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cea382babda448491306883c59602975e7bc46","datavalue":{"value":{"amount":"+0.8107709288597107","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":"Q1853585$9935C884-2A3B-49E9-9C65-AF3AE9D3BC44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Performance measure sensitive congruences for Markovian process algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Performance_measure_sensitive_congruences_for_Markovian_process_algebras"}}}}}