{"entities":{"Q1107303":{"pageid":1118052,"ns":120,"title":"Item:Q1107303","lastrevid":69835644,"modified":"2026-04-13T10:40:20Z","type":"item","id":"Q1107303","labels":{"en":{"language":"en","value":"Transition systems, metric spaces and ready sets in the semantics of uniform concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4064459"}},"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":"Q1107303$D704787D-F879-4A0C-91F9-0E86A6383282","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"529f86463dd535aafe3a46cbe5bed227ff5fc4d9","datavalue":{"value":{"text":"Transition systems, metric spaces and ready sets in the semantics of uniform concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1107303$2F25CA6A-8D79-495B-980F-9F73D86A67DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd2aab36b3e95246c1bac19a6e156fab48758394","datavalue":{"value":"0652.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107303$E1C09E55-0A93-4B1A-AD2A-9E6B2AF236AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42f2272bcc32fb8a6743e28c888e0684e4f7b483","datavalue":{"value":"10.1016/0022-0000(88)90026-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107303$31C86D7C-E9C7-44A4-A42C-2896F1546C69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$F4E45D8E-C2EE-4313-966E-97901D893CAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1107303$435D458A-8C1E-46A2-B177-2A7E9E5A214F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bcbab19f6f19494540e95be8d2a4debe27605b5","datavalue":{"value":"https://ir.cwi.nl/pub/1718","type":"string"},"datatype":"url"},"type":"statement","id":"Q1107303$AC7F4C7B-2DB6-4A2C-A020-50ADADE66469","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2831fc9d31d2770e3359cdc332d62ddc3e427854","datavalue":{"value":"This paper studies relationships between operational semantics based on Hennessy \\& Plotkin-style transition systems, and denotational semantics based on notions from metric topology, for three simple languages with concurrency. The first has shuffle and a straightforward type of nondeterminism, the second includes synchronization, and the third contains synchronization and a more refined notion of nondeterminism.    The languages are all uniform in the sense that elementary actions remain uninterpreted. Infinitary linear (streams) and tree-like (processes in the sense of De Bakker \\& Zucker) structures are employed to model infinite behaviour. In the (nontrivial) comparison of the denotational and operational models we also encounter a ready set model in the sense of Hoare \\& Olderog.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107303$4231FBE1-7282-40E4-AC25-8A79F8AE37AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107303$DD782A5B-5277-411D-86F2-D10AB860953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107303$621BEECD-B715-4128-B5F3-55F1C2E7846A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da9a68b48a3f924a1457b305c4e74c757a4a7fdf","datavalue":{"value":"4064459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107303$396CE8A1-ADBD-4E51-A106-8A5A8791034D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107303$95E93D9F-752E-4840-BB26-B14F378D73A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107303$CD9A84E5-868B-410E-9B8F-60E87986D657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107303$2723B88C-0224-46E7-9534-1D1540302585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95cedc062c3b2333118c2d0e8a1aaca08a7039c2","datavalue":{"value":"metric topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107303$7A05F5A7-1B50-4ACF-B8AA-C704E52BB910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107303$207BA58E-7E84-436E-A779-77DA12F3718C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a570112bd3074b9470b5a0d571863e20309ed27c","datavalue":{"value":{"entity-type":"item","numeric-id":789889,"id":"Q789889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$AE416546-4ADB-42E9-837D-45D81BA6EBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$1DF458DE-7B81-4ABA-9674-89BDFA55AE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$3AA2A2B6-01BC-4385-828B-09588B187377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe49172b70054d929e5137c1186ec5713f7e5d","datavalue":{"value":{"entity-type":"item","numeric-id":478398,"id":"Q478398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$E9B2EA04-ECD4-4C90-9D2B-BEBF2EF16A69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71c876594569243d8a46dba6a49cb7e4f79f826f","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$693252DF-DDB1-4685-82E7-AF3AA9E410D0","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":"Q1107303$B2917C30-2EFC-475E-81F4-09D24CBC1CAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a808e40c85a6edd4013f5ff0c587846caf80a49","datavalue":{"value":"W2098280935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107303$46FFA38D-8D41-44D1-98A8-16748085CFB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b435d63e7c8336e6c9a694b54342cc9a6c6e9e4","datavalue":{"value":{"entity-type":"item","numeric-id":1050763,"id":"Q1050763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$E7EBC76E-A8FC-4DFA-95D2-D8FBF212FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd066bce14d041c9ce7cc1370b33a9fcab12fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1140981,"id":"Q1140981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$C243AE1A-D4FF-4B36-9377-B992A60241D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0caa445425764e7875fe94e1cdad65b198ea16f3","datavalue":{"value":{"entity-type":"item","numeric-id":3969859,"id":"Q3969859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$EBEAD451-374E-4A9E-B948-61B0790B0947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b3dd982771c82980203ba0f7ebec9b7b6371ad","datavalue":{"value":{"entity-type":"item","numeric-id":1348527,"id":"Q1348527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$4A9738B9-0A41-45A7-B6E4-71F7B48BB3B5","rank":"normal"},{"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":"Q1107303$026129A8-A373-4263-9C5D-5320A6093EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$39C173AF-087B-40F5-AB38-9B4CFDFB5BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$FEE85D2F-23F5-42C8-95CF-D7F7E35F97E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc797dffd4261744033fe762266e9de6d8a7176","datavalue":{"value":{"entity-type":"item","numeric-id":3745260,"id":"Q3745260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$F49785A5-CAA5-4F3A-B826-ED590A54FE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55f71c2e634fd3bc61959bb8a4913612601b85f","datavalue":{"value":{"entity-type":"item","numeric-id":1091800,"id":"Q1091800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$6B03D15F-26FB-4450-8AAB-A2A4A5777571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87ca4e77646e575c589276782f11ee63e7cf19","datavalue":{"value":{"entity-type":"item","numeric-id":1081296,"id":"Q1081296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$752D70C7-A675-4C3C-8479-96CCD94C0E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83ff1a9e72a69a2772e581c54639f52339c1590","datavalue":{"value":{"entity-type":"item","numeric-id":4746776,"id":"Q4746776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$A7B46B19-5B8D-438B-8959-0E34CB5148F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$3BFDFE46-FD14-47A9-9867-A35D92111169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e5b51817b53484d3dfa2ff8174bbb7f1306491","datavalue":{"value":{"entity-type":"item","numeric-id":3347277,"id":"Q3347277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$367704AD-269D-450D-839D-ACF6126ED784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d4c9bdb45ada7f20843902df0bd5450e3fc57d","datavalue":{"value":{"entity-type":"item","numeric-id":5520521,"id":"Q5520521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$8277EC17-EC09-4FE5-8B51-0A1D7D5FDD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$AEB2E7F6-7DBA-4270-97E0-70185A5FEDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$79F36B87-3003-417E-B211-AEBEC182D7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$F6346950-CB57-466E-98A5-991175A648E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0376c3db189b8c426e304b128e5c8000af4556","datavalue":{"value":{"entity-type":"item","numeric-id":3343434,"id":"Q3343434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$20C07F51-F78A-42AF-9D28-92E8E83A6E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$0532A7D5-8D9F-401A-AA22-FB43AD87C933","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":"Q1107303$9881F277-565A-4DA1-9DE8-EE3AEA37D45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$8AE3B8D8-E088-4AC1-A91A-0DB549A9D660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$F9D7003A-6C0F-417D-BE97-FD61AA9A1A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466559153374b3809ee51b865494e1d115a7d685","datavalue":{"value":{"entity-type":"item","numeric-id":1082070,"id":"Q1082070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$0BBE49A9-9F77-43BD-8D18-92F5099A05B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f602fddc4b117b67792efcf3246de0a8a1270","datavalue":{"value":{"entity-type":"item","numeric-id":3750113,"id":"Q3750113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$2869C235-BC85-42D2-83C6-F14982B7FDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c2f03ddf184e0a48ae79021ba37eed12ad78ce","datavalue":{"value":{"entity-type":"item","numeric-id":3857704,"id":"Q3857704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$E9153F79-F5C0-4252-90DA-C18844DD613C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$FD7FFA1C-4522-4746-ACF3-4AF64819CA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$AAF0B8A2-3AE9-4B9D-87BF-14B742DE542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$641A9ECB-A0E7-4A06-B403-A15A75B6CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc3dcaf64ea4cb423b11ccec3e0a8e901770ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3732940,"id":"Q3732940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$3D06F083-8A89-408E-B747-A30682856861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$F826E0E7-1C5E-412B-B322-24432C7EB168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$A376E806-263B-4061-8A7F-120586AB2C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be1e772c7b43052899e2f3979d8211bf7398802","datavalue":{"value":{"entity-type":"item","numeric-id":1155952,"id":"Q1155952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107303$956EBEBD-A68E-4647-81D6-57FE1CF61704","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb51b95b566bf762ea1f9ce6eb5687562e672bc","datavalue":{"value":{"entity-type":"item","numeric-id":1113660,"id":"Q1113660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76df9c0a3921fdef3913c07e84b5b71e492963b7","datavalue":{"value":{"amount":"+0.7933970093727112","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":"Q1107303$FADB6653-BC25-4DC9-A021-9470B0DEEF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eb2e0d997a29c3e2b0321012cef4c77a173a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3681902,"id":"Q3681902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfd51307c67726943120a4d32c790b0948221c2","datavalue":{"value":{"amount":"+0.7806214094161987","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":"Q1107303$C7110F90-E0E8-442A-804C-615BCDBD063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4749fdb10852b39ea478a4336a7d24f70e618c28","datavalue":{"value":{"entity-type":"item","numeric-id":3975030,"id":"Q3975030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9e2a34e9e7f4d5d926fa7d10d8950b765c3dea","datavalue":{"value":{"amount":"+0.7805520296096802","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":"Q1107303$0F89DCCD-19F9-4F73-BF17-9B3040872AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ce269e5bd60375fbd712612056928c79b773d8","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9e2a34e9e7f4d5d926fa7d10d8950b765c3dea","datavalue":{"value":{"amount":"+0.7805520296096802","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":"Q1107303$869FE922-B68B-40D9-93F6-AACE4CCF127F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82da2efa86aced4e70fe483cdd4c1a7e173f75d","datavalue":{"value":{"entity-type":"item","numeric-id":1085602,"id":"Q1085602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef13266e4f2b3b2c8c9ccf2c709d83150ff31f6f","datavalue":{"value":{"amount":"+0.7778797149658203","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":"Q1107303$895E5744-E117-476C-A71F-39864C30911B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transition systems, metric spaces and ready sets in the semantics of uniform concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transition_systems,_metric_spaces_and_ready_sets_in_the_semantics_of_uniform_concurrency"}}}}}