{"entities":{"Q6589835":{"pageid":14200992,"ns":120,"title":"Item:Q6589835","lastrevid":42367184,"modified":"2025-06-13T06:43:31Z","type":"item","id":"Q6589835","labels":{"en":{"language":"en","value":"Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898948"}},"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":"Q6589835$B8862E01-B802-491D-B360-D08C048D0405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5c13147a121753f0cfd1f545bd38224f871cdb8","datavalue":{"value":{"text":"Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589835$40B6D526-15D1-4FBB-8493-5080BDECA20B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$CABE8BDE-6B07-45FC-B0AC-6CFF0D1F9B40","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":"Q6589835$7499C7F5-3B60-4C3D-A40C-651764478CAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac5a36ab43e3a34b30d87cbbbc4e56173ed434d","datavalue":{"value":{"time":"+2024-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6589835$E892E6E3-2AA7-4726-B174-540AEC3CF6A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589835$CAAFAF83-3386-45DB-9BA4-6ADD69BF55CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeee34d2711a5c837fac88d645954cde72e50ea5","datavalue":{"value":"7898948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589835$ABA0BB31-7052-4BE9-8A63-780C803F687D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589835$C5B4F562-FCE4-4D04-BB69-B2BC91C3B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7438ef3a82ff5db6f331a4d72c6fafa40d16e2d","datavalue":{"value":"discrete relative timing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589835$ED7579D6-563C-4255-BAD3-B28FBBB31DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f34fdafe40c66edfe5abd6784afdc2bfe321d3","datavalue":{"value":"branching bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589835$BF804BDA-24C3-4FEA-B578-7ABEC959C634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a1ca47e2aa7d5040c3fc21889ee4637f0dc2ae","datavalue":{"value":"PAR protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589835$FA471D84-8903-4996-A800-EDFBAECB80C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c96bee06122d04aeb6da34b7f304f77e7196b92","datavalue":{"value":"functional correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589835$5E9A386B-21F9-4A16-8324-F3ABD78CE34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a905ee37cf64272cbf0897431db5b425f4ae6b","datavalue":{"value":"performance property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589835$99D99C37-4D5C-4824-950F-C61468001AD1","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":"Q6589835$24B68C4B-86EA-4030-AA72-ACB1B55BCA70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$4A44D20F-9838-4DA4-B4C0-AE457A29C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bee26727117a3402c6fc569c590c71675f81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5055876,"id":"Q5055876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$40BE3308-A51E-483A-9D30-F1813B09B42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$EA24601E-5282-4AF8-AB68-54B4B14E7FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$7255058D-8F82-49F9-8063-9B007B6568C6","rank":"normal"},{"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":"Q6589835$C022F2CD-9A06-41FA-B593-8BDBA54AA180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$2025BF55-86D9-4A09-9A0E-6897D75A0227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$DA27B14C-5C7F-4AC7-8095-061AAA42BDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bed6263efec8651fc93f07f9b40454674a49988","datavalue":{"value":{"entity-type":"item","numeric-id":2757804,"id":"Q2757804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$265FFB8B-A2AC-47B9-91D5-36C2068A86BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$4FBD54D6-3875-4A8C-B31B-DE43D33362F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$BD9FCEC7-C87A-4D3C-A7ED-F5C233D77852","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":"Q6589835$16636605-5709-4797-B782-D7D495B06A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$3151839F-3636-48E3-A72C-4A9CB8448D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb8098ae7580c0e23f3c0793e0a2aada5e58ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4278673,"id":"Q4278673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$D808C90E-4ADB-4710-8EC3-81DBA1F6A3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e167154b7e78c619d962037be6a827cbce00efd","datavalue":{"value":{"entity-type":"item","numeric-id":6588076,"id":"Q6588076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$E015178B-E506-4E93-8AE0-94E5CE7E6A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61186dc5a1a66abba270342c28aed2589a260320","datavalue":{"value":{"entity-type":"item","numeric-id":5204347,"id":"Q5204347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$E2C05CA3-3404-4CAC-B3B7-D05A97678231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2848258de38f48f1e6a366b0c6f47b36aae3451a","datavalue":{"value":{"entity-type":"item","numeric-id":1183608,"id":"Q1183608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$2E2FE31C-FE72-4763-A0A9-543A49646F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d070117b2c9c319216e3f2327ad68f98f04cdf4","datavalue":{"value":{"entity-type":"item","numeric-id":1261314,"id":"Q1261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$D6FA5CA3-D372-4D55-9D63-EDA9FEA5E5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45a23291bac8e795895134bc8de402308abfe18","datavalue":{"value":{"entity-type":"item","numeric-id":3508533,"id":"Q3508533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$59C8C7C2-40B4-4D07-A9AB-2121DEFB1DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df9e0175ef496e5ebd6df7b84e14f26ed96e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999165,"id":"Q3999165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$87FEE5C2-C35F-4CB1-AE1A-0D2124C5BD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c61a2308cb21601129dda56139a542aac249f2","datavalue":{"value":{"entity-type":"item","numeric-id":4367581,"id":"Q4367581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589835$F7D3FA12-B1BC-4B2A-9E0F-CF2D36033385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49eb80ced745535bdc05e5477e38ee048d648d0a","datavalue":{"value":"10.1016/J.TCS.2024.114681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589835$7B4F2CFA-7F8C-4DED-96C4-506905BD5678","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589835"}}}}}