{"entities":{"Q578896":{"pageid":580663,"ns":120,"title":"Item:Q578896","lastrevid":42594461,"modified":"2025-07-04T11:28:01Z","type":"item","id":"Q578896","labels":{"en":{"language":"en","value":"Modal logics for communicating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014006"}},"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":"Q578896$E2720A61-B2A1-4B7C-A5AC-F82216A7F3AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8666dfe1cd62f9ddaf9ec25dc08f72ad97ff9af2","datavalue":{"value":{"text":"Modal logics for communicating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q578896$662E9348-2742-4981-B3D8-6C2740F96A88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7390b6406ccf9391be8caf21776946259edf8380","datavalue":{"value":"0624.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578896$AC7B29BF-188E-4EE1-BECF-A1F565FC281D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96c39c17c28e6727ea619d36d4edc403ce5ef15c","datavalue":{"value":"10.1016/0304-3975(87)90012-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578896$2CEC5992-6F4A-4B9A-8EFA-81059D0C2B0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$9998BDF3-A87E-469A-97E7-82316A29484B","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":"Q578896$A6FE1301-E1E0-407C-8B56-D62735B7BCDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q578896$B1DCB586-7439-4334-889C-F31E26BE93B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e8777249b1b3b7a839668a2ca55792fe2b2266d","datavalue":{"value":"This very interesting paper, which is a generalization of the author's [Lect. Notes Comput. Sci. 194, 475-486 (1985; Zbl 0584.68028)], consists of two major parts. Part one discusses transition systems, bisimulation, their modal characterizations and sound are complete axiomatizations of these: classical Hennessy-Milner logic characterizes bisimulation equivalence, intuitionistic Hennessy-Milner logic does the same for partial bisimulation preorder on finitely branching transition systems. Part two is concerned with compositional modal proof systems for SCCS and CCS, and their soundness and (weak) completeness. These systems contain Gentzen-like introductions rules, including those for the program combinators of (S)CCS. The compositional rules for the parallel operators and restriction (hiding) are inspired by an idea from temporal logic literature (viz. [\\textit{H. Barringer}, \\textit{R. Kuiper} and \\textit{A. Pnueli}, Proc. ACM Symp. on Theory of Computing, 51-63 (1984)]), where a compositional temporal logic for the specification of parallel programs is proposed. The basic idea is to extend the Hennessy-Milner language in order to cope with ``environments''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$F12F059B-37B9-4B82-A9EA-867CEE30C418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578896$1BC39A19-613A-4EBE-A726-C12D4365A66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578896$EBBFEEE9-02B2-400C-A2D3-D6643420D426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578896$A4582652-0B09-4705-8A99-F2AB7D84EBDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0a96ac36919f1fe32674604b7c4972c42de1920","datavalue":{"value":"4014006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578896$E78ACACA-050F-4200-9764-564D0EA64D6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$CE86E39D-11AD-4AF4-9983-6635B00714FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$7ECE4037-4D74-4BD8-8B01-4EE43653B643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$83AD2774-1EB7-40C5-ACE3-9B3F690AEDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$BA29AD2B-A821-4428-8818-2E60572CA7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6311ba9fcef5390143b12ea73b87fef99bb44b8b","datavalue":{"value":"Hennessy- Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$2DE30E26-ACE8-47DF-9C51-35A867AC2205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ac69cf7c027aa2ae63d456d77a445714545f509","datavalue":{"value":"proof systems for SCCS and CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$E5C2BB29-1D32-49D8-A246-F796C6A04F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$1D2FBB1E-584F-42EB-A73C-50CD9F7A8089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$638B3153-E243-4E79-8AFC-0351C403D4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a0470b002504951a10364655fe3077c04e15f2","datavalue":{"value":"Gentzen-like introductions rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$EDFE9363-3B57-4750-8771-9B34C770B796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc6ac9859a0e0511c15e211429057f330c021a0","datavalue":{"value":"program combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q578896$C1E9CE59-C0F9-449A-8182-B3C7C2AEAFE2","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":"Q578896$140E0479-9608-4067-9659-D01A988F82ED","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":"Q578896$30584EDF-D589-4FC5-8120-2D32D7953D04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63079988d38ea5a9ca67fed73969a3d0fe280bd7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90012-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q578896$25406ED8-84AC-41FC-9941-D0FCBA6EBB7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc4f1993d3d90dc5890bb49ec3e9dacaa1b62ff2","datavalue":{"value":"W2036996017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578896$2CC8E4A8-137E-4A2E-98FA-3778A069576A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e5cad276a943b8aaea7265035ba7e1a6035feb","datavalue":{"value":{"entity-type":"item","numeric-id":3711740,"id":"Q3711740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$D2D66D5D-52D1-4751-A02A-E5B586CE1CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$64F2B25A-45FF-4252-B979-8DA4D194E9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$31078043-D7CF-4BC2-9DE5-B83115D6953E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32657a877a04977d88e1402e1f6494c2aa3ce2c6","datavalue":{"value":{"entity-type":"item","numeric-id":793508,"id":"Q793508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$4D2F586D-2264-40B0-8810-47919B7FF7AC","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":"Q578896$A9655804-123B-4A4C-B7D6-007CBAEC1CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$61C8FAB9-E84B-4B86-A4F7-5D31EA68F32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$6D722293-3BB8-4DF0-808A-DA286EF353A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f169d1d0deaac447dc236e44ef2dcda7febabf","datavalue":{"value":{"entity-type":"item","numeric-id":3343432,"id":"Q3343432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$467EC613-7FE4-4200-A683-8B1E2A0E1934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86294c98630b181a5f8eb3c9fb0c21ddb5c467c7","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$3AF248F6-4633-400A-84A4-14E65BDD9DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$5110D6EF-FDFD-40DD-9566-0640A51EFBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94eb2817697c6370ed6321969409531b142c92e8","datavalue":{"value":{"entity-type":"item","numeric-id":1055190,"id":"Q1055190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$8A2D759B-49B8-4D32-9F8B-3BD49BB4FE7B","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":"Q578896$D5B7CD79-BFAA-4404-8AFF-C2D3A4A7ACCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492fc9d681b8fd74609e5ac1ed3ead3d0aab736","datavalue":{"value":{"entity-type":"item","numeric-id":3704887,"id":"Q3704887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$BE02D4EB-59E4-4C34-B5A1-404FFEC2C0AA","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":"Q578896$8AF7E7CA-DEF7-4E5C-955D-EEBD7790D6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68274163d90ce4711a68b0279a3a80b8279fb529","datavalue":{"value":{"entity-type":"item","numeric-id":4055201,"id":"Q4055201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$D439770B-F783-419E-954C-0B9A2887FD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29033c07d9bc27bf7787e29bcf5ac51a584f4a82","datavalue":{"value":{"entity-type":"item","numeric-id":3681914,"id":"Q3681914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$6DCC0D74-249F-4692-97BB-8F594004809C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$BF994CE6-7D32-479C-BA2F-786324612509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$F83B6DCD-CD4D-496A-94FE-7A4E5F40EDBE","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":"Q578896$8BFC1C2F-5CB6-4D7C-8B53-F0B5B21F7842","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":"Q578896$807D2950-F250-4F89-BD01-8A8C45816B6F","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":"Q578896$F89B7B12-9DCF-40FF-BB95-609A314D811D","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":"Q578896$DF5929EA-9BCE-4711-B5E2-C94B2CA0FFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$8A152181-4A23-47EB-82D6-72C25CFAE6E1","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":"Q578896$6E73313F-FDB8-40AF-BFC2-08DC99CC70BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$1510D9AC-D5B3-4209-86A3-FFAAC2D1FE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bd4af1cd6a9185f3f1ca9691777de4271c1e19","datavalue":{"value":{"entity-type":"item","numeric-id":1161289,"id":"Q1161289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$AB82EFD2-1992-445E-934A-86D84D81BB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8d04412ed2f19368989d7dcf5461a47681b12a","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$0F1ABEF4-F117-41D9-AA1C-85FEA125D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8612e31926aa2a0d7d9b618cb86ed3ed06555ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3677160,"id":"Q3677160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$33F7CCD7-367E-4BF8-91BB-6BF94AF9A311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b3202d0a36de134fc126e958e9cdfbcf16cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3707371,"id":"Q3707371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$04BDC169-7488-474C-811F-F2FC43A01D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8eee7edca234ca36248d6a23303f7902860118","datavalue":{"value":{"entity-type":"item","numeric-id":3727371,"id":"Q3727371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$C08AFB4B-1D28-4CE5-8A3C-F526DB6C96BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b974dd0ec307a829857bb6b377f86a0c8fb368","datavalue":{"value":{"entity-type":"item","numeric-id":3683529,"id":"Q3683529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$00E4E186-4BE4-4DBA-B38E-6DECCFDBBD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7bd2820fe3f1cd359c9a558d9702d9320e1bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3711741,"id":"Q3711741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578896$E4B9CC4C-8426-46C9-A07F-979A7F1AA413","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":"Q578896$AE5ED7BD-F359-484A-ADF7-D7771AB6F2D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54aa410ae4bf209460f65bf42ff8fa5f48475674","datavalue":{"value":{"entity-type":"item","numeric-id":3707371,"id":"Q3707371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba28bf21d63025d05d7d09fdef02cf9c89bc653","datavalue":{"value":{"amount":"+0.8629625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$F7ED93C8-CB81-4DD4-82A5-9D0E49B2A1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80c8c7a561c38895d7eae3dad2d838704c4bd4c","datavalue":{"value":{"entity-type":"item","numeric-id":3711741,"id":"Q3711741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44a2457f27cedfb6ddce131a8b0aa86cf1c1e8c","datavalue":{"value":{"amount":"+0.84083414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$0EC13211-3E14-4222-B858-992BB9D5EC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41044862e83a3406e6a76a6b0a84bf3513b1f1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3776603,"id":"Q3776603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a60885bf2be9ce45f468ebb8f3720b71afd0b31","datavalue":{"value":{"amount":"+0.83101827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$9A7FA609-7F99-472D-B2A2-9F5A0B8C876C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9847ce7db61337134e7f0326570582b0dbcca0e9","datavalue":{"value":{"entity-type":"item","numeric-id":3677160,"id":"Q3677160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30105a74bf8f98998b1c2b8ed4ea15807c8181b","datavalue":{"value":{"amount":"+0.83038574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$6C6503A2-51D8-4EE5-A63C-8DCDD93B4082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34331347e02d515e4ee0fe876e26206c374f5390","datavalue":{"value":{"entity-type":"item","numeric-id":3683529,"id":"Q3683529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212dd5bba5704f1e1a04cf0d6d082969c28069ea","datavalue":{"value":{"amount":"+0.82994866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$FDDB20A8-C5C6-4B22-9138-BBBC7A4A196B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8a8d235096b93c938320b5ca19d5c4ebc17f8f","datavalue":{"value":{"amount":"+0.8236995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$74396C2A-C28A-4ECB-B6B8-AB01FD838EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8724dfa93bedce383aa0daa85e046c21965a4570","datavalue":{"value":{"entity-type":"item","numeric-id":4518435,"id":"Q4518435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2e221c5ec2cf2e024e43ee8a8c36a19d82fbfc","datavalue":{"value":{"amount":"+0.82183903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$F7304239-46E2-49C5-81DB-A935C9BBFD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2b7f1dd683cf0897e94d4c702d109808290651","datavalue":{"value":{"entity-type":"item","numeric-id":5310634,"id":"Q5310634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500d6844102ba2106b6559bed12b6d041f8d5766","datavalue":{"value":{"amount":"+0.81969684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$ECFF8B44-6940-444B-A339-90AF92292108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83621a107374c16fa5d8bc0b1bc13bf1736d6382","datavalue":{"value":{"entity-type":"item","numeric-id":3519494,"id":"Q3519494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f236547b91c7f5849491b6bfd074ff5e5cb6913a","datavalue":{"value":{"amount":"+0.8131999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$6179289D-6ABD-4DFE-899D-F7897E258F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f61c9aede3d60e9748bd045c50c99517650f47","datavalue":{"value":{"entity-type":"item","numeric-id":1177172,"id":"Q1177172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacf8a8d94832fcf3203e7e1cb12d311661e53c9","datavalue":{"value":{"amount":"+0.8131435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q578896$0CEC5CE7-22FC-42FB-B1EC-862CC52F611F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:578896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:578896"}}}}}