{"entities":{"Q1060838":{"pageid":1071590,"ns":120,"title":"Item:Q1060838","lastrevid":69537651,"modified":"2026-04-13T07:40:51Z","type":"item","id":"Q1060838","labels":{"en":{"language":"en","value":"Specification-oriented semantics for communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3909722"}},"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":"Q1060838$62354031-C57E-421E-A815-DD9677A8DF00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78e77fef3619ffe254e04587e13fef751cb8d4cf","datavalue":{"value":{"text":"Specification-oriented semantics for communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060838$6762DADA-2D75-4275-9402-9259A3177D8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"273eeb985d462fb88f2f7c5d92e110ea5a9e71ca","datavalue":{"value":"0569.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060838$04A9B51B-1E61-402D-94A6-4E14DF8E7646","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7636543318d36054a71ce6ec7a4d3b43afaa0395","datavalue":{"value":"10.1007/BF00268075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060838$9E188A29-3182-43D0-B956-B5324A995D92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$4C198DAD-A996-49DF-AB35-6D0AECE9ECAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1060838$3B233954-AA8F-4519-9F15-8134507D0653","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"032cb13ab8dbb91a122b30d2cdd2bcf6186efb40","datavalue":{"value":"A process P satisfies a specification S, abbreviated P sat S, if every observation we can make about the behaviour of P is allowed by S. We use this idea of process correctness as a starting point for developing a specific form of denotational semantics for processes, called here specification-oriented semantics. This approach serves as a uniform framework for generating and relating a series of increasingly sophisticated denotational models for Communicating Processes.    These models differ in the underlying structure of their observations which influences both the number of representable language operators and the notion of correctness expressed by P sat S. Safety properties are treated by all models; the more sophisticated models also permit proofs of liveness properties. An important feature of the models is a special hiding operator which abstracts from internal process activity. This allows large processes to be composed hierarchically from networks of smaller ones in such a way that proofs of the whole are constructed from proofs of its components. We also show consistency of the denotational models w.r.t. a simple operational semantics based on transitions which make internal process activity explicit.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060838$C788DA42-1856-4ED4-ABC7-79D345F06785","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060838$54717BFF-D2B5-444D-99D5-D6B2AEDEBD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060838$BE870348-1415-41DE-AAFB-43FF887D5B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d03c52a415db05c4ba21376baa10690b0ae3f171","datavalue":{"value":"3909722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060838$21CA172F-5DD2-4C6E-85A3-90F3FA3CAC28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060838$3561A86A-0BCD-47C6-9036-1F045F5093A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060838$36A22DB0-4E91-4499-9960-1374FB5CE624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7d5c530870e97433d0a186425281df9a4182e3","datavalue":{"value":"specification-oriented semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060838$38579537-3FB8-4DE4-A287-2760C2A9E150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060838$36995402-FB25-46D9-A062-5ED9F9A03387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060838$2DB73CF7-101E-488A-99BC-7956DC9FFC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060838$3939B80F-480C-4D4F-951C-5B95E741786B","rank":"normal"}],"P16":[{"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":"Q1060838$212E2B84-79B8-4D9D-85B3-1A0F503895D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$4DE7BAFB-C8CB-4A13-9FBD-78F819B076AD","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":"Q1060838$9BD63020-4470-4BD5-89E4-6005D50093ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$B2F42EC2-EF0E-4224-A08C-4E089C838557","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":"Q1060838$D28FA958-A7D0-4ED9-8422-345FF1BF6F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$3DC6CCF7-08B4-49EC-9BBB-7A844C0A3925","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":"Q1060838$108A60DB-6D58-4B2C-90A6-C88D88DAA73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd584b4ad13350ceac0e82f1a8733443baad0d7","datavalue":{"value":{"entity-type":"item","numeric-id":3681902,"id":"Q3681902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$12A8CC2E-0721-45AC-A89B-8AB775A1C35E","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":"Q1060838$8697A92C-EF41-405F-A312-5C8F25B3C44D","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":"Q1060838$C9619DDD-2B1B-4FD0-A08D-7BEB881E45D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d582a0d50e629df24500ae1a94f85ab63d37cfed","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$5B728DC8-C5E3-400C-92D1-6AC7D38C1D62","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":"Q1060838$A638763D-7D68-4E03-8240-4C5ABFC9D844","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":"Q1060838$E47DCB82-D166-4038-8300-C5069FDC7702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$7FBD2B41-2038-480C-9D97-4D27FF5E2EFA","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":"Q1060838$938919FD-6A3D-440D-A4F4-02332B03CE48","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":"Q1060838$708ED868-01ED-4631-A8F7-BFAAA0AB23A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$6AF77CD5-29A2-43C5-90D6-AE8F866CAE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$28B96F84-F10F-4DD3-8783-7E58689CBEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$D851E3F3-5AB0-462C-827E-76C85120088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4421c95a6ca638fefae6268ec8589c74dd37765","datavalue":{"value":{"entity-type":"item","numeric-id":1050768,"id":"Q1050768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$4704D4C5-609B-46E1-981D-0559216EF36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$8B1B8535-7157-48FC-843E-508F0BBE375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$2D0AC9FD-BF58-4F32-9E86-03F41540AA7D","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":"Q1060838$37DFEB6E-032A-4838-A54C-D87FAFE374D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$4C1AF393-AE93-4335-9913-B6B5767FAAC9","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":"Q1060838$CBDC2454-CE2C-49B4-8640-A90CFCF26D53","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":"Q1060838$8527032E-CC31-4E13-907F-DDF8E83CD153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$CFE96B8A-2A39-43F7-BE22-4B31A7DA4B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$6794125D-CD6E-4383-B42D-D88A1DD36928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$AC9B6321-2924-4BD8-8E43-B4C1AAA522C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$059A4326-635F-46EC-8275-9FA6F4C6D6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e57965cc74ef25185d7a9d01bb8a2e91836037","datavalue":{"value":{"entity-type":"item","numeric-id":3666248,"id":"Q3666248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$B32F507B-9F71-40FE-9405-C3F76D2BF144","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":"Q1060838$F4F509FC-B868-4308-B86A-FED018FCB95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4699e7b6f680f959edf7c209e86a633fded3126","datavalue":{"value":{"entity-type":"item","numeric-id":3700806,"id":"Q3700806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$57E6A07C-03ED-4E3B-AAA5-517A06C5F663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$2999DCCE-99EC-4F21-AA54-CB1257DF3235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$F7267691-F034-46BD-82EE-401288F59B81","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":"Q1060838$DDC0EC73-EC99-4060-B3EE-CDCF8E0FA951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060838$E249E916-0BDF-4672-8EB8-3B3391431CED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a03ee5f4fed6653ba05bc7108abe53a186a09b","datavalue":{"value":{"entity-type":"item","numeric-id":3700806,"id":"Q3700806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c35892951e7a1fc700a9ba6a9def6d413655f23","datavalue":{"value":{"amount":"+0.8743205666542053","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":"Q1060838$F1366EF5-6EAC-475F-A519-71DD226B109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd568911a6f81dfa2e89d2d22b7fafd5f5c408d","datavalue":{"value":{"entity-type":"item","numeric-id":3731021,"id":"Q3731021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6801dfbea6ba117381ece201f7601e6d6d887c7e","datavalue":{"value":{"amount":"+0.8049118518829346","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":"Q1060838$16A49A85-F3AE-42B3-A608-44CBE51ED763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a7fc9957e47fe97918e93176ca71505e1e4d42","datavalue":{"value":{"amount":"+0.8010495901107788","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":"Q1060838$EE66B737-A6B3-4D2E-82EC-42E051DF4A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8631275ad52acd3616dd087952e119a419a7cc32","datavalue":{"value":{"entity-type":"item","numeric-id":3702497,"id":"Q3702497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4555bc4a63764f57aad00a0f582684510e89abfe","datavalue":{"value":{"amount":"+0.7926439046859741","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":"Q1060838$691707F4-B00C-49A9-A277-BF37E88C525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9a51b91b63aa50361155f833fea16c324b9850","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e12bccd63fe15b1d36eb64c7e7b2f6f264464dd","datavalue":{"value":{"amount":"+0.7774731516838074","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":"Q1060838$473F8BA8-4D61-4E7D-ABFB-3B0D83DBCEE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification-oriented semantics for communicating processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification-oriented_semantics_for_communicating_processes"}}}}}