{"entities":{"Q6045054":{"pageid":13179210,"ns":120,"title":"Item:Q6045054","lastrevid":47854147,"modified":"2026-01-02T21:33:57Z","type":"item","id":"Q6045054","labels":{"en":{"language":"en","value":"Translation of CCS into CSP, correct up to strong bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689391"}},"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":"Q6045054$D1F19FAD-9715-4A6F-9E76-63EA88FB25C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29b75d7d849f07701e2498c0d4aa3189b932fa36","datavalue":{"value":{"text":"Translation of CCS into CSP, correct up to strong bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045054$71F21CB5-C20E-4376-B7F0-CE05AEEF4E8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"995ae3a9a0d972b633b718afc1793e87fc6529f9","datavalue":{"value":"1522.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045054$35737C1F-76AA-4ED5-821A-FE2465851B93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da212a8a8f921bee2d21ce7b525e696a74405291","datavalue":{"value":"10.1007/978-3-030-92124-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045054$2176BF64-9EBE-4CC9-9F55-94258320E720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"910bc21ce3a3b4e0b0534549ac6b2e0c8d6c4e82","datavalue":{"value":{"entity-type":"item","numeric-id":1982649,"id":"Q1982649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$BD7B3B77-C654-45BF-9A0A-806B9DE5D579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea96b392951ec1833f9a7654afda9da933112fd0","datavalue":{"value":{"entity-type":"item","numeric-id":456464,"id":"Q456464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$5BDAEDA6-54E7-4B91-8DE9-2B26C0D0A996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bcc2517d7f29a0c99d871175f905014f619cab8","datavalue":{"value":{"entity-type":"item","numeric-id":539164,"id":"Q539164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$8B10E155-5A34-4557-AD41-41093825A31C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$98D42662-52D2-41C2-A5F3-8AFC00C22064","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045054$5B145F39-5F1F-4681-AF5A-1027A38F418C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fba498c1ffd30ca045b99d7d47517500a25520ba","datavalue":{"value":"http://hdl.handle.net/2262/97946","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045054$15320DB5-53C6-4599-9C27-1943EB180AFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045054$480EE07C-0E78-4971-833C-9E27C953B206","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e73c22912b3ac7b30b4eccd2b8196aeca493d6e","datavalue":{"value":"7689391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045054$F3ADA01D-85B4-4DA0-AA80-577E18DADD40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045054$04EFCDA8-CE9E-41AB-A67C-B9B8DF89E2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b12fedccbc951e9790c3281d647a711226eea4","datavalue":{"value":"calculus of communicating systems (CCS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045054$46D88D3A-C440-4F73-8C6D-40FA18CEB881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b902812c304761498f6e65c6bde29ae936aa5f","datavalue":{"value":"communicating sequential processes (CSP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045054$ACB9A534-3E37-44DE-BCA0-0E70C6D625EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a2076198e5b4493ba80fad7a45bb5d1b99aa7ae","datavalue":{"value":"correct translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6045054$E81169CD-5D2A-4F6A-B171-CE728B364F05","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":"Q6045054$22310BA7-C3B2-48FA-A510-12980FB6E469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48dc4fdd8430404f7cd82f96b286d36bee9c515e","datavalue":{"value":"W4205196243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045054$9996467B-E99F-4381-B9CE-6C7301AD019F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70a06f78fc76ccdc546da5eeba08398205a2ab2","datavalue":{"value":{"entity-type":"item","numeric-id":5890661,"id":"Q5890661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$92F8A16A-C32E-45C7-B1BE-1A44A314F1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098358cb568c6c547d13ee0ec69c3f29140fbb1b","datavalue":{"value":{"entity-type":"item","numeric-id":3664417,"id":"Q3664417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$B9EDA06F-9C1F-47DA-9EE8-1604525D2E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c8f85a04acb0f50025f8744f96b9a09d6922b0","datavalue":{"value":{"entity-type":"item","numeric-id":1982650,"id":"Q1982650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$12C191DB-0B19-40BF-960A-4D0DEA0B25FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102cafcac23f245f2f35a5df9ea09dec51663dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1183552,"id":"Q1183552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$F204545B-464F-4765-9170-C2D7C93C00D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea00f9571a2f3eb35a08ae82329dd711da0dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$548C1539-3803-4968-8130-E94CE9CC4E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282922bda9a2e5c294fd460fb0c5cc22815348b4","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$0249084B-B7DC-4D05-85B6-43295E108641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd215510819b3103d6721513e98769b65d4143f4","datavalue":{"value":{"entity-type":"item","numeric-id":890611,"id":"Q890611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$3AA5D838-E214-4FB8-8E40-D48F84B44DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265c5cb839de7127e39cdfa898752a643202018c","datavalue":{"value":{"entity-type":"item","numeric-id":4986261,"id":"Q4986261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$7C8E8DCF-728E-438D-80E9-6D458C0E8BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989e82502008453c865c7b5149258a6a364276ac","datavalue":{"value":{"entity-type":"item","numeric-id":3541040,"id":"Q3541040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$7AA1FB5C-7E1F-48B5-AEDF-C09CB194C58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7afd9be2264c3eed5bf617d84054f09b4a10fd","datavalue":{"value":{"entity-type":"item","numeric-id":5013872,"id":"Q5013872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$75FF37AD-BC7D-4B73-86BC-B0C2C1790B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7fd961c74ec9cabc36f615adb908f1aff902bc3","datavalue":{"value":{"entity-type":"item","numeric-id":960852,"id":"Q960852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$B02BECC3-8735-4F94-A5CA-82D646AA4B11","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":"Q6045054$E3928D7D-D3E0-4DB6-836B-C6511E6F31DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5610ca64eabd4c97022ad974b8da0dd25582dcd1","datavalue":{"value":{"entity-type":"item","numeric-id":5262968,"id":"Q5262968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$DD40EF80-4A96-40C2-94DF-1119FF027BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$8C97B8AF-C006-4DAA-BCA6-1E0CFC03695F","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":"Q6045054$AA7C0E77-7445-4B57-8EAE-BDDB046A0A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e6006731b72d6e5b89c6e8aff14f50b9c45e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4721641,"id":"Q4721641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$848EF1B9-BD1C-4A72-8513-7189342348AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7144675b54583a124c3dc7dcb936306ecc846d3","datavalue":{"value":{"entity-type":"item","numeric-id":2870198,"id":"Q2870198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$C347D336-C132-462A-B49B-C1BC0938360C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265838b4ff7fe5f1c9d4c94933c415bd57b438b4","datavalue":{"value":{"entity-type":"item","numeric-id":3385647,"id":"Q3385647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$E6D2E59B-893B-413A-83A7-2D7937433E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045054$3C2106E0-AA24-4C75-A6FB-246F3AA65A85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0a66467c01642d3aac07e57b29f85f41393a9","datavalue":{"value":{"entity-type":"item","numeric-id":5013872,"id":"Q5013872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03540397dab6e27716801722d2384b810890f207","datavalue":{"value":{"amount":"+0.7503241896629333","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":"Q6045054$9C199A4A-BA03-4128-BCC1-9C92CBF3093A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77d1f89acc8320ca36b009f70426c8acd8c09c4","datavalue":{"value":{"entity-type":"item","numeric-id":3675536,"id":"Q3675536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f80bde7f1049884a8217ce3bb69d56fa015ed39","datavalue":{"value":{"amount":"+0.7475659847259521","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":"Q6045054$4F8F5559-7EA4-4A49-B250-24A78C6BDABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9eadabd37c51180e6a15400bf0cdab5498a7b2","datavalue":{"value":{"entity-type":"item","numeric-id":5307473,"id":"Q5307473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9313466b40be7b83a0c945917e4faa8985a069f8","datavalue":{"value":{"amount":"+0.7439963221549988","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":"Q6045054$B6547771-A6EE-4C47-A73A-28D00A960002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2fac329bfb6fa2ccddae58e8e4593358177f7e5","datavalue":{"value":{"entity-type":"item","numeric-id":960852,"id":"Q960852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2253ce3b965a78f18aec96c88825342343cfc5f","datavalue":{"value":{"amount":"+0.7368642687797546","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":"Q6045054$8FD2BEF4-6F2D-42BF-A911-0CAE05489D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be820f4b30e5f46c065976a2e5b14ab0686ce71","datavalue":{"value":{"entity-type":"item","numeric-id":2182666,"id":"Q2182666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db64dfc56cae109e61e84c229f6799fb5d4a54f3","datavalue":{"value":{"amount":"+0.7257272005081177","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":"Q6045054$4D556B87-1ECF-4725-8FCC-62D8A72A879C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045054"}}}}}