{"entities":{"Q7361061":{"pageid":31518722,"ns":120,"title":"Item:Q7361061","lastrevid":105362546,"modified":"2026-10-07T13:34:22Z","type":"item","id":"Q7361061","labels":{"en":{"language":"en","value":"The HOL-CSP Refinement Toolkit"}},"descriptions":{"en":{"language":"en","value":"AFP entry CSP_RefTK"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d3bc7f647b886bf37c40d36c875ea403a1097ad","datavalue":{"value":"https://isa-afp.org/entries/CSP_RefTK.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361061$C85F25F0-94E7-4B80-A8EF-2A6CDCBE06C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c737b9a6b7ec450359b625910f6ed2597a7adcf3","datavalue":{"value":{"time":"+2020-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361061$72D88998-A9FE-4C93-B199-D6E9E612456A","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"377f6dacffa409ec0258ec0f1e4d5c05260259de","datavalue":{"value":"Safouan Taha","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361061$B0D4BA9D-C4C0-48D0-804E-30C96A7F21BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9f417d50d28c3248f72294b3f5970214162e0fab","datavalue":{"value":"Burkhart Wolff","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361061$CC76ADC0-9F38-4132-8DEB-72DE47C36425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"c611a9b8de32ae5bf26e7f1b31e9ee28d017d2fc","datavalue":{"value":"Lina Ye","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361061$51A5C565-56F9-482A-B068-F1124010E015","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"013f2875636528f06414ce05a60d1d43e524bacd","datavalue":{"value":{"text":"The HOL-CSP Refinement Toolkit","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361061$68311A5C-70E2-4B30-B405-51D6334406D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"745ea20e268b9ccf062647942b6d2ca0d16079e9","datavalue":{"value":"We use a formal development for CSP, called HOL-CSP2.0, to analyse a family of refinement notions, comprising classic and new ones. This analysis enables to derive a number of properties that allow to deepen the understanding of these notions, in particular with respect to specification decomposition principles for the case of infinite sets of events. The established relations between the refinement relations help to clarify some obscure points in the CSP literature, but also provide a weapon for shorter refinement proofs. Furthermore, we provide a framework for state-normalisation allowing to formally reason on parameterised process architectures. As a result, we have a modern environment for formal proofs of concurrent systems that allow for the combination of general infinite processes with locally finite ones in a logically safe way. We demonstrate these verification-techniques for classical, generalised examples: The CopyBuffer for arbitrary data and the Dijkstra's Dining Philosopher Problem of arbitrary size.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361061$26D7CF34-8861-4AD0-B43C-650A82AD9790","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$2D5716BA-E995-4E17-A92C-23DAEFABBB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73acd04e2ab1db0cf5634ec36deb8e5c65657668","datavalue":{"value":{"entity-type":"item","numeric-id":2272292,"id":"Q2272292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$A3D46073-93DE-406D-A349-EB7102994B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$19B1CAB7-4B11-454E-85D4-80F1F19E9FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$B34327A4-E340-4499-8893-B583066A9AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af8ac918623bc29df8ec81592827f96b543023fa","datavalue":{"value":{"entity-type":"item","numeric-id":3543649,"id":"Q3543649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$50876E95-A4EA-4174-B566-6FBED4851ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b345502c513dc247f853426190dd82b49384e626","datavalue":{"value":{"entity-type":"item","numeric-id":5458338,"id":"Q5458338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$E1650B23-4085-4885-AA4A-97DB3846C20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F3AAA0FF-86F2-4EB3-9C30-8B0EE3C071F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$99737DCD-7EB1-46D6-B6C7-9BF512091600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$77BFFA59-3B4B-40D8-BD31-19F8CF370625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595dceaecc016f2005aa5a7685befab0d744999a","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$BAD788A3-2170-4143-985D-A8503FFAE682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d58b8515c6a8d18d8734bbe37578356094f4b77","datavalue":{"value":{"entity-type":"item","numeric-id":5716881,"id":"Q5716881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$98538926-C9E2-4CF2-A927-CB04C6863908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdc7283fe176cc7266c2ab2cb14158c061aab4a","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$192BCFFA-47F5-47C4-92B5-E9650A09D82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$40765CBC-1F9E-41BD-98E0-97F4E3A58CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbf9d25227cf78ea27fadde317f06e53d6b36db","datavalue":{"value":{"entity-type":"item","numeric-id":2432217,"id":"Q2432217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$7AE08A5E-E69C-48A1-8222-57D7902F69E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffc21b040cefef27bbf21227cf07419b6b97900","datavalue":{"value":{"entity-type":"item","numeric-id":2481538,"id":"Q2481538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$AE358B52-72F1-4FC6-973E-A8E2284B81E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd767ca8027e4800dc92426fdab095320a5afe97","datavalue":{"value":{"entity-type":"item","numeric-id":1035446,"id":"Q1035446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$27A60462-D846-4C52-8743-F6E02DE5AA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20edcd59bc17da043a934bc071def38938532f97","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$800FB165-B8FA-4717-AF8C-04025DC9B855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$3731E497-E43F-4F60-BE53-5A40A6438ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720e1e9c042ffcc837c569dc9cd390e592803be1","datavalue":{"value":{"entity-type":"item","numeric-id":1091106,"id":"Q1091106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$53958C42-227A-49BD-94C9-CDE462EB02A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8837840b7554be5d8756e38e2582f6af1a63371c","datavalue":{"value":{"entity-type":"item","numeric-id":4293541,"id":"Q4293541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$088EBB0A-C18E-4A2D-9B7F-E79C4D614954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$79D65355-D2BE-4628-88CD-6A0CF1E760BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dfc8fef67579e63871aa107caead77a3f0e153","datavalue":{"value":{"entity-type":"item","numeric-id":5961025,"id":"Q5961025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$775537A8-7D32-494E-A161-56D08654ECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20e9a57649f172dc5012636153524016a22a74c","datavalue":{"value":{"entity-type":"item","numeric-id":6619487,"id":"Q6619487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$37519188-21E6-4938-B64B-25FE8CCB67F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6701d01f35c8d4788d51c7828d220cb759d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1188528,"id":"Q1188528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$E9BFBB51-5A44-438D-88F1-7F7A5A1255AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C3832637-BC41-42C3-9BED-C9CAB8C8B2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C6526604-3B07-4014-B7E6-671DEA45C517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a209a103a0a8eb3c59dce3a0ce88d4a5469d6396","datavalue":{"value":{"entity-type":"item","numeric-id":1202146,"id":"Q1202146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6E44AB0E-FD7D-4D05-BA84-2495CE35CEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$274FB190-632D-4355-91D4-47323699C1C6","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":"Q7361061$65F2E24A-84B2-49C4-8524-B415CA9A8139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b38802e218e202dc9bb8b99afcd79fb600828c","datavalue":{"value":{"entity-type":"item","numeric-id":4681782,"id":"Q4681782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$09A38FA4-EB8D-4F1E-8EA5-986E5ECBD793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344f49a538308edf407b751c7b4c5bc3b5223169","datavalue":{"value":{"entity-type":"item","numeric-id":5210770,"id":"Q5210770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$ED14B932-43F1-4A92-A293-B5ED2BFF0722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd297d81496ec733e53076340745084664a95f4","datavalue":{"value":{"entity-type":"item","numeric-id":1416836,"id":"Q1416836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$635FC10F-03BF-4BAC-BD20-682F5C6C7893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5559705c88300f025db4dd7bf1a2b94eeebea8","datavalue":{"value":{"entity-type":"item","numeric-id":2769619,"id":"Q2769619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C4075114-4888-4067-A133-E8700A223F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e92efc2b3b2c3e0a2b3d96c4f9f444a2937ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4435851,"id":"Q4435851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6378EFC3-00CB-4D5E-B6A2-00D3A4A19E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06501ae4365261f92f49c54313e6936c6afe4b56","datavalue":{"value":{"entity-type":"item","numeric-id":3411369,"id":"Q3411369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$FBC9037E-8FA2-4E63-AE3F-93B209143F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$A5D6A7F2-7B99-4910-9475-5AFD19E3A290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d8bd9d0cd8eeb98d43c5fe1d55b269b8e1163c","datavalue":{"value":{"entity-type":"item","numeric-id":5960652,"id":"Q5960652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$B1B765FB-AC51-48FA-B32B-04B4CB39179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b208af337273b3cba35d0e88b3769943625a88","datavalue":{"value":{"entity-type":"item","numeric-id":4472265,"id":"Q4472265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$AE9436DA-C36A-439A-B6C5-7857D257ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c969caa0c3fcae5a27379b40ce55b5b2762a7389","datavalue":{"value":{"entity-type":"item","numeric-id":4736408,"id":"Q4736408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6D419F5E-49AE-4AD7-A15B-E8CEF2BBF075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fade3246ce6f30cde83cfa381330ffd5967cc6df","datavalue":{"value":{"entity-type":"item","numeric-id":927321,"id":"Q927321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$CE60FE79-286F-49C5-8E96-E21314082A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D07F6911-E841-4AA4-B157-2E9752754878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$9FD1BD08-8438-4219-BC2B-6B4E57D5CE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d4adbe5f99da69d05339c3ed04015ca193a14b","datavalue":{"value":{"entity-type":"item","numeric-id":1773885,"id":"Q1773885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F5301FA5-E92A-49C6-BA04-F5E3ADE69DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db90ea344bdd4429ba12cc1f40ffcff52c6884c","datavalue":{"value":{"entity-type":"item","numeric-id":4337469,"id":"Q4337469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$70F9BB58-4DB9-4F68-BE4A-A769EE3B824F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f1292a164fe7ba13969e4bbf6b3d4923410ce9","datavalue":{"value":{"entity-type":"item","numeric-id":1848573,"id":"Q1848573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$1900329B-5A61-4374-88BB-8386953E6F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dabd95b25194c784d1cce48dd1c4cc7c106863","datavalue":{"value":{"entity-type":"item","numeric-id":5294158,"id":"Q5294158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$0F83D7F8-5FE7-406F-8D88-92FF58CF66DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb4e62f6e2a8068d5a8d373be2f9efda49da056","datavalue":{"value":{"entity-type":"item","numeric-id":2753770,"id":"Q2753770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$23F4197E-0877-48BA-81DF-39D9C4CE7239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$ED900571-C206-475F-A7C5-88662D170483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73acd9f243bfaab98897df35b466473b2084b8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3868732,"id":"Q3868732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$7ADFC5DE-0DF1-4A16-9A59-7DB0927E0F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c34237b55fdcf0550f867f173cd23e62039bf35","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$64D42805-D2C8-4494-8664-37D421D16461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc58d18974ff4e5a2afb084eb7a5a7a553befd8f","datavalue":{"value":{"entity-type":"item","numeric-id":2701739,"id":"Q2701739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D0270DB6-C6CC-4BBC-BF37-702DBC7DD457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cbe4b1021dd4f57b758ed6ba0e5f7ceae48574","datavalue":{"value":{"entity-type":"item","numeric-id":2382312,"id":"Q2382312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$29F81FD2-F32D-41AA-BF0C-285068D1EDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$58EE2B92-858D-4425-8A2E-6F6D86880A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02722f99868beb6323681679a45a0291eb5382e6","datavalue":{"value":{"entity-type":"item","numeric-id":2779794,"id":"Q2779794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$76627934-9316-415A-8161-9419BA6C2B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2c0dad9258901148c0aaa16f3808e052f3371a","datavalue":{"value":{"entity-type":"item","numeric-id":4736407,"id":"Q4736407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$0698ABD6-6599-4C50-8629-C51E33402ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F17241E0-51F8-493A-B1B4-6EF8D7649362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bbd4d3893caa3da275f8df16c92236960785d","datavalue":{"value":{"entity-type":"item","numeric-id":2388723,"id":"Q2388723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$A90D8E0E-79A5-4850-AE3F-6DB7180C5463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfd9e4996ea3da2d0e02a61f9b6de58e2593e33","datavalue":{"value":{"entity-type":"item","numeric-id":4040797,"id":"Q4040797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$E6EE539E-26B6-46F4-A5B6-17B696F8E571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9ea5eebc79d0ad5f376467c5067ade794866f2","datavalue":{"value":{"entity-type":"item","numeric-id":2571205,"id":"Q2571205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D146FB14-4521-49B2-A754-75164CAC22E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C0778212-1C8A-4425-BB45-9484F523041A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a9f6f3e4ca1c5d6361225c9807c1701d5a644","datavalue":{"value":{"entity-type":"item","numeric-id":5703738,"id":"Q5703738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$74C648AB-B2A1-4ACC-BF63-ABE3A21D1C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a6b02db2e747d51d81a8b306570a08fbbb13fe","datavalue":{"value":{"entity-type":"item","numeric-id":2753604,"id":"Q2753604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F48AD367-1B13-4DC3-A439-02FED748EA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce7703f54181fe1f7b003e9fcec0b7d8ea4f1ae","datavalue":{"value":{"entity-type":"item","numeric-id":4281690,"id":"Q4281690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$8E8E53B2-1F52-47AC-9300-04FE0392D60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6698f6992cb3be7fc064e0fa0cceb5290ecb867","datavalue":{"value":{"entity-type":"item","numeric-id":4092978,"id":"Q4092978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$8CCCAD6B-11FF-4691-88BD-140FE46D8B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b682b3d610b7f1c0e51a3b82a067c0a36847b2","datavalue":{"value":{"entity-type":"item","numeric-id":4530611,"id":"Q4530611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$888B693C-7D5B-4418-9267-02774CB174C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0629aa9e0a2ac30a7bc5cd394cb6ff677afe5b97","datavalue":{"value":{"entity-type":"item","numeric-id":4736406,"id":"Q4736406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$CB3F9B5B-706F-4314-9072-C7D71853361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6992b4378a38035bb19e9acc7b51cc1ebb669a56","datavalue":{"value":{"entity-type":"item","numeric-id":855055,"id":"Q855055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$CCAFA78E-59A3-496C-B262-2CEBA9578C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6BBAE588-51E7-4133-8F4A-D6ABD6F80F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e97c3eb4cb2f11ca34697e2d3972f7b2b7bc1bc","datavalue":{"value":{"entity-type":"item","numeric-id":6487937,"id":"Q6487937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D0F78952-4C8D-4E29-9B6A-B98F213F0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$DA16DB14-B05F-464C-9167-C2FC7A26145F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c82348539a9abdb43fbaa5beca3b7e0847dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":5477652,"id":"Q5477652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$30BB8B4B-9D04-4291-97A9-3FEB02E63780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8515247747c04071cee03c4e2b35aa91b60754","datavalue":{"value":{"entity-type":"item","numeric-id":2754051,"id":"Q2754051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$363EEBF5-7B10-4CFE-8537-1E2AF1D07D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145070ffbfda6db09b2a8e3b835cb8ffc59f867e","datavalue":{"value":{"entity-type":"item","numeric-id":2493600,"id":"Q2493600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$4E4DFB10-5A8D-424B-A6C3-600A8FE2A12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2819bd996a82604201d8aab0900cbc265825a6b6","datavalue":{"value":{"entity-type":"item","numeric-id":2369295,"id":"Q2369295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$8566C2A5-A676-4117-BC5A-46FE62955E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83283ec448d59506acfa16b240cdd09f6dc6a238","datavalue":{"value":{"entity-type":"item","numeric-id":4427123,"id":"Q4427123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$38A2A884-AD59-4D5C-8A2A-F83A3383F1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F79753F3-E7DF-4D2B-813E-9D58187317C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9993c00fa03497d0dabccee7318fb1f85b211453","datavalue":{"value":{"entity-type":"item","numeric-id":1326227,"id":"Q1326227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$59213450-13F6-469D-86B7-995D8B6DFF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a287a23f8b9f8955612d62060e0e540cfed0a1","datavalue":{"value":{"entity-type":"item","numeric-id":6619440,"id":"Q6619440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$509D8C17-77B6-46FB-9659-24B550750D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec7ab16a4182c8bb2e5dd2325db17e5ac52cd30","datavalue":{"value":{"entity-type":"item","numeric-id":3043838,"id":"Q3043838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$008D7D33-B8A3-4AB5-ADD9-898B39899696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ba68be7d715061cf7a668b6481e26fa5a74409","datavalue":{"value":{"entity-type":"item","numeric-id":1305166,"id":"Q1305166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$00FCE632-F486-454D-932B-59F66C8E8AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dada7ade7212f26d23d31c0364cb11b77fa03644","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$146F5420-8A6C-40B4-87F7-CB7CC489BC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0a876b1fddcec059b8d77d711865fbabbb7fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4885908,"id":"Q4885908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$8CA31283-29E0-4E86-A8FC-463456D75DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$AACDB25D-217D-4D6C-86ED-5D6AA1C1180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b430e85ce041664f165c8018c4e5ae7fa672fe","datavalue":{"value":{"entity-type":"item","numeric-id":3316551,"id":"Q3316551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C1A37A01-9596-4BFD-9149-B978E750F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$A7D61A96-AE38-4E7B-BE0D-40AE644E8B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef03e756862e512047f32e68c9212477d542933","datavalue":{"value":{"entity-type":"item","numeric-id":1008939,"id":"Q1008939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$4B6488B8-C297-441D-A415-886CA32FBA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$AE77F8ED-7504-4187-8D49-B624C3D38540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"520a0fec5e0dbb53ab7241b916418084d5d77cac","datavalue":{"value":{"entity-type":"item","numeric-id":2847428,"id":"Q2847428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$1D5CA2D5-BFC4-4EB1-9085-E07944723AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$49EEE292-D08A-465F-BDB5-340E144654B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5746912aaeddd743883752807cc60e94e0090b","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$293CA6CF-7741-4340-9A89-97F4B735B9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276de7b448e9492d090358b87769923ee4339c01","datavalue":{"value":{"entity-type":"item","numeric-id":3399216,"id":"Q3399216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$E03542FC-3033-4C1E-827A-D26321754C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85abad3efc2ef2607b2a4add648c75a1ee50792","datavalue":{"value":{"entity-type":"item","numeric-id":1210767,"id":"Q1210767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$4CC73F55-62B2-454A-80CE-5EC468EB4A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e31ac4f1c49c2d82ee9e9e45b6879c54033335","datavalue":{"value":{"entity-type":"item","numeric-id":1923088,"id":"Q1923088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$3DF59DAE-AA49-4354-B697-E8527BF41D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79be7140dcbe0aa88396f1cd226352626f0471e4","datavalue":{"value":{"entity-type":"item","numeric-id":5477655,"id":"Q5477655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C78D312A-4755-4214-A3F2-4CBFCAE18E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da79e09a88947aa8b0f50d2d21960a0952e23ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5931325,"id":"Q5931325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F6DD88B7-3FDE-43A0-8C71-2DDC91F0090C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7519002aaf56175ed746e34f1343370ee4bb3c","datavalue":{"value":{"entity-type":"item","numeric-id":1188612,"id":"Q1188612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$9219F8B4-29D8-470E-A76E-D8DEE5B85B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00ecccc176b971f8f655f17f279ab75b6423f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$FD2F45A5-BA51-4E5E-8A78-CD5FFC26C1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$87E75217-BF0E-42E5-9C8B-235722AFE666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c5440d660da150fd20e6d583b8106f210ba897","datavalue":{"value":{"entity-type":"item","numeric-id":2729071,"id":"Q2729071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$B0C6EAD7-71F3-4ABC-B30D-8B9D8471338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9756c5badab19b8c031462e3fe7275fecd9ab9db","datavalue":{"value":{"entity-type":"item","numeric-id":3184787,"id":"Q3184787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D076402B-2DA6-4B4F-8B1C-E67FD117C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$B29D2699-B5B5-49A2-A65F-EF34F5DE2514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7da8d17bd98f8d5a342c642c4fabe6e5f07b9b","datavalue":{"value":{"entity-type":"item","numeric-id":955386,"id":"Q955386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$EF2C2698-D1B5-42DD-8F24-229F23A572C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d9841ebb82ba7564626f46c70dd17455ed552","datavalue":{"value":{"entity-type":"item","numeric-id":4267723,"id":"Q4267723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$ED5552A2-E684-48AE-A39C-FA620C4F3634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$949DC952-79AE-4911-983A-E0C87733D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$CA6C5E54-FBD2-4DCD-AFE6-573671A93226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e11351b325b025afb4cff06a5be0701786c5477","datavalue":{"value":{"entity-type":"item","numeric-id":2752051,"id":"Q2752051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$CD2B9FF7-216B-4044-B14A-59E908D49DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D169FEDC-BE59-4171-B921-4693A1F16CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3092a3a9e1d3311edeecedc9e64ad74522a01236","datavalue":{"value":{"entity-type":"item","numeric-id":2500430,"id":"Q2500430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F8F4A5E1-2FE2-4083-8DC9-1C3485C72859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62ae941b4504ce193e952541d3a4c7ac7590cb","datavalue":{"value":{"entity-type":"item","numeric-id":4808824,"id":"Q4808824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6ABE65AF-E0E1-4EFC-8C58-18BA0EDCA985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6C877275-5E0C-4570-93BB-798B602FE506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c471a513808be76e5b6314f83efd61fea1ec45","datavalue":{"value":{"entity-type":"item","numeric-id":3972529,"id":"Q3972529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$4614D380-9A6B-416A-8B98-952396A46796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$EEBF6416-EE56-4792-825A-61B75C507A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35999234893611aeea612edf8fba3ff52e62f5e","datavalue":{"value":{"entity-type":"item","numeric-id":927828,"id":"Q927828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D6F8E9D0-87B6-4421-A8E8-5D39182B8366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa90aeee337c769da59f167f0c6e29366dfa78f","datavalue":{"value":{"entity-type":"item","numeric-id":2461168,"id":"Q2461168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$A5788926-3B20-4A3A-89D6-4C3563DDC2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$4822248D-DE82-438F-AF84-F609044B90C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$4E33B262-56FB-49E6-B41E-FC4FB7CF1C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$06FF8350-613E-4AD0-93BA-71920332CE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cbc34b03c445061e0503ad7ac77c434e2b6f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5941823,"id":"Q5941823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F1D8BC53-07E5-4FDF-A097-2CA14ACAE8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9c08117d750f39c434d215070541a3c044ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":4736405,"id":"Q4736405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$01D720A9-9954-4CD0-AA62-AD9DC058278E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bd7a7804d462c14eca2f48adcb648eadeff050","datavalue":{"value":{"entity-type":"item","numeric-id":1100932,"id":"Q1100932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$888B3006-E6EC-4802-BFA1-A8CF1AEF6343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8994a595605a5cc343dd7dd387b59c6ac088e19","datavalue":{"value":{"entity-type":"item","numeric-id":1462829,"id":"Q1462829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$694FC21D-9B3E-4AEE-85B0-A9E52D2634FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8496e4cfc755263305908dc8759acc6598930a72","datavalue":{"value":{"entity-type":"item","numeric-id":5385745,"id":"Q5385745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$15F6044C-EC53-4902-A49B-05FA77B7DC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979f4cb3940e19167af4062b70445d00064c576a","datavalue":{"value":{"entity-type":"item","numeric-id":2744183,"id":"Q2744183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6602CD34-40C7-4285-A9E5-F1CA674BCAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493557b070d65a66e2016c6c094a57c95522bcfb","datavalue":{"value":{"entity-type":"item","numeric-id":934001,"id":"Q934001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C0B8B3C3-18E5-430A-B33B-EF1745B1EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$305B186E-8503-49F3-B967-F884AE6DDAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1d7a3113542f03d341ff6ad3af6e5c99664983","datavalue":{"value":{"entity-type":"item","numeric-id":1396481,"id":"Q1396481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$1121F974-9008-473B-B035-0C6E7141DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0651b069c388bcce95efb9c114d6fac12631d23b","datavalue":{"value":{"entity-type":"item","numeric-id":4472177,"id":"Q4472177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D8B476ED-48FA-4C3E-87C4-06A908923C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185699a6442c395c0dc5c871eedf78d99a845ad","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$EB336C4D-58DF-41FA-BF99-2ED2C9D76802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f470bb056b9cf1f7f71ff35d4eb7d7b74f4951c3","datavalue":{"value":{"entity-type":"item","numeric-id":3992915,"id":"Q3992915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$509E8DE2-446A-4CF8-9418-D87118A0C97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9146af557adbf964ee897cb3415a2d7985f57e1","datavalue":{"value":{"entity-type":"item","numeric-id":3023373,"id":"Q3023373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$CC852F4A-C42C-4FFD-A888-71837B2FB0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$6E0954B6-9137-4148-86AB-6EEA190DBC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$9FDCA9C9-BA0F-4501-BBB0-024A69785157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dbb0b9e92a5fcfd6e01b861cff77650c24f01b","datavalue":{"value":{"entity-type":"item","numeric-id":3729997,"id":"Q3729997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$0E70C8E6-A274-488D-A723-890A3E594253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271326b3f6ba4699b8b9534f6c64338c8ddd3a50","datavalue":{"value":{"entity-type":"item","numeric-id":1006729,"id":"Q1006729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$0128DCC1-24C2-4ADF-81F2-EF68733E479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cbacb60d35dbbb3c8a2da4db65e98f0f2f0898","datavalue":{"value":{"entity-type":"item","numeric-id":2848690,"id":"Q2848690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$7EF9F3ED-A732-46B3-896D-AAA6254B0917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$BA7E8D5E-10ED-4D86-AF46-8F76D7813D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$C4F915A8-7223-4F20-BAA0-6FF1B14878BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3f0c070d63cc8ade73e849526c8ff12c4b898b","datavalue":{"value":{"entity-type":"item","numeric-id":3523187,"id":"Q3523187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$ACB31E6D-2634-4AC0-B655-F6ED2A3918ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$5C0439EE-EC4F-4051-92E6-B1BF49A3BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$D09B4899-D343-4007-82CB-53049C1E0106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b441d5aea9e3f91d1a5464c90a907f22e62f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5395123,"id":"Q5395123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$693338E0-EC34-4874-A522-50921254D257","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$A046D0B0-451E-409A-99E5-CA8B7D9EF925","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"293cf78b464351f418d3a24174a85211219eb562","datavalue":{"value":{"entity-type":"item","numeric-id":7361514,"id":"Q7361514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$F8B95EEB-929F-4055-86A2-10B8567FB611","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"147d947971425f6e481a02787827e4705017a40a","datavalue":{"value":{"entity-type":"item","numeric-id":7360786,"id":"Q7360786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$29C565A6-8FEA-473F-BEB3-D47F85246C48","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361061$AD499B59-AECC-4D77-AEC1-402178703C09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The HOL-CSP Refinement Toolkit","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_HOL-CSP_Refinement_Toolkit"}}}}}