{"entities":{"Q914405":{"pageid":916253,"ns":120,"title":"Item:Q914405","lastrevid":77723510,"modified":"2026-05-06T09:55:42Z","type":"item","id":"Q914405","labels":{"en":{"language":"en","value":"Algebraic specification of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4149591"}},"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":"Q914405$BBB051C4-DBF5-4954-94E1-6D098356F607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45e3a5286687a5bd7efe22095f4d57b5b967a7f6","datavalue":{"value":{"text":"Algebraic specification of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914405$AA0B0913-6854-4F90-B900-7DFD7685A7E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b2017c9a773709fbd4bf60296f165e2f840578c","datavalue":{"value":"0701.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914405$BFFCD749-B0CF-4919-8E21-EC5CDDB0E8A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c565232381a9ba10b53c2cf2325d9bd819dc2019","datavalue":{"value":"10.1016/0304-3975(89)90090-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914405$7DAECC58-1E6F-4C61-A897-0C971236E04B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e1957d20bd80c77cf6d1a55847688227d4cf6ab","datavalue":{"value":{"entity-type":"item","numeric-id":914404,"id":"Q914404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$10376227-AFF0-4D8D-941B-EA2D5B0E7B2F","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":"Q914405$51E052CE-55C2-42A5-BEDD-BBF21EEF9101","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q914405$6C830BA9-6BA1-425E-A1B4-74D56A39E281","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9e7b3769e93fcb074cc44f806b3b10e97315993","datavalue":{"value":"There exists in semantics a well developed theory of algebraic specifications of data types. The theory of process algebras for expressing the meaning of concurrent processes is widely investigated. In this paper, which is based on the author's Th\u00e8se d'Etat at the Universit\u00e9 de Paris-Sud from 1987 (based on research performed at the Weizmann institute) the two semantic frameworks above are fused together in a single theory based on algebraic specifications.    The data part of a semantic theory is described by a standard algebraic specification - its meaning is the set of all models from extended theories which satisfy the additional property of hierarchical consistency, meaning that the essential meaning of the core algebra is preserved under the extension of the signature by new data types and operators.    The process part is specified using some standard form of process algebra, where the author has chosen for a trace based semantics. The two parts of the semantic framework are coupled together by means of an application operator which expresses how a process transforms its data. Processes with the same effect on all data form classes in the observational congruence.    The central part of the paper deals with process refinement, investigated from the specification vs. implementation perspective.    The key difficulty with process refinement relates the parallel operator from process algebra; in order that a refinement step is correct within a concurrent system the author introduces a serializability condition which tells that, with respect to the observational part of the semantics the substeps refining an atomic action in the specification can be grouped together without changing the result of applying the actions on the data. Given this condition for atomic actions the correctness of the implementation can be concluded by direct algebraic means.    The paper ends with extensions and themes for further research.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914405$F6348072-D45B-417C-9A0C-19052A549B68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914405$5A3671EF-D316-4201-BC5C-658107315F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914405$B0875C1A-DB25-4CDA-BD81-E8D03C3A400C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a310c741046e1d90a491db523f81b132da14bbc7","datavalue":{"value":"4149591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914405$D46516FA-38A9-4FC5-8986-1B1EC8B4B4D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q914405$6BE00E4B-B0EE-43DB-A7A8-E760B6938EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q914405$0F9994A7-F947-4C37-A3A9-DF9D076D8D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aafb6030216bfce37d8a68f1794dab013dd8f31","datavalue":{"value":"process refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q914405$8E187545-3732-4C5D-8679-56092DD946F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q914405$8643B81E-C2F9-4748-AEA1-52F2768DE0D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca9cd2a9131e1d8839142cee57f1e863d7371382","datavalue":{"value":{"entity-type":"item","numeric-id":582045,"id":"Q582045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$58DC7506-ADDB-4BFD-A593-BFE4EA0626BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$DA8C0FD2-C61D-4B0A-AC73-405C3999146F","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":"Q914405$E93A4BE2-06F1-4EED-A9F0-757D8F876AF0","rank":"normal"}],"P223":[{"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":"Q914405$1FC62B07-20D5-4DFA-AE57-41033008FA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1b054f3fedabfcc7b28f42f5e01f5ce7cf6b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$BEDE02D7-07DC-434F-A75A-5F6925C496EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$80217800-3D22-4569-AB6A-3A574E5BB753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc12c5ff355b3912dfc3cff3dbe48574dd3f3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":1084850,"id":"Q1084850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$2FD90DCF-8D46-490A-BDC4-6A255D350625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe36e8e7def5fd7fab1acf025955918b9ccf3619","datavalue":{"value":{"entity-type":"item","numeric-id":3339264,"id":"Q3339264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$00D2F0EB-3758-4E32-B461-8F302F5A33F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e6f00fe85e5cf392eb428fe128700ba8786eca","datavalue":{"value":{"entity-type":"item","numeric-id":1124317,"id":"Q1124317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$F4851BE4-2133-484C-80F8-9CE0C1A737F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68226055218b583ee61ec72bf074f34611be522b","datavalue":{"value":{"entity-type":"item","numeric-id":3677156,"id":"Q3677156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$1612F5BF-DC77-4492-8332-8C659C0525D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151471590de58d09fa37bb7570546a91d5a5d094","datavalue":{"value":{"entity-type":"item","numeric-id":579917,"id":"Q579917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$8164C0E1-426E-4092-92D7-70949E5F3B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07eeaebd591a7a8250e13d0928f6903d47313a5","datavalue":{"value":{"entity-type":"item","numeric-id":1193602,"id":"Q1193602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$0708D0E6-7787-470D-BFB0-A450D272EDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b31f8f50b76eec8a8df98e2a5235b85ef861086","datavalue":{"value":{"entity-type":"item","numeric-id":1186094,"id":"Q1186094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$EB6A9BC4-867A-4076-8873-4D89572EAF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94217594ef35be3deb367cf7c994e9fc128e2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1150265,"id":"Q1150265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$5282A6D2-EEF0-4B40-9BBF-AF86AA1EDAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$99253069-2761-4E83-BF78-FADD680B7914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$4B111004-FC27-44F3-9548-E7E23DED790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$25FD6BFE-7ED8-46EE-80E9-3E353C915900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d971a8fb3bf11dfa7d1edd1cf7cdb1f2279f5e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4109287,"id":"Q4109287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$3804805C-72AB-45B2-B39D-4FE90FD840FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9153a78d469b1bbed70665db8d5fd16e74d5b9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4430317,"id":"Q4430317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$9FCFBECB-D163-414F-9D66-37255784FC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$B3847EDA-640F-4BC5-B0E9-826CC46AC1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$2C27A982-337B-4E55-80B2-311877340D41","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":"Q914405$2AFF611E-422A-418F-A318-4E9FB0336834","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":"Q914405$610B4DFF-3F58-4446-BDDD-0F3EE69C6B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfb5a41abcb40d51b073314ae69ca365ce06bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3779721,"id":"Q3779721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$21D8B018-52C1-402D-A2BF-F2B1C54C7F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$6080A6B3-886F-4F50-A30C-793D69FD0097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$60769E6A-70D9-43D8-BE84-7FCD8430AE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb93c20cde29deab18fc32b3c21650a976ca418e","datavalue":{"value":{"entity-type":"item","numeric-id":3657424,"id":"Q3657424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$6DAC3027-6924-47C4-ADBC-C573014FF1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$9E7BDB3F-752F-40CC-92D7-7195AC919B3B","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":"Q914405$358A71E6-C1FD-47FB-931B-80FA5F0F014F","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":"Q914405$DC17A5F4-DDE2-46DB-928F-E91FEF36AE42","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":"Q914405$4201780C-121B-4F12-A0C4-B50DBA5D44F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$8EEBCB0D-4051-40DE-A5B9-D23B135981AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68e24aafc4ac3beceb822a707e767a7025b6a92","datavalue":{"value":{"entity-type":"item","numeric-id":3700805,"id":"Q3700805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$0B642346-907C-4DB9-92F1-1748DFD535EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96334d1fcd80f63db7454527cb51e11aaa7bd78e","datavalue":{"value":{"entity-type":"item","numeric-id":4184296,"id":"Q4184296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$4E922DB0-9217-479C-B136-52F7FFFBBFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$C86BBE5D-BA98-4CF4-97E2-010BC192629E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$8F0D02E5-A20B-4212-8460-C722FBE0A178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$9F98FC79-C932-4256-A613-079151560CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cddb9fd29a27d713899f46838d6f62f38721f1a","datavalue":{"value":{"entity-type":"item","numeric-id":1073577,"id":"Q1073577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$5376E40D-B099-4CF9-A226-EACC9CA78659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203f367db2c97541e907545323aa1b6075c47c41","datavalue":{"value":{"entity-type":"item","numeric-id":3768431,"id":"Q3768431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914405$BB02A713-F0DB-409B-921C-2C9BFE7FA880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eeb0d798573ad1642f2d41f77dd8eb4e2388fa","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6312f50ad7dbd39e0731861265ddea537c82fa0b","datavalue":{"value":{"amount":"+0.8108996748924255","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":"Q914405$7302B533-93AF-4549-BA99-314B304151EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffec196239a57d473f65ac5b7119c8b72e33653f","datavalue":{"value":{"entity-type":"item","numeric-id":1187686,"id":"Q1187686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f1d01c5a1ab9441b18b2ee4145b44b50d7cfb8","datavalue":{"value":{"amount":"+0.8098417520523071","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":"Q914405$3886888F-1E5E-415F-86C6-5A350296B64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2478729dc52816a21ed2f7c832ad7a738a336f16","datavalue":{"value":{"entity-type":"item","numeric-id":4203802,"id":"Q4203802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aee1335416933d920064923d1dc043e18ffb296","datavalue":{"value":{"amount":"+0.7995015978813171","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":"Q914405$0FB5BF91-F73F-4253-A669-144593A06E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf4d327411c2cd9da8f44f5201afcb3013abb6b","datavalue":{"value":{"entity-type":"item","numeric-id":3400541,"id":"Q3400541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2807adb96d35c23592b193f006859313b918f63b","datavalue":{"value":{"amount":"+0.7811108231544495","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":"Q914405$D6B97AE5-0D51-47A0-AC99-8ACB2EA37D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f9d2620d922ca6296813b0c27fba20d57ba843","datavalue":{"value":{"entity-type":"item","numeric-id":3777428,"id":"Q3777428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a395076f259edfc8e34d05b6a500981b3824f7b","datavalue":{"value":{"amount":"+0.7802912592887878","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":"Q914405$9ED91D98-6913-45CC-B19B-9B1D0B421E8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic specification of concurrent systems","badges":[]}}}}}