{"entities":{"Q3586008":{"pageid":5615912,"ns":120,"title":"Item:Q3586008","lastrevid":58217571,"modified":"2026-04-04T06:52:52Z","type":"item","id":"Q3586008","labels":{"en":{"language":"en","value":"Inferring Loop Invariants Using Postconditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779211"}},"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":"Q3586008$3A12D709-2520-4BAB-B0D0-6C606DD07465","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83414fa6630bcbd6643622d03d0af81980911e0e","datavalue":{"value":{"text":"Inferring Loop Invariants Using Postconditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586008$31000674-B70B-4D1F-A97E-3EADBE97CC4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9199a1e5d97d4c93cd9dae600b80af57879600f","datavalue":{"value":"1287.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586008$B7E7C5D9-E0FC-4F32-B983-E22AF6A3C2D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d80d70c5276e3f6ddfafa2097563f7cfd4bb2985","datavalue":{"value":"10.1007/978-3-642-15025-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586008$86C784CC-0DFC-4A28-AE80-CEA4B803741E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a65fbbaeae777cc53a7239a9ca34bd6b05d7af","datavalue":{"value":{"entity-type":"item","numeric-id":714628,"id":"Q714628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$AE254394-A87F-4FBB-BDEE-7C5C96E0D161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c4d523b13f3aead91ab99aa4b7085cb8041985","datavalue":{"value":{"entity-type":"item","numeric-id":846107,"id":"Q846107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$B63CF040-08C1-4C75-8A7F-A5A900FDCD5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$D9713D08-ADA4-4118-923C-A86EDA4E2D65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586008$A1539641-AA25-457B-8174-E6AD9C1E943D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c264a345d08a96bc1387c57c9b87cf626c66001","datavalue":{"value":"https://arxiv.org/abs/0909.0884","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586008$E2A8ED65-D3ED-43EF-A881-AF3537D81323","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586008$8E6351C1-42C6-4CA7-A8E5-9D94380450F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a7e5c15379da401bae435176ef5bb3b2014c998","datavalue":{"value":"5779211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586008$31B89A20-5E29-463C-91C7-69BD253E85AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586008$31DAD433-E2CD-46C8-82FE-C3CDAB23494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586008$61D1D0A8-B9BD-42CF-933B-42FA1B4840C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586008$632924FF-3268-498F-9E3D-CD715364F183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad373de6f3038608ffac70bac5249aaf4bf51ad0","datavalue":{"value":"assertion inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586008$5F5DAC4D-C9BF-49DC-BCFE-33EA793F3C66","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c394b74049cbdb0cef88807aac9fa3513bba728","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$3E330E1B-73E6-425A-A102-F7906CD7680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$416AE7C5-A787-441A-8F4D-1E6B5FDB72C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$667C844E-83FC-428C-9431-2A99D7915449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$08A7DD84-EE82-4A62-83E3-0F43922AC4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$22BBB048-CCB4-4E1C-86B8-01F7A43E96D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$5142333B-5985-4E85-9B4C-29E275ACADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$A02876FC-2116-41DE-B75B-C3EE4CB6C9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$68794B29-11E4-42E0-9024-6C7E451A8B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$C94116AA-9FA0-49F0-A868-521680B09A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63bcbf34c73354f193e596225e5dbd590a75ed3d","datavalue":{"value":{"entity-type":"item","numeric-id":24561,"id":"Q24561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$15D3B6B0-C0F6-4470-8533-3B3763394BDF","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":"Q3586008$AE114747-47EB-4216-9043-E2A3E7A36839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69d8b1e6e1ad3125250d2c5c3c183d4157a2f182","datavalue":{"value":"W1788659055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586008$B8E72482-6371-47BF-A3C0-D381575EF19D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$EAA0EA63-E124-4600-91B1-3A5718208BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$62E4D194-5C69-4060-9219-DA4FE7DA1D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$7B252E5B-25A6-4C00-B43A-F3F8277016F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9af34ab0f3a5d8a2bdae5666451b1341bfa629a","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$A62C0CB7-9687-41D1-A431-13E8D9457328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$349CC145-E5F3-4075-879D-5055B1F73F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$20BA90ED-30D2-4A69-8ED3-0D214FDC2A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b311763f66db187692c242b6954d5589ac66","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$77AAB3EC-FA1D-45B9-A87C-F53756D55C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$67F0937D-17D0-4BF1-BFFF-046C784304F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$C12A1094-37FB-41C0-BEF0-E863DB43ECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24d98fe8151a7ee984475d5ecd61101306ad23e","datavalue":{"value":{"entity-type":"item","numeric-id":4461768,"id":"Q4461768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$9CB6432A-8FBF-41F5-8D8B-2E8068E7229F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$B0AD1DD1-C679-4FA8-855D-2DADD79F34DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$7852D1B1-9D49-4AC9-B4C1-1015AF1A197B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfe29b2bed089258badae102ed282a5ff850ace","datavalue":{"value":{"entity-type":"item","numeric-id":3656882,"id":"Q3656882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$2F74B9EF-A3F6-4DC5-9DAE-38BC31244F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$E38B9940-316D-45F9-B173-652559F36BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f7159ed5d80059ebcaf3d35e876efd50166449","datavalue":{"value":{"entity-type":"item","numeric-id":5901910,"id":"Q5901910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$D4B148E1-20BC-4275-B95D-610E621C1A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$D45014E1-C078-4650-893D-1EBC758387F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862fa7c48bc451805dea6ab3c6955de3476ff245","datavalue":{"value":{"entity-type":"item","numeric-id":5503619,"id":"Q5503619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$DFDA6480-7C46-46D1-91F2-CC59B2C3EB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$68DE886B-1468-481B-BF95-0C7F95A5DF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcf2296969dd5e01651c8f2a620352248abf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$2A0345B1-2F28-4F32-86C8-7AB0A2B3CCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac80f8dd6b9c81d89f3e2f783c850787d622bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$3C8AA508-8080-44C7-9A08-13A94DE378EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586008$16FA10B5-0FBF-41B2-A903-9F0773529CA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36f3694c49ffa7483df2a818342d806f5dea076","datavalue":{"value":{"entity-type":"item","numeric-id":5740643,"id":"Q5740643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26d12985fb5cc0406e25f5069b5a0206560f0d7","datavalue":{"value":{"amount":"+0.89205694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$A35D9907-F7E7-429C-B2DC-A7694D092EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f464b64c5ce744bcc9e044bb866ec7efefd38317","datavalue":{"value":{"entity-type":"item","numeric-id":604381,"id":"Q604381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330388cc1715867c7765815b5a94ddcb8610e902","datavalue":{"value":{"amount":"+0.8903084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$B6E21EAD-AACC-4EC5-B521-2C1BF641DC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81529599e93e5529cd39dd904943e5bb34d02253","datavalue":{"value":{"entity-type":"item","numeric-id":2152642,"id":"Q2152642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bc40e7492a3f5c33361dc6e36751ba51a30f15","datavalue":{"value":{"amount":"+0.8710714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$3B86D779-47DB-4DBF-882A-632F9A7E0CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2857b5444fba721f1f0ebd35ad43beecdf0a2204","datavalue":{"value":{"entity-type":"item","numeric-id":2265799,"id":"Q2265799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ed2157f53487c02c4962ed6fb01b1757648aa0","datavalue":{"value":{"amount":"+0.8706985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$01CA377B-903C-42F4-AEB2-088E61BE4297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94c01cd18d6403d2f48321e57b93a16d34b8618","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e348c0b593867d4bded620711e60dcfef7c3a84c","datavalue":{"value":{"amount":"+0.8706162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$F3A9121D-2078-467E-A8A5-BC0A5C1DE795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e4251c7d7c8287cb43fb5e0e28c5f0d5fdbdab","datavalue":{"value":{"entity-type":"item","numeric-id":1065537,"id":"Q1065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3c72259c4db767b87085218bd10fab1a972d7c","datavalue":{"value":{"amount":"+0.868648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$ECCBD567-CF7B-4177-A3CE-A512232253A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b63caf5f28b762bf948547dcc600d322ce5750","datavalue":{"value":{"entity-type":"item","numeric-id":2180218,"id":"Q2180218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a64af213537c84c5eb542d88064cadcf67708e5","datavalue":{"value":{"amount":"+0.8679224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$0E19CC61-0702-4D84-B6F1-0883D376403B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf08f9e6eae6c33e54be636f8491d559294d6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3004678,"id":"Q3004678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba7ce043a7f5a0514306aa4eb4b1b84cf6a2a81","datavalue":{"value":{"amount":"+0.8645731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586008$3C23584B-B590-41CA-BE87-E2CD4BF63A3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586008"}}}}}