{"entities":{"Q6535949":{"pageid":14147092,"ns":120,"title":"Item:Q6535949","lastrevid":55604947,"modified":"2026-02-17T19:35:56Z","type":"item","id":"Q6535949","labels":{"en":{"language":"en","value":"Compositional verification of concurrent systems by combining bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817373"}},"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":"Q6535949$EDC9C0FB-1F0D-489A-AC5C-825825815D68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"440811b3d9f47a29939f41869e456f735140a208","datavalue":{"value":{"text":"Compositional verification of concurrent systems by combining bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535949$6D93851F-9CD3-48B0-90D0-D1EB0573E34A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"630bba60c887dd8a5f9a480af42abf86b77324e5","datavalue":{"value":"1539.682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535949$1644B5FC-526C-425F-86DD-073749045E71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3ef234cb6e073d8a1cc4c9f06d13fc260230329","datavalue":{"value":"10.1007/978-3-030-30942-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535949$1C729AD0-435C-408E-AB49-13CB64D7FDE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$23681F19-3B3D-4531-9AFE-CE5D1135F9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$0684BBB5-DE2C-4605-AB3C-D66709A5F604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f427b6436d4a2386764ffa0a95f85f7040f647","datavalue":{"value":{"entity-type":"item","numeric-id":246446,"id":"Q246446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$F8EC361B-937C-4F7F-98FA-D40875ED35EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535949$797FD97B-5A9D-4620-A9FE-27E38006E1B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535949$3EE49DCF-380D-4A15-AB93-15785DC333DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535949$C1A22504-6B85-4C23-8CC5-836A85CABB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535949$FC493A0A-4232-4DE7-BCEB-9A6AEA75B8C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"042ac1b2ca15904aeeb06431ab7912975b0ccf4a","datavalue":{"value":"7817373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535949$44AF86C3-007E-44DC-9926-B9D2DA9D0C11","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":"Q6535949$1D638196-465B-4CD4-B8DC-AE96A815A00E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$C9CF8E37-EF34-42C7-954D-1AB6A4BB37BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$3CA51226-EF49-4A7B-86D3-328896D7A30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$F64F439A-728B-4CEA-9549-DF2E7992982D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa0860d509d7a32953294f255a9faf7cabecdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$72F076C2-AF92-4E9A-9A0C-9D4856CD49ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$0E3335F6-2B5F-425F-A864-2FAED7AB1AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$58AF5BA0-C20E-4052-ABF6-720823886F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06ccdb99d77d5bcce8031a351ac511d2d075fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2851668,"id":"Q2851668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$420EFF4A-14F0-4DBB-8CE7-61333A18BBDD","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":"Q6535949$785DFDF0-7538-4575-B310-E17C26DE33DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$B0B920AF-34A9-4241-908C-D899E093E4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$25337717-9C70-4327-94EB-5ACD580C68C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$436156FE-CABF-40D9-8A5B-C166B085AFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535949$C4EC3F35-87EF-4396-8990-F6B6759F6464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff435e16bd6ea7685b7225ae0e32a42cb4bcff","datavalue":{"value":{"entity-type":"item","numeric-id":2147689,"id":"Q2147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a1fe33e5ab0f11bca2cfc199587ad60cd7881b","datavalue":{"value":{"amount":"+0.9910061955451964","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":"Q6535949$9FC4D7C0-FA46-4E33-938A-4BDD4B1F8005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209b94f600ceaee7eb7ad48a5bea22a10f354e16","datavalue":{"value":{"entity-type":"item","numeric-id":5164168,"id":"Q5164168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387f31116fb71886df2b47ca72e93b990171b695","datavalue":{"value":{"amount":"+0.831093966960907","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":"Q6535949$4D548CA3-3B87-454E-834B-043DE78D1009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5be2ac6e86c4ebfb28b4182e1f2d1771cdd308","datavalue":{"value":{"amount":"+0.7585622072219849","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":"Q6535949$F4988C75-1E13-4671-84E2-024A71B0B575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959d3e2d9fee2bd612a3fb8d6b0bf11e9ec36177","datavalue":{"value":{"entity-type":"item","numeric-id":703588,"id":"Q703588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c96212496b5686bf72739375b76df554a556a4","datavalue":{"value":{"amount":"+0.7583215236663818","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":"Q6535949$A09190B8-DDA3-438C-907D-1F35751E944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20532c49d9d4d3ae8f294148a0e0a60cc9c87685","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356cffd5d5fa2e1f70d53c779c1d93bcd2543931","datavalue":{"value":{"amount":"+0.7475817799568176","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":"Q6535949$961A371C-5E3C-4B81-80BC-9A2D6A346F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535949"}}}}}