{"entities":{"Q1739909":{"pageid":1750651,"ns":120,"title":"Item:Q1739909","lastrevid":53409641,"modified":"2026-01-24T22:17:00Z","type":"item","id":"Q1739909","labels":{"en":{"language":"en","value":"Refinement to imperative HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048641"}},"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":"Q1739909$B83E77FB-3A7B-44BD-AE39-F15B79C44A69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f48ff55830b2c1e805cb2a34f749eaaeb390232d","datavalue":{"value":{"text":"Refinement to imperative HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1739909$619D85F4-CA93-45FD-B96A-E4EE3410F57C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf7d1afee7e829a36de0180582a3cbfd4b860e05","datavalue":{"value":"1465.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$A6AAB246-76BE-4018-B630-2954109AAB7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$C8C3E605-0C49-49FA-88DD-2CE12CE745EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$95F390A5-EA7A-4FAB-B76C-13EB79679B2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1739909$CEACBF46-4D6D-4BDB-B15D-ED0F75DF61DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"761aa19cc64fe046a4fed508e2e4da3ce5280569","datavalue":{"value":"https://www.research.manchester.ac.uk/portal/en/publications/refinement-to-imperative-hol(3de7ca0b-1d46-4597-8f1b-378239c2c10d).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1739909$9CB8F3FC-882B-44D4-BE2E-E10FE4272752","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$4F71E89E-EA4D-41D8-BA7A-997272B1CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$FA28C2E8-533E-49A8-8884-F5CAEF77431F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$7D604F79-A001-48F1-AF67-649AC1361B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$D150DDF6-8A85-4EA1-9921-B401CFCA1C4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d85714283a30b2e44480a1d7b9497ffe59c1b037","datavalue":{"value":"7048641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$63282709-1B86-4343-BCD8-12FEF30756A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739909$C517DE6F-F385-4E55-9015-C0360C57425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739909$D8B72A78-082F-4238-BF0F-C2766B57D315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739909$A4BC5F5C-8179-45DE-AFB5-80EB2DE4D51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739909$8DD65648-5D06-4121-B4F4-E73FB164E485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7efcc17cc0fae0e1e0c1671b7551ccb9d8d54c63","datavalue":{"value":"imperative HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739909$E23E2B0E-6F22-4D6F-B975-5A2F2452F160","rank":"normal"}],"P1463":[{"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":"Q1739909$A8C56D2F-CF35-43A8-8886-92C7954A8CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$ABBB7E17-62C7-4C16-9BBF-0594B1380D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"665b81d9c0f077e3e09c3e4e80080780b437ea70","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$030AB96A-7930-492F-8EA1-5B07468C3A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$C10E5819-4412-46CC-A607-512DD0E8E416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$6B51FE92-072C-4C5E-89A5-23378604B8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"877fe43feeb6e906af8a2cba157afebe0734c128","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$D5FB75E4-3DE1-43BB-8F47-EF0D1655B9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$072D21CD-6EA1-4DF2-A9FF-E37B54AF45B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f930b95045a1000563a1c7315d8b3659e0c990e","datavalue":{"value":{"entity-type":"item","numeric-id":26832,"id":"Q26832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$2CAC8BDA-0CB1-4BB8-BAE6-FC8E98B23E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f86a777ed9723a1505ce676eeb86cd88f8987a7e","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$62488112-BF58-4401-8332-B5382329347B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d082feafa45d8fd2af5638ac3cc0080de90d3ac","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$1175F6DF-CF7F-489C-A8E1-DB1E229E421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13e3c1ae037a69a0e955591f025dfaca47973868","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$F364E785-6B58-4B98-9CC4-4B6113F81A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$51D5F08B-B48D-4D06-8000-6BCD0F4A9B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e8d40c421847de2e0ab01b9932e18d4bfbfa229","datavalue":{"value":{"entity-type":"item","numeric-id":40949,"id":"Q40949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$233C6A1A-A656-413E-A9D6-0619BFA62F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$43AA31D5-62B0-4D4A-AF43-6263F1AAC8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed664df4807a1c1480dbcce90c73c0ac4e6b59b6","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$A00B48A0-D584-463B-8F85-AC8815FA0C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a702409075e50310c4740b6b68ff6f044d831b5d","datavalue":{"value":{"entity-type":"item","numeric-id":40324,"id":"Q40324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$57A9200A-B65A-4352-A0BD-E4BE2BFE8756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fac9fb5cfad6545c88cc8857964533dffc3ed17","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$01388F57-F1DD-4B70-9296-FDDC8FD27243","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":"Q1739909$A3642762-126C-46E7-8693-A007367ADF9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab21cf4a36126299fb1163dc8664f04cffe782d0","datavalue":{"value":"W2762980364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$17CA910F-AA12-4827-AE99-7552E3455CC3","rank":"normal"}],"P223":[{"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":"Q1739909$89A2D938-D92A-4EDC-A1DD-43EAD05FBFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$524AFF2B-4E83-4292-9BD5-22B11B3EAFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$9430D30D-0BF6-448C-8C98-8D2E2203775A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$ABF1A534-0B24-41FE-A6CC-D36A16182EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$910A154F-0088-4281-9730-4734B390D61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bf23d396de4098e04e28b19a662f87e70c7d62","datavalue":{"value":{"entity-type":"item","numeric-id":2945628,"id":"Q2945628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$91C9DB33-49C9-47E1-AA4F-8FF6AC799DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89594204a2dc3c58c834b5a8e9a37ca270048fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2819861,"id":"Q2819861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$776B1059-BF90-4700-93EF-A99B83552A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5b18e5a44e3c67c75b0887be40e31fe6fc87d6","datavalue":{"value":{"entity-type":"item","numeric-id":4080986,"id":"Q4080986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$25DB57C5-B357-4325-AD15-E121539111C0","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":"Q1739909$99BB0D55-11D6-45A2-98D3-3B7580F0090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbfcea2166cf55628dc74bb062db5b5b011195","datavalue":{"value":{"entity-type":"item","numeric-id":2914753,"id":"Q2914753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$F297668C-4291-4ED1-8CB5-35453E32A801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0278a622341c2c3ea684f66af68a5b07b0b894","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$6F4D3693-8B2A-4D50-8E86-A6CA7E31EE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$7E9E84BF-8784-4B55-AE15-6658526E90A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b0bfaa5604fbbf1607bb7e54efdd2fee887b49","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$099499F2-391F-4EC8-B912-27A8332D9250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235cb100f2692698d1e78c89e440355cd4f7add","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$2CF6AF49-52ED-45FC-856F-0AD3948CA555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cf0d02217708d84dcdcc681838d7558a420590","datavalue":{"value":{"entity-type":"item","numeric-id":2829260,"id":"Q2829260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$8ADF70F8-A0D6-404B-A1C5-2B31EACCF55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$B338A036-D832-4E2C-95FB-FE617947DB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$1BD6F8DB-2694-484D-B09A-3DA96E716510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739909$11AF68A9-C53A-4B3C-8288-CD21A9D3805B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c21c6c09f0f673114dd9c893ef27f4642dd8e5e6","datavalue":{"value":"10.1007/S10817-017-9437-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739909$3069009D-F4F4-4580-81BF-6D6477383545","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959be19baa4476667a8bf253e7c26f9c31eafdc1","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf861dcb527ceb6e93ea6ba02e9d2229d4161904","datavalue":{"value":{"amount":"+0.931218445301056","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":"Q1739909$B68193FA-12FC-49F2-B2D6-3B27FE6BB865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b536b98ecd2e86d91f8e411fd78cb77fd3c3fa","datavalue":{"value":{"amount":"+0.8308098912239075","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":"Q1739909$75F19E84-584E-4AC0-947B-DD472CDF3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945512cd015e02b0cb42f8b2229b6e8d43e324bd","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8076b6bcc097e81e7344f2ccbf4cd369ed70e52","datavalue":{"value":{"amount":"+0.8105976581573486","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":"Q1739909$3FBB5E6A-7381-42D4-88D8-8614C283DFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54dac0ad3a84c5897bebd78827e84bdb3c2abbdb","datavalue":{"value":{"entity-type":"item","numeric-id":2324204,"id":"Q2324204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bff6544463c751760d74c25a9eeb04825d1c21c","datavalue":{"value":{"amount":"+0.8042044639587402","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":"Q1739909$83407899-7BA0-4BE3-917B-913578C59796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8059791974458f7341678f903beedafe125598c5","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26369d37c23eb0f2088206b7e0156fa32a27c6af","datavalue":{"value":{"amount":"+0.7933972477912903","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":"Q1739909$7763BE62-4429-457F-8B3E-5188D684BBF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1739909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1739909"}}}}}