{"entities":{"Q6163887":{"pageid":13298768,"ns":120,"title":"Item:Q6163887","lastrevid":98745692,"modified":"2026-06-05T18:23:10Z","type":"item","id":"Q6163887","labels":{"en":{"language":"en","value":"Equivalence checking 40 years after: a review of bisimulation tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719266"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$A1864DC4-D95E-4EA3-83F2-BD8102B0B770","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ce09cdce225d9a4ac3c516b4d913a59e886c30","datavalue":{"value":{"text":"Equivalence checking 40 years after: a review of bisimulation tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163887$4D651341-15C3-43BF-BFF6-1461134DA5FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12afff000439b65a4495c65159d20ac3ba585ed4","datavalue":{"value":"1524.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163887$D6D012C1-2DD1-4237-83DD-559051A46B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4d02a5a9f08279d612ab58d840f641b561d30fa","datavalue":{"value":"10.1007/978-3-031-15629-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163887$8E8D0D83-6464-4C0C-BF1F-C08DC546F032","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccd04a7daa317f08c60e9ebec591f148c2e473c","datavalue":{"value":{"entity-type":"item","numeric-id":225071,"id":"Q225071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$EF218D06-31A0-4080-BBA5-9F34B4FCAA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$F498D7E1-7C22-43C1-A42A-6FD64D8D4209","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$6658D165-1CA9-4F06-9B7F-B9290C4F706F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-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":"Q6163887$65A1A03F-FB26-4873-B0F0-BF2A58A0BB8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163887$21CD923D-8774-4B0F-871C-5856C1AB8560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163887$45CD27F1-C46A-42C6-8383-B5C04AC84CC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c944593162232c634da4975beee04970cf86fe9f","datavalue":{"value":"7719266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163887$4E6AFDB9-1A31-4012-9C36-58032513C78B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$910819B4-9473-4C03-99FB-EA5C02514841","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$AE7B1F73-2CF3-433B-8E42-A520ED836B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$38E4B923-9C1F-4242-919D-A41AD4BA1F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$2D50C613-E1AC-4A59-95F8-896598A4AEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae92a3a6c1f940befb2957ac6445255ea505a797","datavalue":{"value":{"entity-type":"item","numeric-id":5044730,"id":"Q5044730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$1EC7364D-A984-4C44-96B5-64872478EB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe58babf384effdc6e7286cbe57864826806eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4850737,"id":"Q4850737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$334D7DCA-8166-4FBE-8251-A169C35E9B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17149116ff9fe8a378e63db30af57c5412489bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4948010,"id":"Q4948010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$1EBFCC24-8E12-4D93-887B-D0D2F849E469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$B62C9B4A-FEEB-4696-AE9F-5BA95170A61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e139f17aef3afc7ee09f67c4cfe6e5157b7ceca5","datavalue":{"value":{"entity-type":"item","numeric-id":4619824,"id":"Q4619824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$4EB92758-301B-4EF9-8FE8-F074A066537D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70af3d470b72db43c514ad7e0f7d7e2d142c9916","datavalue":{"value":{"entity-type":"item","numeric-id":5703795,"id":"Q5703795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$283E2EC3-500A-4E22-BFAD-1AADDD376888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$6728CC17-0EA1-4CD1-995E-979D87C577A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$21B5BB37-7F90-4F34-8E6D-2940F7A6DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f7addb5367552849614d1ec1a6717c11c7f09","datavalue":{"value":{"entity-type":"item","numeric-id":1884905,"id":"Q1884905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$B3B56640-9B75-4A4E-98BE-4F316D51F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0a059531debcdad8214fe2067db94848f44789","datavalue":{"value":{"entity-type":"item","numeric-id":4571967,"id":"Q4571967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$A47EECB4-9D73-4F3C-8988-8A992FE54158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bce2a5438ef928bed3daca0256a5ea5ca029c0","datavalue":{"value":{"entity-type":"item","numeric-id":2729045,"id":"Q2729045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$FDC79869-30D3-45AF-B398-56943491BBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BE90AE41-A90C-4447-9448-4E67DD9BC01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c64599df9478b2d2cbf08ed4c0afb3ef07c72a","datavalue":{"value":{"entity-type":"item","numeric-id":2842853,"id":"Q2842853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$3D1D092A-EA39-4CEC-AD71-31886A3272E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b274d4515b920a6eb9a634af0501d4e3fb5526","datavalue":{"value":{"entity-type":"item","numeric-id":2845494,"id":"Q2845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$3C47DB6F-A781-446E-BAD2-0014DF278512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23b6e54a49f6404b1becb9f5148a66c34076cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$663A4D10-1641-47FF-8AE5-ED417AB8A5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BA3092C1-A027-4D93-8972-03D0CF4CB61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$A4480517-505A-48B2-B882-DEED48ADFD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f22d5de0ed7493cc09714187c79ae1bcf6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$8B7F27FA-3F42-4880-97CC-E3210614B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f3459305ac937293a3547b4e7b928bd3325bae","datavalue":{"value":{"entity-type":"item","numeric-id":4318992,"id":"Q4318992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$5A585FC3-ACD5-4C85-A77B-CE05D804B34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf98a7be5b6815254e211306ec66d127b3aeb2ea","datavalue":{"value":{"entity-type":"item","numeric-id":510897,"id":"Q510897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$94C3799C-D45D-470D-8262-1B487ADA3715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b137d75939a994b22aa1645449b6b48cbc2dda38","datavalue":{"value":{"entity-type":"item","numeric-id":1856199,"id":"Q1856199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$2DFE8BDF-6428-49BC-B12E-1484597AF51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5e9cf473b3b16efb4b16ddc513b4ae6258f6a1","datavalue":{"value":{"entity-type":"item","numeric-id":4547767,"id":"Q4547767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$6ED67854-6F2A-4561-A591-50A7CA0502EA","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":"Q6163887$3A56DE85-A4CB-46EB-9655-BEBEE1B22FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$43388C0E-BD57-4666-A3CE-97C56988E591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840b42ca871dcb4742d45ec28489ac4417b64d30","datavalue":{"value":{"entity-type":"item","numeric-id":5687214,"id":"Q5687214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$48A0599C-596E-48BB-B8DA-44C9260EDF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4a25c238ad06f669e9c3117227efc699d22fd","datavalue":{"value":{"entity-type":"item","numeric-id":4818815,"id":"Q4818815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$880CB2B6-125B-45D1-BDDC-B3AF6AA6E111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ce0c52b38c06acb7a5ea23a2541a94d8583f97","datavalue":{"value":{"entity-type":"item","numeric-id":764005,"id":"Q764005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$3FCD14CB-3C1A-4F1E-B40A-93C695641520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a69ae8c06329ac7a59aa9db92483d3ccfa83fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3787431,"id":"Q3787431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$EA00E72D-E912-4CA1-99C5-787D61FACFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08b539c49b8cbe3f04ffffa52f172c4ca6d1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3525633,"id":"Q3525633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$8562493F-4266-4432-8FE9-FC42FE5A92BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759e3c56e906b280ec9eb0bbd4672e75342f55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5757250,"id":"Q5757250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$0FA8D7C2-C14E-4517-AB38-5DFBC0A10A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63a6f79a14efad928fe8e487c963f37b2a8003","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$F6E3E654-EF93-459F-BF2C-B93EED35A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5567522ec2d7bbb27b473ae4e0d72f1a0348dc03","datavalue":{"value":{"entity-type":"item","numeric-id":5957895,"id":"Q5957895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$9F70F841-BD02-4F5E-BFEE-025EC79E1F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b2a9775a5876a316478c63adb2e714ec687494","datavalue":{"value":{"entity-type":"item","numeric-id":2758935,"id":"Q2758935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$5497E6B2-F981-4210-8B89-44F18CFDAEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f649828151c3d4d4d87701c8706c7e4172427159","datavalue":{"value":{"entity-type":"item","numeric-id":3636862,"id":"Q3636862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$D8C2B96F-24A7-429B-A85C-A6287A79E70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BEC177E6-8047-4AAA-B1B3-C0B94D1AD15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562116689012ef1bfe49988e191f4c05d07af9e4","datavalue":{"value":{"entity-type":"item","numeric-id":3541025,"id":"Q3541025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$FCA1AF7D-FB83-4D22-A465-F6DF38682D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1ee4edd7511750bce8287bc936441214772ede","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BD433A5E-5204-4FCE-B77F-412D0F36FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$9CFC4343-892B-4D03-8406-B53E80E0A196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$2F31C5D3-28D4-435D-8386-08B6B834E893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf518d57e34862d79104a342bd4f1d65801cc78a","datavalue":{"value":{"entity-type":"item","numeric-id":2926637,"id":"Q2926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$875552FA-93E2-45D8-8629-E3DE333145DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b42dd3b419645bd047ca6dec0a966ea3d26d3968","datavalue":{"value":{"entity-type":"item","numeric-id":5758108,"id":"Q5758108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$7B1FBCBE-32F5-40BC-9409-102EBC43C4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417ae5532301c440f9bdc1d3ba149e96c7c017dd","datavalue":{"value":{"entity-type":"item","numeric-id":4916208,"id":"Q4916208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$3B28BD39-41EF-4657-B891-F822B3AB7E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90549770af885994f6274f2616728935eb95e930","datavalue":{"value":{"entity-type":"item","numeric-id":4551136,"id":"Q4551136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BC24E7A6-27B5-4F04-82B4-7CC213FF60BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfee5788a40d6a31d12e0d933b8fcdb3b198b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$EB4AA17B-8553-473A-9218-1590E7326962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f95d843d6f6faf44a70e5631cb686bd443e747","datavalue":{"value":{"entity-type":"item","numeric-id":3584919,"id":"Q3584919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$D9B1DC8B-02A9-4720-B8D7-16A73AA8CDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7b9ba8ecebb08b8938828cf64be549901cbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4028636,"id":"Q4028636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$EF1E8ABA-3841-47B3-BEB2-6BBC93C61EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$05710A53-8BEA-4635-80C2-C8E9515DB100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9c0245961c1f954095d9946ff0de7ea619b4e6","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$5A0CF8CD-A68E-432C-84AE-C21DDF80B26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a6373cf0f29a175e895198d817941783dcabb2","datavalue":{"value":{"entity-type":"item","numeric-id":2827464,"id":"Q2827464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$2AEC44B1-834C-4A93-9A73-AC4D6248CDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0b02f164b0af85d84392d5939d5d98a5674985","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$45E02665-390D-46D9-94F9-13E063567F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63c971eac7cf124c57ecd9fae7d6afa8bbfef14","datavalue":{"value":{"entity-type":"item","numeric-id":4808842,"id":"Q4808842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BA89E12D-06F2-4922-B0AC-DA3D0704717E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa0860d509d7a32953294f255a9faf7cabecdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$98F98F26-7FC7-4118-BDF4-666E6F5AD314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$AF791797-D8FC-4BD8-9F62-E536E7FF5762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e725e644d11a05c3af129a78867c98aa41e697cb","datavalue":{"value":{"entity-type":"item","numeric-id":5047037,"id":"Q5047037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$88C293D8-8875-421A-8579-F3AB9B50C6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$E6AA36D8-3051-41C0-832C-8093B3BC5CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3911bd1aecfc7a3b9ecfedba2e4a71462cdc1853","datavalue":{"value":{"entity-type":"item","numeric-id":4738769,"id":"Q4738769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$A7EB24FA-6ED3-4A30-A3A3-E14F331752D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$0FE3E5D6-0CA2-4FF7-84A4-0EAB4E151002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$AFDA8ED1-A414-4C8D-8C8B-F63713BB9CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$E74FE954-367B-4A2E-8383-A4924F0FBF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$471BD1B0-AEFB-4C07-A1FC-92F6E335260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a0542d0a8b8f4025b3e4e563c5c0500d5db6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5312936,"id":"Q5312936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$065F6EAF-CB88-44FB-BAF1-1482524A6634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$ACEB320F-40E4-4FD6-97EA-8E046E7D6A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284abe4a49e20662d1355201bb1ad21aaf04939f","datavalue":{"value":{"entity-type":"item","numeric-id":6176115,"id":"Q6176115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$47D166B2-40F7-4374-9D34-86EC356A489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339ab831cceadf3602ff6fcea4870fa788507d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5262965,"id":"Q5262965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$9BBBC296-EC83-43BE-A59F-5889AFA61EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$ECDB3A62-E95C-4E31-BE7B-4D6C4C264B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$5055DA99-C08D-4508-AA18-61C8E657C0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$10E0F3C5-4FE6-4B7D-B0C0-4E7269E8A79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d8193a987a1b350fe69c0da54fa64643ae6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2633253,"id":"Q2633253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$DA4B81EC-FF7A-4CDA-B457-492F6FAEE3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e93344a21277b28944706c25258b287065a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":2272927,"id":"Q2272927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$77FADD20-D2E3-4073-8F26-475F97735C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$29F52C83-0E38-4467-937E-7E55AF7E8176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571da8d660fe405692f07ff1ecfee71477e6c39d","datavalue":{"value":{"entity-type":"item","numeric-id":2798714,"id":"Q2798714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$6790628E-6DA2-47DD-A31E-89D02D0B2B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95e58a43d0abf0e1043b01d0daeeaff2887e37f","datavalue":{"value":{"entity-type":"item","numeric-id":5045376,"id":"Q5045376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$831BF6A3-6F6F-4AFF-89F4-C00A021886C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$F32B0755-79F7-4F66-B10B-7686B5C5F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$F16A324E-4491-4FC0-BA6E-C080C15CE136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$7F9753BA-3D9A-4A29-8F87-636ED15043EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$1F3A7DA2-E684-4D71-90E1-2757DFEA5004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a5cbc27f26f79c691c25b12c6b6fa44e72be3","datavalue":{"value":{"entity-type":"item","numeric-id":4779362,"id":"Q4779362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$9AC0E1D5-42C7-40B7-A206-31CAA4EBC452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c303256310dce25a8daede3958903105ff1961","datavalue":{"value":{"entity-type":"item","numeric-id":4417943,"id":"Q4417943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$E76DB085-7533-4C9C-A4CC-66939D7FD574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7018e3d72ca88202cdf78d09a6505dbb48a6a40d","datavalue":{"value":{"entity-type":"item","numeric-id":1969600,"id":"Q1969600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BC6B06EA-23B0-49A5-8C76-40BFB984D8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35a91485ca2750c48daea939f429af331c84242","datavalue":{"value":{"entity-type":"item","numeric-id":3066128,"id":"Q3066128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$4EA891AD-C45E-48D3-9C3D-D52C99556291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d000c418bd2c44c4cf3a3f32c0e30a8d8b7b153","datavalue":{"value":{"entity-type":"item","numeric-id":4818816,"id":"Q4818816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$871B1C0F-7278-4D4C-88DE-A89D1E3178CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beeb274ba236db892f627f4dcc3de44b2a2a0e32","datavalue":{"value":{"entity-type":"item","numeric-id":2957519,"id":"Q2957519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$6DB642C4-8744-4253-9324-4534908C1E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$C4BF41F3-0CEB-4BAC-9DC2-587BB9E216B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36871fa0c9fd52a490f5ff681e9bffdc03f9a0be","datavalue":{"value":{"entity-type":"item","numeric-id":6194589,"id":"Q6194589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$FE598E35-1C53-4F5D-87A7-01B31F286488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020b36f892033e1f74729d25dfde27a9021443bc","datavalue":{"value":{"entity-type":"item","numeric-id":2287115,"id":"Q2287115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$4A2CF4CD-64C9-4814-AE4C-EC0C8B8E621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfd6d04311a1b522dd1df33dd5eb78160bc566f","datavalue":{"value":{"entity-type":"item","numeric-id":2760244,"id":"Q2760244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$7A85072A-91DA-4F88-8C1A-9128224BB475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41f66d950376244d6af021137259b1fd9dfb542","datavalue":{"value":{"entity-type":"item","numeric-id":4005177,"id":"Q4005177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$F3529815-467F-4B8F-A30F-F49342BCD54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713d773dae4afc30d6a32283b87448739718d628","datavalue":{"value":{"entity-type":"item","numeric-id":960505,"id":"Q960505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$7ECC5D74-83EC-4D6D-96AF-55C5DF9506DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ab4b808fb410148033aab846d449312e63f061","datavalue":{"value":{"entity-type":"item","numeric-id":1346610,"id":"Q1346610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$351E0507-729E-4D67-ACB5-E61255B97F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47739ad8e05407804fcc23bb0b920702448c0c24","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$107A2755-C0B1-459B-9FCC-9886F647171B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5ac82baf1a56bd6a092ec099b493c2d48bf27","datavalue":{"value":{"entity-type":"item","numeric-id":5089272,"id":"Q5089272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$8F8EA3DB-0718-407D-B930-8E96A69D04BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5655b6ae25a92a774d3bc54a4702742022323","datavalue":{"value":{"entity-type":"item","numeric-id":444457,"id":"Q444457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$506928F3-2AE9-42A0-932A-69E0B0DE638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$3A63C2A2-9795-4D21-8438-2D00F3DC607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$719456B6-FD5D-4F1B-A04C-95A433C3F7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$2CBE9906-BD30-4740-8D4E-52D41261A728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90df9c1808bbdbed1a180785eb0aaff379ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":4094202,"id":"Q4094202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$163D0721-8F1C-4C41-9B51-BB1A0547A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$5EC7ADA3-6CF2-42D6-8C56-9967CC9ECEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d3ce340288da659d54d631e0195d3f90ab97c7","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$C458D01B-728B-448A-AF18-16E45BEB15D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd3cf856c157dc9d6c0c225e273562ecb744454","datavalue":{"value":{"entity-type":"item","numeric-id":4472262,"id":"Q4472262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$B6EDC3E8-6E82-45B9-81CF-443570990D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50664fcb1d5b66d305c3f34663e52b89ecb2aa51","datavalue":{"value":{"entity-type":"item","numeric-id":3613065,"id":"Q3613065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$2AADE177-E890-45AF-A8EF-275A394555ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06ccdb99d77d5bcce8031a351ac511d2d075fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2851668,"id":"Q2851668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$6BA6B293-D8D5-4204-8B75-F148D22F681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf68fd434be2a92eba8a5967e03ca1301eed365","datavalue":{"value":{"entity-type":"item","numeric-id":5164168,"id":"Q5164168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$E185B24A-6EB8-4D5B-BD84-A883846CFC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$E65AB165-BF64-4F28-A1F0-2AC22256BFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$915A32B2-CC7E-4C47-BFF2-96A2AD05F971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1adbc37458a3bd46e69f27e008dfacb55907e3","datavalue":{"value":{"entity-type":"item","numeric-id":1293890,"id":"Q1293890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$866AE819-6B98-45CB-BCF4-2C94B5D9546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e784ff7fa0509024867aa674fe62d1fa8b8e65e","datavalue":{"value":{"entity-type":"item","numeric-id":1962485,"id":"Q1962485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$B16BFA12-8255-4C4C-B877-18EB6C3F2DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f86d088c00803066af9b3f4d773f9930351455","datavalue":{"value":{"entity-type":"item","numeric-id":6104365,"id":"Q6104365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BE1539BA-4C1B-470D-8CCB-7C025E91F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea964153fc3f582f584071addb5e8696f3d1c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$8D331D8D-B322-460D-AFB1-F8592BEF884E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02132666cb7e562c7dbe7a32314369e65d4016e","datavalue":{"value":{"entity-type":"item","numeric-id":5325835,"id":"Q5325835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$DFC0DBC0-1D39-4BE6-B88E-8F8BB1C4B45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4716e90af71d607f89f4b46161563fdea0f4d","datavalue":{"value":{"entity-type":"item","numeric-id":598200,"id":"Q598200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$8BE97B44-8631-4330-9D4D-63BC87E6912B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45f1502c71e48f475d0240f9ba1fae43f8ba9cb","datavalue":{"value":{"entity-type":"item","numeric-id":4037106,"id":"Q4037106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$C620B138-3645-41D8-B06D-55B0C814A2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$5FA8CEEB-987B-4A0D-A71E-62589455DDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9197cbc9665692cfaf763a42b30a099e1811e19","datavalue":{"value":{"entity-type":"item","numeric-id":3675511,"id":"Q3675511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$529FC83C-9F0A-49D8-AF86-6A2D17A41627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$D3CA64E7-DFD7-4493-8B0F-33DE938EAE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$67E83D12-026E-45E8-AA13-9F5705408B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$E93ABA40-A69F-4AC7-8A5D-93A329AB66A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$C39446AC-3C8D-4BD9-8183-FC184BC28E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$A59DD4DB-FB04-4DD1-8CEE-BD530A4FEB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2903b1d92e51bd62a9d48c66b795a5e484a37f6","datavalue":{"value":{"entity-type":"item","numeric-id":703845,"id":"Q703845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$242DE18D-BFA5-41CE-8E92-15F7F0C10DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9e5032c71e456f2dfddad775de6ea39b85f13d","datavalue":{"value":{"entity-type":"item","numeric-id":2842000,"id":"Q2842000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$DD14EDBA-8459-49CC-B5E2-C122D1576561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ca9415409183596e982d9c1bf0f17cce0ed322","datavalue":{"value":{"entity-type":"item","numeric-id":2848146,"id":"Q2848146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$99343E39-249D-4F87-8268-9F9BB929680E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$69AF7A5F-A67A-4705-B3F5-6CCC745C177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$489B59A0-DD26-490B-AF99-7EA8B092859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072f04479a951927cd603d0a603538767c5f4f63","datavalue":{"value":{"entity-type":"item","numeric-id":5308397,"id":"Q5308397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$8361D91B-CC75-4E0C-BE01-15CDE3EF4942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$763DA826-CDB9-41AE-BFB1-9BE96E8D690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$1C360833-7B13-4C88-ADDA-A328D97579E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997760692cb4153246a3d2704115dbf18fa665f7","datavalue":{"value":{"entity-type":"item","numeric-id":2280213,"id":"Q2280213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$6CC0ACFB-C49D-4102-BC3D-8A42C8F1A24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c58fb8ca68bcbf66e265b26fb6c094f9ce1637c","datavalue":{"value":{"entity-type":"item","numeric-id":5204358,"id":"Q5204358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$79E77093-6EF9-430F-BF57-6935D514134E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cb382825bca3a53d40bfc686a243e27837c415","datavalue":{"value":{"entity-type":"item","numeric-id":4037120,"id":"Q4037120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$C8022B6D-D82F-4685-87A0-5B2B54507B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bbdac97caa8ce9a35974b581a891bd0d2e8404","datavalue":{"value":{"entity-type":"item","numeric-id":1856183,"id":"Q1856183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$B78E24FC-D41F-4454-A407-ABB627F61CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fdff17abcad57b939a9c8288c5a756afbaddcf","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$ABE22D2C-B4FA-4C02-B04A-66CFB97281E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec7c95eacaff143d1a78d327472530940868b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1865842,"id":"Q1865842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$67CFC7F9-054B-458D-91DA-03D521EF33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7e2d1ce7fec977024187a8c0f349535bc26e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3179281,"id":"Q3179281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$340F665B-BBE5-44A6-A4A7-61565D734393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$431466CD-8815-4D94-A006-232B7E7557C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f18df12fa2bbb3ca66991ef60dbf5f147ff6778","datavalue":{"value":{"entity-type":"item","numeric-id":5308401,"id":"Q5308401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$D879DAF5-E13C-41DF-948D-7AC56F2B1DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$BC95C1D8-5ED4-481F-9319-74FBC3E3FE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61dc4b52e93a665f3b45991fd8c826a6682f3792","datavalue":{"value":{"entity-type":"item","numeric-id":3624601,"id":"Q3624601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$13309242-9440-405D-9C3F-0EC36B71091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe2335fc33bc83c0b9714989e8ffecc93e1e687","datavalue":{"value":{"entity-type":"item","numeric-id":4499200,"id":"Q4499200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$23E923D6-93B0-40B5-8001-0DA55BCD1375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fcf8ae9df48ddae80861dbdee0691f518616db","datavalue":{"value":{"entity-type":"item","numeric-id":3522930,"id":"Q3522930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$7C7F0B6A-73A5-4E9D-A6CB-FFBA3417481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$83F895A2-7E1A-4E37-B032-19AA30C3DDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4020722463a6ae30c6b2b428dcad093fb7bb2a2","datavalue":{"value":{"entity-type":"item","numeric-id":6493537,"id":"Q6493537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$3299A47A-BC68-47E1-B05B-E390E75BB515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc0e1743bc015b4e9022bdd6cf811b3772e2ac1","datavalue":{"value":{"entity-type":"item","numeric-id":6493535,"id":"Q6493535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$685CF8FC-F121-460D-A664-2490BAB09A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393d2b50846f2b51a76d83e1f146cea3a639b6ab","datavalue":{"value":{"entity-type":"item","numeric-id":6493532,"id":"Q6493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163887$49B92877-DDEC-410E-AF88-187F27B844D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381aa1fb3c5f88fd4cb57be3bc2ea96728c22143","datavalue":{"value":{"entity-type":"item","numeric-id":6113980,"id":"Q6113980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac6a334de7c9913e16047820d3fe259ce86f169","datavalue":{"value":{"amount":"+0.8408005237579346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6163887$DBA7EAA2-7D90-4E09-A644-7E911B81AE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf5386af5c77ae129861b417cd884e0275d27cb","datavalue":{"value":{"entity-type":"item","numeric-id":5703795,"id":"Q5703795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1512ecf8d6ec708e7c860a844c474d4d7755729d","datavalue":{"value":{"amount":"+0.8192578554153442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6163887$7AE422D1-C3C1-4AE2-9135-0E491A91129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d71ddcad81550a2a2bc3dd13db6e154775480a","datavalue":{"value":{"entity-type":"item","numeric-id":3085977,"id":"Q3085977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d40219f4161b70a38cf845efd4b6218762baa30","datavalue":{"value":{"amount":"+0.7769522666931152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6163887$FEC3B85F-3022-48FB-AB24-817225F5D8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57833c07d14ebbbb8657494dc142f18b5825a257","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dad57a176399a793476e61006a3a7daa97ec89","datavalue":{"value":{"amount":"+0.7742002010345459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6163887$DD4BD806-0DB0-4CFE-B74A-EE29886FB12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc2b273a8ad000ca9c4e2c275126529ec84a62a","datavalue":{"value":{"entity-type":"item","numeric-id":2760243,"id":"Q2760243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f4c72b1bbc626d89ff2a1c0f4fbab494c423e2","datavalue":{"value":{"amount":"+0.7669376134872437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6163887$5D7A0E36-55F7-4B47-941B-D28BB595FF50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence checking 40 years after: a review of bisimulation tools","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_checking_40_years_after:_a_review_of_bisimulation_tools"}}}}}