{"entities":{"Q2871577":{"pageid":2882297,"ns":120,"title":"Item:Q2871577","lastrevid":83846282,"modified":"2026-05-07T12:43:13Z","type":"item","id":"Q2871577","labels":{"en":{"language":"en","value":"Automated formal analysis and verification: an overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243574"}},"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":"Q2871577$4AA28A1D-F8C6-4908-8E20-040D35BBF490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29f0c3ae737cabbe9a655628802572f775bc3aa8","datavalue":{"value":{"text":"Automated formal analysis and verification: an overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871577$DDFB790B-6BF2-4551-B886-0CD9548F30FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c873e2c22fcde9651aa189e79e0853e67efa6ac9","datavalue":{"value":"1286.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871577$7DD9EAE1-66A4-4253-9E9B-EA83B2B691FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65307c79b69ed272128f35db8c2986c4cd648b2d","datavalue":{"value":"10.1080/03081079.2012.757437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871577$FC3121F5-3537-4720-95EE-25F75001431D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bac4d96833279b5c7bb69dd4a802e0070d76348","datavalue":{"value":{"entity-type":"item","numeric-id":2871576,"id":"Q2871576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$01DF53D7-129A-4BB4-A34F-1EE47578C59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$17692CEC-EC6F-441B-AB25-85A266A99D3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1df81e788c24e735b818d872bb7126f8abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2711637,"id":"Q2711637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$9EF74288-B638-41C0-B27B-93B50C4E8301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd6802d1635af15aceed850b007155490528f75","datavalue":{"value":{"time":"+2014-01-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":"Q2871577$B76997FA-CF03-4259-90EF-4A5994776BF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871577$0E654439-C771-4C53-80FD-419571AF1EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871577$5ED47BC5-04EC-4B54-9426-3C683E2C0393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871577$D037F7BB-A831-4D19-925A-B1CDB0F420F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40a08c17a0b24b5b9a746226e93620de5694466c","datavalue":{"value":"6243574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871577$EE29D180-B957-4623-8C44-37DAAB194C3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce109c6d28110b5a73e298dd8ce2de229642232","datavalue":{"value":"formal analysis and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871577$12568D1D-79D2-410C-9EBE-299AEC21E1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871577$880F9167-524D-401F-B28F-DCECB16A3F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b56d664759feaf523f20560e46308abc4f86bdd","datavalue":{"value":"state space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871577$916A015F-CD02-4BEE-BE69-A32EDBD7769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871577$54479F41-C191-4FAA-BA04-AEBA7B3FA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871577$3DDE4BCB-6222-42C7-8B6C-770940E14499","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1BFBE4DC-FB70-43D3-84AC-080CE3B2FECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$B0BA465E-54BA-43AE-8034-D2B42C4D7E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$76586710-9850-4FF2-BCB4-A75342A55752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95971f6b611ca7d919754c769fae0e473be28779","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$692B9B1F-DB91-4CB2-8F2C-E4E63DF1C141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$8117DEB3-705C-4E93-8E72-C8AADA8AB966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c1907fcbbe73cf235919e91baed30ac2b190e5e","datavalue":{"value":{"entity-type":"item","numeric-id":24730,"id":"Q24730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$0943CD56-F3B4-40CE-8269-AD6487E8C5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$3861C0E8-9D05-4AA4-BE4E-9C5AF2169240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$ED9F79A3-669E-436E-8447-F169EE61F3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$CD30FAFD-B023-4931-97DA-45E9987F9597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$F61F7D58-8732-4D77-9C5C-36E949BB2F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$9DFE89E9-F54F-45A2-978C-CA2F8C6FFA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1951C54B-0048-443D-9697-F49B9698BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3ad9fce9060c14f348316440256eb8b089be466","datavalue":{"value":{"entity-type":"item","numeric-id":26383,"id":"Q26383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$D230BFFA-4E01-47DF-A3AB-7F660E829C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$0E04F025-8B5D-401C-A157-94813FA733D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$AFDDE917-60FF-46BC-A90D-2E2CC50882FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$D42674F4-850B-4701-A373-11C5DD0F0E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$EEDF8931-07A1-49A1-BA30-53FA6FADFA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1C5A98C1-2EE2-45A8-B1AF-DD511AD7384D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$DF498CEE-BC17-42D4-AB82-51DE7505F794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"359ea4085263295f549ea97e2c7ac1374acb516b","datavalue":{"value":{"entity-type":"item","numeric-id":31319,"id":"Q31319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$FFC3A7E4-BA11-40D6-BD8E-213105754443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1C4BD967-E3C1-4B4E-B9D4-2DF82F27748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1D3D754C-E891-450E-87EF-70F6B05837F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2113ed37596193d11329b6ca925f44e552e61b36","datavalue":{"value":{"entity-type":"item","numeric-id":36637,"id":"Q36637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$5B85A9F7-9A34-4A63-8A89-31330846ACE4","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":"Q2871577$B8F553A1-19BD-469D-BD8F-08C6533C5E73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8c7440b7e2f0419c67de1ecdaebf1976dd4bb7f","datavalue":{"value":"https://doi.org/10.1080/03081079.2012.757437","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871577$607E1D31-D1AB-4106-BDC7-0C5299BF4E37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ea78c5098f8c89813ce35f9b1db46b3db745fc3","datavalue":{"value":"W1987328668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871577$F5678DEB-32AE-4891-9218-0E46733137FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9b87bed981aa39a2e700f5352c6dc58919d90b","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$9F2965C6-8126-49C5-A338-B562F157BFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$A701EF9C-2E9E-4142-BF37-C613075D91E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b11bc3b3da7d3aa6e2b0101c4edd6ff5bfcb8","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$61F0BD2B-C832-4941-BE39-E03CC7FA4C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$53450453-09E3-43E5-99CA-42E34AE6C536","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":"Q2871577$AC1D3DE3-1B46-43BA-B93C-6026E6CB0B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$84B033E1-B761-4B96-9A5F-4CB1495C76D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$5446D555-2DB4-4804-85E8-584F5EF8BCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$67595A30-8D14-4067-AC61-45150CD4BF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$46FAD71D-5F9A-4B13-935F-203210DCB5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616c18c9f25eca63c3b073680f3df7741357783","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$AD8C393B-B7B6-4349-AA00-296E65C1EE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$F87A6595-E12E-484A-8AFE-759A033A863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$69DDB8C5-CADE-4B78-AAAF-0513A8E92079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$29257B6B-E046-4EE5-9064-7C13AB060DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$677C9208-F0E0-4144-B7BF-E70F11F9C2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$283512A1-836D-4517-8B9D-62D97A6F8F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c494478ffe2924706bba9f44d60603633045dae","datavalue":{"value":{"entity-type":"item","numeric-id":2481584,"id":"Q2481584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$25F555E1-C277-45AD-8032-A1DF21A1C9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$CAF23321-6EB2-4288-8257-32EE196425E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1D49FAEE-08FE-46D3-B5C5-756DB07979B2","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":"Q2871577$0BF38B40-C792-49B3-909E-6D0D865D8AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$DB4701CB-592A-424E-9A99-7BC5E3365432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc6aedd9ac3c25d0a03730d5d12f05035842f62","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$0FF99A6C-C4AB-49A2-81FC-E45F1245BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1cd4c2e45e61ad45ad2f7a29f6c1dd31ffaa91","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$00BA459D-778D-4158-BEE4-44F032B3F08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5d2a3258c7534111c1afe7f95a33b1202d115d","datavalue":{"value":{"entity-type":"item","numeric-id":5716595,"id":"Q5716595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$ECCB4E85-480A-4C00-958B-04AD32C47621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$48056AD8-FE61-43B9-B28B-E7F5FA21C831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$92690124-6D10-4C7F-923D-8A8C0FFBAA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$D666ACE8-333A-4800-A980-49481244E130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$A530A554-CE31-4419-8E02-B32AAABEBDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$A5CE0F16-CE24-47D0-9BDE-39375E142B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$9C8A4E18-6378-45B4-AF93-0433F6F38B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$0BF90EA2-6DBD-4BE0-A130-E5CA9A5C81AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$B3024503-F2B9-40C1-B82D-3E636FB812A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3675b5c0c7a82ed12ae8ee9060e9d4fb8b0804","datavalue":{"value":{"entity-type":"item","numeric-id":4472243,"id":"Q4472243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$F265291B-FEDC-49EE-A3D9-3B50487EDB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681769f62f1bdff8943148c499843c2eab2b1896","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$8C9D9890-96EE-40F8-973F-B4DED744A216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$D71DCFE1-EA69-45B7-89A6-6CC608DA0829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2868bdd6f840dd396b4b8028fc91c3d07586bef6","datavalue":{"value":{"entity-type":"item","numeric-id":3593067,"id":"Q3593067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$3AD7AE15-C182-4674-A937-181A1A62F736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58cd9071e5453aa43136c900cd4fd464638fe21","datavalue":{"value":{"entity-type":"item","numeric-id":2917302,"id":"Q2917302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$3AEE6E54-3ECD-49CC-A7FC-84B9C1026165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$E9F028C6-0231-485B-A960-F90E7902F1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$BD5558DF-D539-44AD-99BD-7085E49F092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1cb268587dd293a50aac3367d9a446c9cf81f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441715,"id":"Q2441715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$22FEC307-7C4F-4F0D-8AA0-5C0DA085CCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7884d51eedd303606c739079be383d06ea9f6e54","datavalue":{"value":{"entity-type":"item","numeric-id":2753764,"id":"Q2753764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$EA849780-3EE6-4941-B22C-6547F483EAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1D9329AD-DF61-4A1F-AD38-976717E1C712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$7E2CB138-6057-4770-98E8-2FEDAB3476E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$74752426-0C2C-4177-829E-B3D3829A7EE4","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":"Q2871577$058543D2-0689-4BC4-B25C-06DB86DDFED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$E4EADA41-589C-4541-AE06-4F69D173D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$D6B7E33E-8B33-452C-B8C9-DD9C54C1AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eb300841d0e0b571606f3eb7a1f32b7e99531b","datavalue":{"value":{"entity-type":"item","numeric-id":4076758,"id":"Q4076758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$7C5D9CB8-5422-4AA0-91F7-D74869D45F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$CD3248C5-473E-43E4-B91F-D4DA9097E9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$23780103-E817-4FCE-9D93-EA4D1D933268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$42C30972-DA77-4BBE-A594-23C9B7EE43DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$FE1C5C4C-B542-4DB8-A40D-DDD00C3402F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$B22B9FB5-C522-447C-BE7B-30B42C40E0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8de3639b16c92e9ce55a3dba9a1550e636a752","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$1EF27783-E9CA-42F8-87FF-E3D946B4CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51a7d8068271239355553a1d0908771fdd46aff","datavalue":{"value":{"entity-type":"item","numeric-id":4708602,"id":"Q4708602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$CC25412F-123B-4D9B-8845-B676F532CE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$62AC03E6-BC57-48B1-A402-A2683A154831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$02BA0563-2AB2-4D61-A63F-C5D067F4DFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f47ba5a8717a6135d365567dad11f6bd81cea5","datavalue":{"value":{"entity-type":"item","numeric-id":2754093,"id":"Q2754093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$2DCF4EDF-77F6-48C4-9A5C-459D024CE038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$7AFD3F4C-120F-4052-B883-586A6E37EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$DD984CA0-BD79-4A8E-BF8C-1F0BAE4247B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$FA79A983-72EA-4105-8ED3-253F010F765E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$2667B7A6-BB91-406A-870E-5C776AEEEA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2a2787ed47a4d5e91d9ce327d2742e1960b77","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$CD395C41-CEC8-43F1-B567-0270E3B03DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$80490895-A2C2-4FB3-9ED3-E7F4D3D3F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$E535B1C2-CB68-48CF-8B12-E4D396B710FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f000b18facc28d35ad7b86f02c93c42315a30937","datavalue":{"value":{"entity-type":"item","numeric-id":5277630,"id":"Q5277630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$D8F2CF43-7505-402F-AC03-3BCB2E2F6658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$940CF247-9404-4B1D-8E2E-8B486EE4E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871577$75EE6DEA-6D35-4A4B-B961-12A1793AEB6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e17d478d32771161846ac35b5fa1372855eb9d","datavalue":{"value":{"amount":"+0.793807327747345","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":"Q2871577$50C6171D-A12B-4820-9067-150B9078AE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a332cc1d91fca55b17188e0854a958f69f303f6b","datavalue":{"value":{"entity-type":"item","numeric-id":4530804,"id":"Q4530804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad96ede1aa341a0ad44a5fe4408070644ce573cd","datavalue":{"value":{"amount":"+0.7833254933357239","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":"Q2871577$12667FBE-E0DA-4F4A-8CAB-1DA83DEA389E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0ae5fc686887d804e15c7a5a3ba2f22fd1a238","datavalue":{"value":{"amount":"+0.7759517431259155","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":"Q2871577$0AD30A11-0A4F-459E-838A-F644E28E8789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8a8437a8e5789388bf00abcdea725f1c3323b6","datavalue":{"value":{"entity-type":"item","numeric-id":4518869,"id":"Q4518869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545395858ad637880ae858efd582449e3cda462f","datavalue":{"value":{"amount":"+0.7711413502693176","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":"Q2871577$6C1BFB78-086E-4958-9E92-97B0C518048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d72c32e662e317b651ccbcf1d77f98e82a1287","datavalue":{"value":{"entity-type":"item","numeric-id":1856169,"id":"Q1856169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348633b05da4a5cedc3e4d96d8015323141fa107","datavalue":{"value":{"amount":"+0.7692277431488037","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":"Q2871577$361D3B5D-6827-4580-BC0E-831E8F824F86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated formal analysis and verification: an overview","badges":[]}}}}}