{"entities":{"Q7361174":{"pageid":31519061,"ns":120,"title":"Item:Q7361174","lastrevid":105363644,"modified":"2026-10-07T13:35:02Z","type":"item","id":"Q7361174","labels":{"en":{"language":"en","value":"Formalization of Refinement Calculus for Reactive Systems"}},"descriptions":{"en":{"language":"en","value":"AFP entry RefinementReactive"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"296fbe1a65ef297bf0f0e11a5a5425fd0c890d89","datavalue":{"value":"https://isa-afp.org/entries/RefinementReactive.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361174$4E34E3A5-7941-48C2-9AB3-46A75EBD607C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12cb4cbcb06dec7d30a0b9fcbe1aba0bc22ca396","datavalue":{"value":{"time":"+2014-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361174$643FC0D7-928A-49C7-815D-2F9DC7B42D6E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e58535bbff9a4f8205212cab6c53fba3387933bb","datavalue":{"value":"Viorel Preoteasa","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361174$87D8CD37-B4A9-4B56-8890-E098FBB4BECA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01355af5972acca734a2acea7c28667a70ba00f4","datavalue":{"value":{"text":"Formalization of Refinement Calculus for Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361174$26E6A019-1B39-403E-9E1F-367145123D0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d622b147f72543bd8e98c20d7e0a3be5176b2f0","datavalue":{"value":"We present a formalization of refinement calculus for reactive systems. Refinement calculus is based on monotonic predicate transformers (monotonic functions from sets of post-states to sets of pre-states), and it is a powerful formalism for reasoning about imperative programs. We model reactive systems as monotonic property transformers that transform sets of output infinite sequences into sets of input infinite sequences. Within this semantics we can model refinement of reactive systems, (unbounded) angelic and demonic nondeterminism, sequential composition, and other semantic properties. We can model systems that may fail for some inputs, and we can model compatibility of systems. We can specify systems that have liveness properties using linear temporal logic, and we can refine system specifications into systems based on symbolic transitions systems, suitable for implementations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361174$1DFB779A-8F7B-44E9-A8D1-A76BBE039075","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":"Q7361174$79DA6989-0983-4E56-B4DF-C0652347309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D163F3BF-A561-4777-923E-64F45C1F5CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$E810E114-AC58-425E-A7DC-04042E6961A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$B96C1679-AEC3-4B9F-BDE1-C582AAF28804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343e1c4d9d6d38e7371b41e90bd733dd81d5f54b","datavalue":{"value":{"entity-type":"item","numeric-id":3877023,"id":"Q3877023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D6F21C0B-D503-4ABC-98DD-53EE1A39D625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e707d4bae687b7a2d018b22ef15d22342b7b2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1155605,"id":"Q1155605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$1889D14F-CC71-424B-80F5-709DDC88AAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$930C88C0-570C-43C4-B71A-9286E0D19FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$CC02BE8B-A029-4B8F-8576-B43254A78E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c283b72630fa748ec17f1ef3791310c374f00d01","datavalue":{"value":{"entity-type":"item","numeric-id":2576574,"id":"Q2576574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$57809DDB-4953-4823-BEB0-4DDDB425042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f96f1b5184988ef14c3a8dd82b1d2786ba8272","datavalue":{"value":{"entity-type":"item","numeric-id":913495,"id":"Q913495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$4A2F379E-6607-4D22-AA32-64DEB6CCEDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cae0b454d483b28d3315c63096dc9824543d40a","datavalue":{"value":{"entity-type":"item","numeric-id":706509,"id":"Q706509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$F8AE4143-CABC-4FEF-BA2D-DD5270863AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$B9CA789D-5EEE-4BDC-A83A-1874F9C3F3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0964a69cdeeb98c62b167ed923916c4e674a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$9ADE2827-EAA2-4B7A-9C3A-886B257FEB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$4DEC822E-00DB-45A6-9F69-C746B9B33F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$DDCCB6F9-6F00-43E9-A959-20B2F4DD33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aeb7bc51202e4fccf35620a2d9f3e6f2e1684d3","datavalue":{"value":{"entity-type":"item","numeric-id":1386406,"id":"Q1386406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$DE035434-2372-4820-9FE6-A844DD24035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46c998d502727365cc53cafc586112f6c2f5388","datavalue":{"value":{"entity-type":"item","numeric-id":4222959,"id":"Q4222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$89C5DF1B-5A93-4F2F-B054-8A41E493368D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fb6d7f3f1cccd15ce00adc4bf2837f4b5b022d","datavalue":{"value":{"entity-type":"item","numeric-id":3947094,"id":"Q3947094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$CD6295F8-A38F-4BAC-9A75-9A5050947DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dcb9ac3639ef0c5401bdc49751e4a2e1ef90b8","datavalue":{"value":{"entity-type":"item","numeric-id":1822921,"id":"Q1822921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D28D97FA-0D5B-46DF-9E9B-9B26BA19799B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d2e6fd26eb18539c5f0512d34bc03ce1c27649","datavalue":{"value":{"entity-type":"item","numeric-id":1104730,"id":"Q1104730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$7454216C-0A20-429F-BDDB-09F265928D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b2b9be7e9ec2b06ba7626446ee03e791045925","datavalue":{"value":{"entity-type":"item","numeric-id":2732173,"id":"Q2732173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$66F618BB-BFDC-44AE-99D2-0DE06C779C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$6C852ABC-0582-4F1E-B66F-763B9C871BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$8C8C0EA4-0B2E-4DF1-B425-16BA5CFB8895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$F1E91F02-7B7F-4000-948F-1CC071CC6AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0d73359790fe5afed5798ab5a760da3e7973c","datavalue":{"value":{"entity-type":"item","numeric-id":1283882,"id":"Q1283882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$ABCE08B6-6AAD-47E4-B8CC-DE8B2E6CB701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d810ca512b6f14449f91854d88cb7111d9390f","datavalue":{"value":{"entity-type":"item","numeric-id":4370252,"id":"Q4370252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D5EE0751-03F0-487C-8DD5-8254958A03AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1eb4f5c3274c7c63d84f3889b1d8811b71d5e83","datavalue":{"value":{"entity-type":"item","numeric-id":4412510,"id":"Q4412510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D31EBA68-8FDF-43EB-9B19-CF0EC567384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8de6e17a4adbccab1f53d560f6024886b431e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4536450,"id":"Q4536450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$2F7EA3F7-D9E6-4B03-B0CB-8B2E3C3EDE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$DFE9E013-65BC-451B-BF51-9B643D6A86CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D37B1343-4777-455A-84F8-E02B630F0B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab1e2b1d00559219dbb7e95ff196f5547ed0556","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$E418E21A-C5F5-4FE7-A2C8-E5E7487C77D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb2a6a154950a8c292017ec031422ff8d0bb2ba","datavalue":{"value":{"entity-type":"item","numeric-id":1413082,"id":"Q1413082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$803610DE-B925-4C5A-A1E9-6388E5B26FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$848D2B2C-79B1-4F5E-A7AB-DBF2AA1E19FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7893913ac74b7ec3bad95e74075ab9512b7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3003302,"id":"Q3003302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$DDB3668B-93DA-4C18-A879-4C4BC889437D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$4DD4F3BD-C904-438F-AFD1-0FC5F7D25B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$EA8A7A28-341E-4ED2-97BB-650AEFD2AF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$70650805-A196-4AA4-812E-A14EFACFBA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c091a6831cd5964be54b37dcb6712a7f5f803bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4692514,"id":"Q4692514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D6D90F83-63BE-4CE5-A914-B452B93D17DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94c85e0c1abe18a681843ab773f8f881ef0a56","datavalue":{"value":{"entity-type":"item","numeric-id":1235968,"id":"Q1235968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$0FDEFA29-3D3D-412B-AEFC-A9A2738BB957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$86C041CC-B56A-4D2A-A2F5-C61F68C3D451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b7e8541b8bf7dc514993aa6ba095a6f824bbca","datavalue":{"value":{"entity-type":"item","numeric-id":3922131,"id":"Q3922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$BB0F3E6F-D1E5-4CB3-B32B-B867F085124E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9973d9908452a3ee7ccb08e8305df24fb8baa40","datavalue":{"value":{"entity-type":"item","numeric-id":3940822,"id":"Q3940822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$116CEC53-8904-4859-BDFC-C74D438987A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3efe535bcb7591cc1698fe531f5ec491ca6b4da","datavalue":{"value":{"entity-type":"item","numeric-id":4511599,"id":"Q4511599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$20DCFB19-D91A-4B08-98A3-AB532016623D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$A98808A4-5292-4724-8085-FFB92EE3AB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f2cf102ac22fcb156f211037b9bf3102d0e5031","datavalue":{"value":{"entity-type":"item","numeric-id":1251058,"id":"Q1251058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$6D11E90D-0563-446D-98A4-B5F2D1F1AF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18aeadd9a555abca1a74d83a45b5992b82a9255a","datavalue":{"value":{"entity-type":"item","numeric-id":1578396,"id":"Q1578396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$5B5E28AB-B54A-4128-9D4D-0F3716BBFCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$391410CF-D60A-4126-BEC5-E946012B1085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$672EB9AC-90DD-46C9-A95A-45457FDC246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$B9E94196-669A-45D1-AF6F-44D147A1650C","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":"Q7361174$A36A82C1-769E-429D-AA2E-74543A0CCB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e08fbee52ade58ed107b3c10b7e1c4fe8d6b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1266505,"id":"Q1266505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$B98718B1-CE5C-4AB1-B706-663A848E22FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d65b76dca9dd8bdaebc14729e427671c191430","datavalue":{"value":{"entity-type":"item","numeric-id":1887136,"id":"Q1887136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$9344E0AB-8AFA-4A6D-B34E-758D939D289D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1289cc5354000e784ef8e86795440569cd400e94","datavalue":{"value":{"entity-type":"item","numeric-id":3836190,"id":"Q3836190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$812BD831-9AE8-43D9-8B53-50F371860821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$A9190614-8BA6-4CAD-A281-304324E60609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$0D91A365-0483-4813-B611-9AFA0623849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f9d20828abe33dd544faea2d39ec57ebe7fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$D8BA65B5-5546-4B17-B363-23CEB7B54BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$2286BBC7-2654-4A35-85BA-250A07499382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$7D763C77-B58E-4FF8-8731-9E65D2AC9CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$1A745322-30E7-4428-AC91-C5A5F744B1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$FAD9448A-E63F-4B81-9759-3E1D384276FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03108486ad76dd03a09a8cc212bd13b5b04c547c","datavalue":{"value":{"entity-type":"item","numeric-id":3899469,"id":"Q3899469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$9D7A6F90-E7E8-425B-A569-F693BA58AFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$8F78F3D7-527A-4941-8F4D-CA6F8E33784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3e8d33ae9d602d2f1eaec1be89220e3de18658","datavalue":{"value":{"entity-type":"item","numeric-id":870278,"id":"Q870278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$320686C7-F513-4927-9C18-BE7E9F82E5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15af30663ff4a9d67f0ae5e190b118364d360f42","datavalue":{"value":{"entity-type":"item","numeric-id":1104731,"id":"Q1104731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$EC30CB69-7EF4-4108-9429-1260F7DFE830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$DAC12582-E5AD-4C64-9ABF-476D0E5A2702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2499bc24714f45ee4fcf2d925c0b76e0dce92e3","datavalue":{"value":{"entity-type":"item","numeric-id":3618830,"id":"Q3618830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$56C9D486-F50D-4119-8B08-FC1FF883F98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff91fdd17b290644b8158a8f8c228dd3a8f285d","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$4860A4BA-B774-4336-9294-E8C8C9003A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c3f13394696a79934f158748aed0ccfed1c632","datavalue":{"value":{"entity-type":"item","numeric-id":4436978,"id":"Q4436978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$993A2EC6-C9D4-40F2-87F3-B1D958738ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835a104c973ec409cdd8c36de454c1ea8dd89ffa","datavalue":{"value":{"entity-type":"item","numeric-id":685621,"id":"Q685621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$0D2049FC-BBB6-4548-B031-50642A082CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$CF2A34DC-2E8F-4BE7-9A3C-3DED0EE562A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$FB1F036E-91EE-43AE-A5F5-C6059A7A9818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828d8a6508cb5136b9fc44f1936b3d1c96aaa534","datavalue":{"value":{"entity-type":"item","numeric-id":1113659,"id":"Q1113659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$AC1F8162-77E6-4AAC-A470-EDF516C6F1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$E403CF95-AC8C-4B61-81C4-C97CF26D74FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$84D7BDC8-E01D-438C-A2D7-450CF5CC1A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122ab9d189cab2239accdf2ab3f97f2e57304f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3038594,"id":"Q3038594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$26A226C3-8435-4D34-BB1A-3B8DDA3173BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$49F4A066-EF1A-4F51-9E53-943D0DD5BC34","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":"Q7361174$391DFCE7-EEFF-495B-AD0E-E53D1464DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c8bfe407ad0e36f6a16d0c6880d02a1d337f3e","datavalue":{"value":{"entity-type":"item","numeric-id":1607103,"id":"Q1607103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$5BF4FFBB-380C-4316-9FAB-24685D429616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$91B89685-E0A9-483A-9C3E-D14BC97E514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$A26D9C9F-DBF9-40CA-AB11-B0D9260659A5","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":"Q7361174$7B327AD2-3E00-4178-AF9C-BF03360F4727","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":"Q7361174$D54B12EE-C2BB-44BF-94A8-F64054DC6A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$9C65F122-0270-4030-9762-5EAF0B24E669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e98101d00e3af5ccb56426d2ed5e1057fc0130b","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$2B26FB82-63F1-4AC0-80B1-82E754C89E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f5a1bf73ad7c6b6dc9013f79221f2ece1c6125","datavalue":{"value":{"entity-type":"item","numeric-id":1838825,"id":"Q1838825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$B2CC8E62-3D46-47D7-A7B4-C0501FD38330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371f8bec28162a098dee99195a54267929c6082d","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$1B0F371D-377F-4643-8F44-CF996B45FABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d67f54629b43bb24548148f2bbc3f7e8e15eed","datavalue":{"value":{"entity-type":"item","numeric-id":732009,"id":"Q732009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$E4899DDD-7107-4DD5-A573-4C59AA023EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35593f56c469c37182022e5dfe9dfc791c8656c","datavalue":{"value":{"entity-type":"item","numeric-id":3098056,"id":"Q3098056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$179943AD-3C14-4B78-A8D7-B253ACCF94A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894b153525483d659921aae617ccecc6f7826fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$2980F546-E531-40E6-ACD9-865C53413CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78981142bb2251c80f063478462b3594489ed5f6","datavalue":{"value":{"entity-type":"item","numeric-id":432148,"id":"Q432148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$F05A0C08-0113-458E-ABCD-25A1B96927A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$6CD2C16C-42A3-4ECA-AF45-BF10F532BD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba024d1a6b0ca9a583a48fb26b370e679ebdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2756785,"id":"Q2756785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$C698604B-ADCC-4878-8B7D-1A1F6C7B833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$A3C6B7AD-B98C-44AD-BBD9-A74323A773DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80c2691123fae44f25217af70bbfa5da3a4035c","datavalue":{"value":{"entity-type":"item","numeric-id":4178462,"id":"Q4178462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$5BD9F23E-A655-4096-8430-514C922365B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$978FB52C-01B3-4EF0-B5A2-9534DEB9A087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$77CE96A1-2A1E-4BD9-B7AE-6EDF701F782F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$F54F7C6E-A8BC-466C-8734-3BDF0A9A5EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b42675bfcedccebd7b93cb4ac35227fef4482c","datavalue":{"value":{"entity-type":"item","numeric-id":5459194,"id":"Q5459194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$940A86E4-36EE-45AA-801D-D223563672F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1fc941e91e54d3d77327201ff9d9b914d06c5e","datavalue":{"value":{"entity-type":"item","numeric-id":694489,"id":"Q694489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$0E079333-5E60-4321-B22D-A939A9EBEF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7dee35badbafdef12cf49d8facb897d47ee0c2","datavalue":{"value":{"entity-type":"item","numeric-id":923890,"id":"Q923890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$7E18B93D-FB50-48C4-98E2-3F03A0C1C47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1976c5d1389a5adb5bc82573f14ac938bec433","datavalue":{"value":{"entity-type":"item","numeric-id":5944219,"id":"Q5944219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$87E8F6EC-1E58-4DBA-8437-4A5457FC6A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c6bcf72a5de1d80e0720cf0adb2c2733f7faea","datavalue":{"value":{"entity-type":"item","numeric-id":4945210,"id":"Q4945210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$9559BF78-DCF2-4F99-A97D-EB6D03F11A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$B474DB24-C6FB-48AD-8C7E-3B15873A0794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62007f0a0e892a4c68e70726ff2369a9fb478399","datavalue":{"value":{"entity-type":"item","numeric-id":4178454,"id":"Q4178454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$BF9BA493-0877-45B7-90CC-1ECD031E2E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd1ee8ddef8c3617a21c4911ab4abb48a578a69","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$FA21ECDC-0C7A-4185-9568-289633EEE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$B521668E-848B-4DB0-B152-18DE82628F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fca8c6bae599173b38636aaeee9a044e8d5419f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$3D5CDADF-1301-4667-9490-5B336F6D5FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$DF17A430-D298-43B9-8BE5-16095BB2307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$EFE7266F-2AF3-47E4-9B40-F17DDCAFDEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76be8b7525a713071e38a8fc2a89a0425945231","datavalue":{"value":{"entity-type":"item","numeric-id":4484349,"id":"Q4484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$FFC50C0B-1C41-41E2-B0D8-8A1179460D41","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":"Q7361174$5989E4E7-9342-40EF-B884-698ECB26D45E","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aa8f6bd5a2b4440f838b34acf103bdf45fee4f56","datavalue":{"value":{"entity-type":"item","numeric-id":7360797,"id":"Q7360797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361174$52B6A31B-1F98-4511-9B38-880F24223BEA","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":"Q7361174$68D9CA69-EA5C-4035-A7FB-332669BCB7F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of Refinement Calculus for Reactive Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_Refinement_Calculus_for_Reactive_Systems"}}}}}