{"entities":{"Q2277249":{"pageid":2287992,"ns":120,"title":"Item:Q2277249","lastrevid":49483078,"modified":"2026-01-07T06:09:05Z","type":"item","id":"Q2277249","labels":{"en":{"language":"en","value":"Verification of concurrent programs: The automata-theoretic framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195912"}},"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":"Q2277249$2F87D3A7-0DD8-4A4F-B8EA-B141E710386A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5cf6a88a5c7d09f75da8c80b2a0485749ec7b7e","datavalue":{"value":{"text":"Verification of concurrent programs: The automata-theoretic framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277249$1756DF36-B48F-4BED-BFC6-056E29D0A3CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9685f1bfe3f1a1c1c63878dfffbf0ad443c626c4","datavalue":{"value":"0725.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277249$969BAF71-6A28-4033-83B0-4ADE2B847039","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e8da6a1416c348bbda4944d416404999551731d","datavalue":{"value":"10.1016/0168-0072(91)90066-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277249$FC32850D-71B6-4E9D-99CF-166BDB9CDA41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$C9BC5384-5237-4C32-BC09-6802E7596CC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$6CD1AFCC-85F1-4C99-AC07-D434FB72B7AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2277249$DF822BD8-21D3-4672-A254-03BF0DA8273C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"512b3e6e4eca000d2099beb6b0622ab2830e7efc","datavalue":{"value":"An effective version of Wolper's temporal logic IPTL, recursive infinitary temporal logic (RITL) is introduced, and it is proved that the properties expressed in RITL can be captured by recursive automata on infinite trees. Three types of acceptance conditions (Wolper acceptance, B\u00fcchi acceptance, and Streett acceptance) for these automata are considered and shown to be of the same power. This enables to define effective equivalent transformations of recursive trees with complicated correctness conditions to trees with simpler ones (nondeterministic programs are naturally associated to their computational trees, which are recursive).    This transformation technique is then applied to verification of concurrent and nondeterministic programs. Proof methods for two approaches to fair termination are developed: the method of explicit schedulers, and the method of helpful directions. The idea is that, given a computation tree of a program and a correctness condition, both defined via recursive automata, one constructs new automata which terminate iff the program is correct. If, for example, the correctness is formulated in RITL, we can express it in terms of recursive automata. Hence correctness is reduced to termination.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277249$C73B384C-F414-4777-BC8A-6F683C654078","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277249$A3EC31FE-E734-4053-BA3C-5E88A6757579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277249$1196AF47-E7B6-4EA6-B0A6-48DF5BDC25AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277249$AA2F2BEA-9BCC-44A5-B03A-63F3F9B3EE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277249$9F79B810-C03C-4883-BB50-54128C021E52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9152f4c5fc75e01506f7e343538faa4996310b13","datavalue":{"value":"4195912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277249$C92737BD-C48C-4478-A82A-227D62615F5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56d3c218566101789a77b72245a4a9473d63165","datavalue":{"value":"recursive infinitary temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277249$891AB5D8-711D-4673-B0D9-061C9C695607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b5fd53b7a76e4291eaf83edbcd4caa8c1a65f8","datavalue":{"value":"recursive automata on infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277249$A80E58CF-02E0-4177-8524-77B9467B65C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"200d5c5f725f9d171550dbd62602cd7d58f9a653","datavalue":{"value":"acceptance conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277249$9776BD78-E485-4B40-A73B-AEC797D63B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277249$B3F47A8F-3A57-48EF-8F0C-80D2BA31CF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77646ae0f865cbfaa7748814ce2eff2f7d9fdb7e","datavalue":{"value":"verification of concurrent and nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277249$FAECDD6E-F722-4E9E-A38D-DE9D95940B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277249$AF0FF390-573D-45B7-BA4D-0826CDDC03A1","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":"Q2277249$D007B48C-0B4C-4550-918F-ADC79F0A145E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ecb8a103f63d32e54f44e8875faf11679ab820","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$5F73378C-879D-4A7D-B67A-6DBF4637C153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$B5016DF3-6DBB-4D37-963A-31F19045C274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$2F47D85E-D3FF-4A6C-A83E-CEF049AB2E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$393FB529-BDDF-4B13-B856-95226E50F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$677E1867-20A3-42F1-BEE8-992307E959B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6944c9039ee814df922b5558a628b5f60a22159","datavalue":{"value":{"entity-type":"item","numeric-id":795499,"id":"Q795499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$24CB4225-AE5B-4F04-80E6-17F5861F9EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb3e26760d87c71a363189dcbfed536d99889b2","datavalue":{"value":{"entity-type":"item","numeric-id":3954796,"id":"Q3954796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$6D4B69AB-2655-4E9A-864A-44BB25AA0313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$4BE6350F-4417-4FDB-B6BE-7F0080ABB1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$4F77DAB0-6B41-4F62-8A6C-361D00DC6CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$95160A93-B26A-4FEB-A5B8-46BF22689819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6eb07b397263ded0840b1c806e33b9506cf9ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3732949,"id":"Q3732949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$666789E3-1DD8-4EB2-9568-19E3E56B8FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$5A314899-7FB3-475B-9DAF-65ED2C984F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$CCC6E796-2585-4E8B-9A6E-E95EAEAADAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d32a8c0023ee99949f9c3c0b0fab1f329f47263","datavalue":{"value":{"entity-type":"item","numeric-id":3698284,"id":"Q3698284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$C4C443E3-6D3C-49B1-8197-326472803C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$0A165B31-71D0-4DD4-A500-ACAFBF690D29","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":"Q2277249$CB2FD2F7-6EB4-44F7-99A0-501B21623BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce4f5ae886a6add198cde1454a758dfcc3c40fe","datavalue":{"value":{"entity-type":"item","numeric-id":3932277,"id":"Q3932277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$D1BABFFD-10F4-4EF7-8A34-DB22B7EB0350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f02fe67ccaaf9abc0eda3bf7c9c9df570a40494","datavalue":{"value":{"entity-type":"item","numeric-id":3309037,"id":"Q3309037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$0D8A544A-6DBA-465D-903A-D469766A5762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$2B559079-CC3B-433D-9DAA-17348F5C1646","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":"Q2277249$B8D1B12E-651A-4F47-9CC5-D17201E97314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$233A5B5F-DF17-48EA-A1F9-89954E04E730","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":"Q2277249$37790EA9-3B93-45C2-B506-94BD4F212551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$EECD85D1-1443-4835-871D-088435E6D4ED","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":"Q2277249$F31C7512-E256-4F10-8E87-B7AC15A2EAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$A1DAF43B-1613-4113-8D96-FB04236A2C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad50d58942acd2f70c4e91f6b1cec0e3d345715","datavalue":{"value":{"entity-type":"item","numeric-id":1112586,"id":"Q1112586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$0A3E0F76-D2E4-49AF-8AD9-6367BD2B569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$5F195A7F-3C0B-4E45-8692-56B8F29E0084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e7b069411337947dfa671009bef117bef64450","datavalue":{"value":{"entity-type":"item","numeric-id":1123589,"id":"Q1123589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$A0AE3056-3348-4F8E-9615-CE07D80F9E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$B1E70D25-97BA-47C1-AF85-803345D0F652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$B7D3AD42-23B2-47D6-9A92-488B0CEF3398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$3D70A680-7294-41A8-B2E4-6824D0E8797F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd3fae2022f43de935ebaecb39134fa6c0b8a4","datavalue":{"value":{"entity-type":"item","numeric-id":4143283,"id":"Q4143283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$5F828142-A876-4482-9AF6-53A292E881A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277249$47457ED6-0DAD-4E04-9281-ED90489FCAE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27adcf8ce2ed0a036168841546a3fa9fa9f922e","datavalue":{"value":{"amount":"+0.7845843434333801","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":"Q2277249$9AEBE428-2353-4EC1-9057-F5C96326562F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455eff5655d25768f845d720778c71989e77003a","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79419cfc49cdd4a3926f1b7c6cebbd646dbb5c55","datavalue":{"value":{"amount":"+0.7795373201370239","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":"Q2277249$4F4607D8-B6E5-48E3-A30A-9B232BF93F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b5e5bb9a2467f261c749658c5aa1072f20bc7","datavalue":{"value":{"entity-type":"item","numeric-id":472794,"id":"Q472794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e08ec95e45d67f8ea38b73c58404bd7948f82b","datavalue":{"value":{"amount":"+0.7795151472091675","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":"Q2277249$390662FF-394D-4C1C-8EF2-6C90CB53592A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9f9c3da8d063c38ac733038a8365d3f67e6200","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6ec120d7ef56336f19ea0609602a83fcd3edd5","datavalue":{"value":{"amount":"+0.7758051156997681","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":"Q2277249$C5A9D8F4-24CA-4B50-95BF-DA281642AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3fed2300e8c168d71be1c6b841c444de1da2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3617744,"id":"Q3617744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72dbbf4e9290077a4196f7208d341db55db18524","datavalue":{"value":{"amount":"+0.7696810960769653","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":"Q2277249$469E57AD-EFD3-4511-B735-5A5C3EF6FA2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277249"}}}}}