{"entities":{"Q7361514":{"pageid":31520081,"ns":120,"title":"Item:Q7361514","lastrevid":105367979,"modified":"2026-10-07T13:37:19Z","type":"item","id":"Q7361514","labels":{"en":{"language":"en","value":"HOL-CSP Version 2.0"}},"descriptions":{"en":{"language":"en","value":"AFP entry HOL-CSP"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3814cc54c50a9c11b8e1a6f421d1ed592bee70fd","datavalue":{"value":"https://isa-afp.org/entries/HOL-CSP.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361514$477C5D89-D3CF-4BDD-87A9-9E47197E5D26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0368fcac4180a6b094041fe719d3c9855e55cde6","datavalue":{"value":{"time":"+2019-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361514$BF849326-20F0-4E21-8D06-BF30350F0131","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d32c5569b24429bd610b40a923f31e157766cf88","datavalue":{"value":"Beno\u00eet Ballenghien","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361514$137B8E53-CB28-4843-8AB0-BC5ADE0D6F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"377f6dacffa409ec0258ec0f1e4d5c05260259de","datavalue":{"value":"Safouan Taha","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361514$6A92DFF4-A632-4EF0-A769-442BF8DEBC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9f417d50d28c3248f72294b3f5970214162e0fab","datavalue":{"value":"Burkhart Wolff","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361514$6E3DF084-19D6-47C0-9AD3-39553AE207F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"c611a9b8de32ae5bf26e7f1b31e9ee28d017d2fc","datavalue":{"value":"Lina Ye","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361514$96DD960B-8819-4454-9C03-9EFAE5EF7EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d79a6c3fcafa6186ff6de3c52fb63b3fc2b44fa","datavalue":{"value":{"text":"HOL-CSP Version 2.0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361514$78FBA1F0-AC8C-4219-A9A4-5397339B63CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a8bf39bade0a5a5e3cb6ceb88c3403ebf89b021","datavalue":{"value":"This is a complete formalization of the work of Hoare and Roscoe on the denotational semantics of the Failure/Divergence Model of CSP. It follows essentially the presentation of CSP in Roscoe\u2019s Book \u201dTheory and Practice of Concurrency\u201d [8] and the semantic details in a joint Paper of Roscoe and Brooks \u201dAn improved failures model for communicating processes\". The present work is based on a prior formalization attempt, called HOL-CSP 1.0, done in 1997 by H. Tej and B. Wolff with the Isabelle proof technology available at that time. This work revealed minor, but omnipresent foundational errors in key concepts like the process invariant. The present version HOL-CSP profits from substantially improved libraries (notably HOLCF), improved automated proof techniques, and structured proof techniques in Isar and is substantially shorter but more complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361514$F43761B6-A715-4C7D-8DED-94631657EF34","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":"Q7361514$B608E62A-A0AA-4975-90A0-AE9D6437FC3D","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":"Q7361514$3BF36020-797E-4FAA-9609-BFD4DFE07E5A","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":"Q7361514$40469C79-A262-471F-925A-F6DE26E8FA55","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":"Q7361514$14C92891-B26C-42F0-AF74-027741264153","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":"Q7361514$35738531-CCF0-4BE2-B6BD-9167F6921C15","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":"Q7361514$C0628E68-8082-4DFA-AA95-B95CA617DB0F","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":"Q7361514$D503672C-9914-42FA-BB0B-451F2B3B0F93","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":"Q7361514$1A495B00-3C24-445A-A308-2A144B8B55FB","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":"Q7361514$E3BCCB93-53A8-44FB-8077-F7873F16EC03","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":"Q7361514$4A096AB5-8DCC-4C37-9A92-62F28188F4ED","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":"Q7361514$9AC2F0FD-44F4-48DB-946E-0DC014C51502","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":"Q7361514$16776E63-F541-4920-912B-E8BA35FD473E","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":"Q7361514$8D3AA20F-6222-420A-9A84-F2416CFAEF77","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":"Q7361514$ED855044-C2CB-4601-82D2-F3CD7D3FD71B","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":"Q7361514$3EFF979B-EFC5-4451-98A1-8A6B5699A718","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":"Q7361514$4C5D1026-1E1F-4E6A-9A60-A90B7A42603C","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":"Q7361514$7ACA3AB8-2263-4E9A-B831-4DE3D1CA4275","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":"Q7361514$DED3A09B-43FF-4DAD-9214-1E458E928D39","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":"Q7361514$0FD72992-4E3F-4290-8FE1-45876CC801D1","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":"Q7361514$63B7B2B6-E058-4688-8460-1F0CEC9BD721","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":"Q7361514$84FBEFAF-5970-4249-AF10-94E6245149E1","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":"Q7361514$4CF76F1B-80CC-47F4-8937-0E1F4723F141","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":"Q7361514$4A5F902B-A32D-435E-A2A3-B5BFFD6C552B","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":"Q7361514$F425F950-1224-4603-8F7A-42D876ABBB31","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":"Q7361514$39428965-28AF-4750-88E3-9460261E0B97","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":"Q7361514$62DCEFBB-405D-461D-9B04-BF5143A808B9","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":"Q7361514$C980A1DD-6F82-40BE-B1E2-EA778A0198BF","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":"Q7361514$3C756037-C8AB-4553-94A4-51762490F25D","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":"Q7361514$996751AE-E68C-43A8-B3E5-FA7C3D0210EF","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":"Q7361514$B3956A16-0D64-48D4-9DF8-24F50EA161DD","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":"Q7361514$66447159-7C7A-48C5-9A0C-47DABD51983A","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":"Q7361514$509D45A7-0EBE-4F79-93E1-68EC0F8255C4","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":"Q7361514$52FE542C-2BFB-4FF4-B78C-B854284AF23A","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":"Q7361514$C81161AE-9604-4B88-A56E-56D179110412","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":"Q7361514$DA1DFC61-F5AF-421D-98D7-726F369EF56D","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":"Q7361514$79772D54-161D-41F7-A7CD-08DDDD0DA704","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":"Q7361514$9EBC43E8-FBC3-46E0-91E8-20E078CA9D4C","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":"Q7361514$E28DE3C2-DC96-4F58-9FC4-A0CD08EFFA1B","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":"Q7361514$E7DDBDA9-A5A5-4E39-85B0-E40BA8B3CDF5","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":"Q7361514$B7D96478-4CEF-44B3-89B1-F02B5E05659E","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":"Q7361514$56DAAAE1-C321-4227-87B5-5AF806070D01","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":"Q7361514$4DBC70BA-79F5-44C5-A390-4491DE0874EA","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":"Q7361514$44AEA9E5-FA55-4899-8FB8-58E11A65548C","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":"Q7361514$5AD32F47-2037-4F82-842A-8834FFBEAE50","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":"Q7361514$199EF34C-4938-42C1-AC06-BE778C1F2855","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":"Q7361514$746FE2C4-80AF-4F94-A847-4091F10C86D7","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":"Q7361514$60516402-11FF-4508-913E-F1DE4CDA4B26","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":"Q7361514$D83BD0AC-8529-4C5B-94AE-EFEABDE75F1E","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":"Q7361514$449A9435-44F1-4501-AB69-412C66796D13","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":"Q7361514$7AB285C9-FC52-4BC1-98F2-5D1662212E9D","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":"Q7361514$33501144-7D09-4244-A837-9758495BA061","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":"Q7361514$3951625C-5DDF-452A-AFD0-BA5758A0F7E4","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":"Q7361514$E3FEB903-D205-4DE0-B228-E41E17B834C1","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":"Q7361514$656E4077-3910-46CD-A460-95F6EFE6CF11","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":"Q7361514$5700CB7B-3372-4724-AD50-E517B7BD7E88","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":"Q7361514$95D9A35B-B1DA-4EF1-AF07-17BF978755CF","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":"Q7361514$60461E9B-CF27-4A7E-A0D4-14A80F610810","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":"Q7361514$B8C9BAFD-8D60-459A-9CB7-25EC6D368DD1","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":"Q7361514$FC46A7B5-A524-4252-8351-6B16E23E3537","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":"Q7361514$86CF41A6-58B3-4798-BBA5-8E00A7F69F8C","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":"Q7361514$A3EFE48C-3259-4676-9D1F-83DA211BF42B","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":"Q7361514$820D2CCC-AF49-4769-968F-E7F5382AC050","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":"Q7361514$DA7A9123-A247-4D57-B328-E23A85C85D2E","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":"Q7361514$E863C399-57CF-4EBE-A6A5-738E72C19A25","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":"Q7361514$EF064C7B-B8FD-45AA-BA6E-5A3B1A0261EF","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":"Q7361514$A239BA9D-5555-4706-B215-03D01498F844","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":"Q7361514$EA58C1AF-1CA5-4D74-8B46-2140888DFDD5","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":"Q7361514$1F7732D3-238F-4F05-B8F6-7A8AD7780580","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":"Q7361514$3E2B186E-DF7F-4BB9-B7D6-22E00144BE0D","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":"Q7361514$F66EA3AF-8976-44C0-9512-1B171CE05BC7","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":"Q7361514$5A8139B5-0851-4798-B000-CC9F30AFDD3B","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":"Q7361514$262745FF-07CA-4936-BEF6-701F1420026E","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":"Q7361514$B12B6600-42E8-4BDD-AE7B-02766B25C097","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":"Q7361514$0347A6E5-AF86-46A7-AAAC-ED6D6BE02D3D","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":"Q7361514$80889407-AAE4-455E-81BC-886F5DF71CA0","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":"Q7361514$F735D873-F76A-4D6F-87A2-C444584819F4","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":"Q7361514$366EFA0E-471E-4DC2-894C-ED265EB82F82","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":"Q7361514$235DA825-CB7B-4EBF-8ADD-1C616DD859D9","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":"Q7361514$65C4777C-5AB9-4F03-BC3E-4FDD0D7A784D","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":"Q7361514$65B859D8-B8CD-4975-BD1E-F25BD9846C59","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":"Q7361514$6C28520B-94C3-49E0-8851-F290CEFB22C4","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":"Q7361514$32990705-915F-4449-ADD9-F908AACE7100","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":"Q7361514$898D3769-DCFA-4A54-89AD-DF57F7A66A9B","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":"Q7361514$602D24CF-D650-4D17-A98A-7390C6253BC5","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":"Q7361514$211E8D2E-9943-4B65-B11A-DFD1BAB92497","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":"Q7361514$BAA91171-2BD0-411E-B2DD-A4E17800EA9F","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":"Q7361514$1748E746-8936-449E-BD6D-5CF429A09D29","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":"Q7361514$94879D70-ECA7-49F8-89C1-907B75C742C6","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":"Q7361514$6A80D500-B1C9-409E-A79B-00F784607191","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":"Q7361514$60D992BD-C6E2-4141-A832-BEC99B6B93E4","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":"Q7361514$1F18D097-91CF-4D3D-A52C-D1B9A266FE6A","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":"Q7361514$DB01F65F-E572-4F5C-B8D4-BDBFFF701105","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":"Q7361514$CA8D558B-A6EA-42EF-90E4-E9E9D8CB4F67","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":"Q7361514$8C1ED0B9-298D-43D2-820C-343E66D3D4C2","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":"Q7361514$8F122478-0779-431E-88A8-6492430048A8","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":"Q7361514$D41B9F3A-F564-4A47-B6F5-BB515AF92A77","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":"Q7361514$AB474977-21B3-47CB-B914-E6F65F096307","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":"Q7361514$29C36494-8A8D-4A18-95AC-829B5E845DD9","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":"Q7361514$14C123A4-B490-44AC-AC16-D89070E54865","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":"Q7361514$BCA958E1-625D-4A19-9CDE-171068E940B7","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":"Q7361514$2968F51D-20CD-4F3B-8C9A-77C10611BC40","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":"Q7361514$DCDFE9E0-CB23-4B01-9BBB-F6B0651267EF","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":"Q7361514$4B728CD6-5978-4BF9-AEC3-3044470A1161","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":"Q7361514$A589F687-AE6B-4514-8D04-DC0C1E4D3936","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":"Q7361514$3A9DDE87-CEEC-4AF1-8221-AC875763751E","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":"Q7361514$B84E8495-2033-4529-BD70-1AF954D7E330","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":"Q7361514$1B88C52A-0280-478B-B341-D33097F56ED3","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":"Q7361514$031526C7-F157-46C6-86D1-E35E8AA3CFDB","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":"Q7361514$E951C4CA-D40C-4B01-9727-FEDABD3C8A74","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":"Q7361514$109E6162-1A97-4ADD-BC34-36194354F847","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":"Q7361514$82254643-6D5F-422D-AD1C-4390BF0A2574","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":"Q7361514$B7CB24A5-6F37-4E4B-9E97-EF6E2FEF6A4F","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":"Q7361514$FB0029CF-9AB5-4B83-BA13-4077F64DEEF3","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":"Q7361514$477D551F-0DA4-432E-87D0-07D71D10C20A","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":"Q7361514$509607E0-DB2D-4D27-A913-523E0E62007E","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":"Q7361514$FF02F0E0-7D15-4A02-B91F-9CAF97615399","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":"Q7361514$E833A658-FE0F-49F4-8C5D-C7DD0623D899","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":"Q7361514$1DED8514-2D3F-4D84-AB93-304F8D3B007A","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":"Q7361514$9CA83819-443A-4D8E-A6E5-D8F9A771218D","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":"Q7361514$F1DA6ED5-BE40-4FB0-A475-708CE1B63DBC","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":"Q7361514$7C4D76FE-2DCA-498A-B02C-ED3D1F9D00C5","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":"Q7361514$0ED3ACA5-B2DD-4700-94BC-C9C8A6D46848","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":"Q7361514$3176508D-5176-48BA-A034-B7AFAFFBFA59","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":"Q7361514$99E91D3F-CE0B-4814-9F26-FD5C8826DDD7","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":"Q7361514$17135BFB-FFA0-4756-915B-E690295AFA4F","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":"Q7361514$DECC034A-58A0-43FC-B6D6-F8E9B8DBFAF8","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":"Q7361514$25BD487C-9C32-47BD-A470-28EF0385E3A1","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":"Q7361514$4D8171EA-39B1-4A2A-9DCD-17142580D011","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":"Q7361514$08BD5185-5D66-4F23-A2D8-A81E463F5BD7","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":"Q7361514$12D78D85-869A-4956-B298-2D3EAEAEB173","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":"Q7361514$B57B2EE6-F425-460D-8962-08F4ED89FA58","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":"Q7361514$B1230918-5D63-4910-9AD6-1A15B2B3645B","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":"Q7361514$6D14A928-C7C8-45D6-BCF9-3E999559A695","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":"Q7361514$F04D0E55-1AB4-4A95-9AAD-53FA01091440","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":"Q7361514$11503A0B-24C6-40E1-B6E3-30E3EAF55B39","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":"Q7361514$69607608-35A7-436D-9D07-F0B5E21CA26D","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":"Q7361514$9F4099A8-CB08-4644-A534-6D9B97F8FA1F","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":"Q7361514$A4E640D3-0BBB-484C-9DCB-D7C16416D690","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":"Q7361514$B88D35A5-B584-4D7B-B315-33D6D66151CB","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":"Q7361514$5F8587DA-B60C-436C-8C81-A8612E97DC47","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":"Q7361514$A3A05C3F-B0E3-402C-AE40-0146DA6364F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL-CSP Version 2.0","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL-CSP_Version_2.0"}}}}}