{"entities":{"Q2640340":{"pageid":2651083,"ns":120,"title":"Item:Q2640340","lastrevid":44541288,"modified":"2025-11-23T18:13:23Z","type":"item","id":"Q2640340","labels":{"en":{"language":"en","value":"A compositional proof system on a category of labelled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187089"}},"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":"Q2640340$3A884057-4ECA-4BF5-A9D0-08553D6C2FD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51a82e8ed678f47f124079ed274c2fb907fd0d16","datavalue":{"value":{"text":"A compositional proof system on a category of labelled transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640340$2C685D7B-4458-4817-8673-68ED1A5B59FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dcdfbdc869e39ec7efe34f03d687682e155d790","datavalue":{"value":"0719.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640340$738B8A24-D35D-4F34-B8E1-7785F721DFA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0649cd947bb887621b7515b170dbd2d77f363939","datavalue":{"value":"10.1016/0890-5401(90)90058-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640340$49E54C5B-9FEE-4C35-B781-B059A62AF1C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$69057F0A-902B-4371-8793-9E77ABF65326","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$B4A014D4-A35C-449C-A439-DE27C28FDAEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2640340$34DEA2D3-B41B-4C6C-90A7-CACD57708AFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d606219b6d2b2f2396fffecb3d6abe525d3fb8ba","datavalue":{"value":"This paper is a contribution to the effort to formulate both syntactical and semantical notions of concurrency in category-theoretic language in order to be able to compare different models of concurrency. A category of labelled transition systems is introduced, and various constructions, such as products, coproducts, are described. The notion of a fibration functor p: \\(X\\to B\\) is shown to be a useful one, as it plays a central role in the considerations here. The full subcategory of synchronization trees is shown to be coreflective - i.e. the inclusion functor has a right adjoint.    Associated with any fixed transition system is a language of modal assertions, including a least fixed point construct. The meaning of an assertion is the set of reachable states which satisfy it. A logical category, Prop, has as objects pairs U:T where U is a ``property'', a certain kind of subset of the reachable states of the transition system T; a morphism \\(U:T\\to U':T'\\) is a morphism f: \\(T\\to T'\\) such that the f image of each state in U belongs to U'. A system of terms that denote labelled transition systems is introduced. Each term denotes a particular transition system, which has an associated set of modal assertions. A rather long set of rules to derive valid assertions is introduced and shown to be sound and complete.    As the author frankly admits, this study is not the final word on compositional proof systems. There is a noneffective element in the reduction of statements about a product to statements about the components; general recursion has not been included; the categorical status of restriction or hiding is not well understood. Nevertheless, this paper is an interesting contribution to the stated goal.    There are several minor misprints and at least one major one: the definition of the morphisms of the category X at the top of page 34 should read:    v: \\(U\\to F(f)(U')\\), not v: \\(U\\to F(U')\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640340$BD56AC64-8A34-413E-A37B-B68BE605504E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$5CA8C408-D60E-475F-A374-B4D71CCE558D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640340$14649346-D047-412E-92CB-D42872E830C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640340$D6E3BBC0-70B0-49BC-B41D-869EEDA25381","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a2a77cd0401f1afde334a1d0e6204ed40a3241c","datavalue":{"value":"4187089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640340$7022E148-B3F4-4B2D-8DA3-DA2BBB529C0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640340$346424C1-2BC2-4ACC-B695-ABE646F2D485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d22ddf1ae839aa3680e33ddfb23969eff6f1f0b5","datavalue":{"value":"category-theoretic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640340$7093AC50-A45F-459D-8EF5-525DADFF0916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3ec15cb07bc07a2a70e35e73a577e463f2f5f9","datavalue":{"value":"category of labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640340$97933519-5FF2-4CC0-BC53-4047BBB5DB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c24df595f68410da8c2fc55917eee4688fbaec","datavalue":{"value":"compositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640340$616F5A1E-46EE-4DDC-A638-FD829609B36F","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":"Q2640340$469B48DE-8837-48C3-BCA6-215A043696B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$A1EDF3D1-CA16-4D6D-9FD2-5885FC900BAD","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":"Q2640340$FB124925-2578-4641-B52F-4ED389748DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57eba23e696f30adb40d28716bce27bc27cbd9","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$3EE09AD8-B8B6-441F-9782-F0848E6404E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda785ba06a1c78c3b1fa3da035e72d736ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":4048566,"id":"Q4048566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$A374E5B7-DC9E-4647-A1EF-F4ED8F473D46","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":"Q2640340$2C3FB41E-D5F7-45A0-AE4F-23A490A69F61","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":"Q2640340$B20C7FE8-8611-421D-A80C-DEAB34D2AA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$ED22C4C9-2A60-4377-8D6F-7C1431E46469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbd6ebfa96f4f5cd600cd5535101d612a9fa5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4728237,"id":"Q4728237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$849368D4-E3DA-4753-A149-3AE57E5ABCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$2D43284D-08B1-4E7E-8E35-CCA44AB14BDA","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":"Q2640340$5CEC9F06-422D-48B0-A703-E98D31E25499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$2CC9F25C-7E01-42DB-900E-5F3E52C3DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805f8f703c1b216f778ac8f79fc014f319a8e350","datavalue":{"value":{"entity-type":"item","numeric-id":3768900,"id":"Q3768900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$F9249E94-7320-459B-A4C3-D335503CD638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$BF3D1282-B4ED-47E6-AB89-44FDCEAB3F48","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":"Q2640340$1352AA29-A57F-4BBE-A2AE-784F8366C8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$766A52A9-6B19-493D-9F24-3C5CF21BDB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12113c52b3127249cd98f6e5578d7e039662dec4","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$AA2BFDBF-21D0-45A0-894F-7023D89B7377","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":"Q2640340$486F9225-600E-4FDC-8007-F59A7FAEB7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c9c4dafaf7a46f954167730dbb260940caae4c","datavalue":{"value":{"entity-type":"item","numeric-id":3707426,"id":"Q3707426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$B908EF72-BBF1-4B1B-9C38-9640269E3EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$573C7D64-E8D8-4C15-BDBE-9FF3E9B515A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640340$7C20C5A3-913B-47FB-93E8-46477FC878D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5748526e3ffee6bb60633086ebfcf1ce0a1c458","datavalue":{"value":"https://doi.org/10.1016/0890-5401(90)90058-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q2640340$6010C2B0-6FA8-4074-82B7-9DC0411229F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c894a5d6b34ff6071af7a788b2bbebf1f5fa8bc","datavalue":{"value":"W2001587236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640340$53096D46-BEA3-4014-8CB1-44C7184A7C0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5461cb2508e87a4328967389321f1e4f348459c","datavalue":{"value":{"entity-type":"item","numeric-id":2701978,"id":"Q2701978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62944f9417338a6834059fd47039ba181a838a1","datavalue":{"value":{"amount":"+0.89517933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$9B79CF79-8D46-487A-924C-A87F949F758D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af12b0c47463698ad0b613154d06ab41e7b09ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1996855,"id":"Q1996855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a0d5436b3ff484db1054df88a48415b7c77c4c","datavalue":{"value":{"amount":"+0.8881861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$7C99E200-9AE3-4574-8300-442936EBF596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc52ef7be3fd994152fb1256985cf501dd39b2bf","datavalue":{"value":{"entity-type":"item","numeric-id":4610332,"id":"Q4610332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6758b0d615805981f9d7371c9ca1561203ec3ebb","datavalue":{"value":{"amount":"+0.88660926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$7085B638-3811-4DE9-B795-1449D9BC16B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f598a43183970243d45a2ad32f55576bce46190","datavalue":{"value":{"entity-type":"item","numeric-id":3397630,"id":"Q3397630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f199c3057679219d3b4a709f891b6801dfe12528","datavalue":{"value":{"amount":"+0.8826082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$B26EF178-857A-42FB-A58A-82A383F8E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d5f90613ff61749d2f543c0673298447206729","datavalue":{"value":{"entity-type":"item","numeric-id":5941158,"id":"Q5941158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3c239e243dd5e52b4d9def79c732538c53dafb","datavalue":{"value":{"amount":"+0.88133204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$5F472FFD-0020-42E6-882A-6629C04EBE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74a4554d915abf3dc2af47a650d41ea7cdc430f","datavalue":{"value":{"entity-type":"item","numeric-id":3795197,"id":"Q3795197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4901ccd18892d9cb1ff30e969fa3085acb5ee38c","datavalue":{"value":{"amount":"+0.8775265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$591AE434-F7E3-4F77-9DB6-1E9F65B4B13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470c68899be7ae5643fa2b1c7377a46c13c91a93","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbadd41341249c50b06fdc6f5c321b960601974","datavalue":{"value":{"amount":"+0.8769543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$37AD96FE-BB6B-4239-AB28-FA7515FB45C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1007059c1d8aee5f8de6064d7b17258f8341dc","datavalue":{"value":{"entity-type":"item","numeric-id":4373413,"id":"Q4373413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493d10b5fa943b1b117d52b3d298b0e0c09cf5e9","datavalue":{"value":{"amount":"+0.8749119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$7DD56CF6-0105-42A6-A737-2D55AED70A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19998eafbb7b5777dd9e1a8a78958f5039f6cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3557095,"id":"Q3557095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14268a9d295d86d8c5813f81ce1f9abc7a56387d","datavalue":{"value":{"amount":"+0.87410563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$8E17C4A7-15D8-448A-99A6-23505B9BBEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9434da99b7121f7205e1324c9100529e6aa17b53","datavalue":{"value":{"entity-type":"item","numeric-id":1666122,"id":"Q1666122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a4a0182510b5eaff13edcbadde5846fba9810b","datavalue":{"value":{"amount":"+0.8729612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2640340$CE5A39C0-F8D7-4AAC-A632-D24B2ACE906A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2640340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2640340"}}}}}