{"entities":{"Q5452598":{"pageid":7482157,"ns":120,"title":"Item:Q5452598","lastrevid":41198205,"modified":"2025-04-18T23:51:40Z","type":"item","id":"Q5452598","labels":{"en":{"language":"en","value":"Using First-Order Theorem Provers in the Jahob Data Structure Verification System"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259426"}},"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":"Q5452598$9A7C0857-FC66-4E0C-A1F2-B86102DF3338","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb19eeb43b7425cc35b9dab44b265866c50177ea","datavalue":{"value":{"text":"Using First-Order Theorem Provers in the Jahob Data Structure Verification System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452598$EFADABFB-923E-45D0-AFA8-A6833BBC133D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e6a4e079cba08eba23d73b35898cb42afb562d2","datavalue":{"value":"1132.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452598$373D341D-357A-4D95-9174-B783458928BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6f6acd2b3869a5d2ac1daf3294a3f285d0fb83","datavalue":{"value":"10.1007/978-3-540-69738-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452598$2CDE9FF3-7E94-422C-B159-BD015ECECD5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2ee0eb026a4629bbcec66f578ef66ff8157c94","datavalue":{"value":{"entity-type":"item","numeric-id":321297,"id":"Q321297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$A9970183-0079-42DF-A3F5-A9D21AC7C831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$CA1AC85C-9EB4-4AE1-8DC5-8BE3B8464908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$94BABC66-D7C7-4003-B2EC-D77F8CA4E061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba3c2cccc3d788d914efec0f38a4b7c4d73774c8","datavalue":{"value":{"entity-type":"item","numeric-id":5452597,"id":"Q5452597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$3D3A078F-959E-43A0-A1D2-4A7796761B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3818a1716b8610e195be4975a458855618b9d1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1268805,"id":"Q1268805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$9CFB9F97-DE29-492D-B4DA-A0B24A325F06","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":"Q5452598$0F9E1DCD-F980-4AEF-B725-5EEF5E05190A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452598$0693EC7B-3C0D-498F-A382-560C04AC65DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5967085af2819cb0c84df9d55934de1fa7f2ba8f","datavalue":{"value":"http://hdl.handle.net/1721.1/34874","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452598$129094EC-DAA3-4369-ADF7-4651AB2A12CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452598$F6C249E6-A496-4344-989E-1A80C17249E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452598$2F5B06EA-190E-42F7-AE85-D9A21F8F9965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452598$262D1651-F842-4698-98E7-90A57DC309B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75fd564949caafc2fb0abb193f9628117f0ed49e","datavalue":{"value":"5259426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452598$7473338F-ACA8-45E8-9CDE-55CF80792340","rank":"normal"}],"P1463":[{"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":"Q5452598$6B2C3C21-066B-4D6A-9146-79642F2DEA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$C192173B-21FC-43BB-8471-B02BF9DB8294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3672d7e02d9f1e10e36edaa35b5c5b486c0a28ca","datavalue":{"value":{"entity-type":"item","numeric-id":24314,"id":"Q24314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$08A9D908-072D-4DD5-BC98-10C3C176719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$C0A86133-AE4E-4AB3-AE98-45441D4CA0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$F1FD4509-01B4-4DC8-8BBF-3B8A04447268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$70C7EE21-27F7-479C-8D5E-82AC6C56AD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$A863B85D-0503-45D7-B4F9-9C3BE064C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$6AA283D3-8DAE-4899-9DD6-DF862DAAC873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bd3e17f5c8106c552732e5d9395b841a42716c0","datavalue":{"value":{"entity-type":"item","numeric-id":18897,"id":"Q18897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$46C5EF4F-9A36-41A5-82AE-CB206969DC36","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":"Q5452598$B4C6F790-C156-4A8A-BEAD-7474E7C3E83E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2501f8c76652d956be00da9ca85537216efb4d1","datavalue":{"value":"W1744728944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452598$A1EADD59-C317-4BFE-A3DD-A93169921798","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa65580a37f1a15e222036995b50e2d2433afd75","datavalue":{"value":{"entity-type":"item","numeric-id":5452598,"id":"Q5452598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$06A683CE-AE63-430C-AD51-1710F8A564FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$2B7AAF32-DA68-47EE-802A-E06443F83506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a693c10013eb7bffb7ffbc0c1890644cc6a21fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4809048,"id":"Q4809048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$8764D97B-1A57-42BA-A846-44DFC287FBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e690a622a61afeb0c2a7c388c1cf18ef89252c9","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$3451DBA4-67B0-4CDC-97C4-50712D552019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$6A5F1B2C-7440-4DBB-B70C-A02192C774FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216559cea76cbd7bebdc584718098a2b0e882117","datavalue":{"value":{"entity-type":"item","numeric-id":5307074,"id":"Q5307074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$8A83DABD-504E-4285-B9CF-58AB70919121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$4704D5C9-0B01-4F68-BEC5-44B24D38C3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$1A34F844-6FEE-434A-9D5E-42162D0E8278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0697dd4f6ffb6f6def4aa43a14f5f7ee8431bcf8","datavalue":{"value":{"entity-type":"item","numeric-id":2917408,"id":"Q2917408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$EE9E3F81-0FDF-4C2E-93AE-8A8FAA9FE8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$6DACB3EB-5CBE-4A70-9D77-BE1006B6554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$ABE99EA0-9D82-4DB5-B111-A8226B68B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$9B802A3C-F15B-43EB-86E1-79DF1ACDE806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175b398753b6478b140249590f4df7dba5367c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5898616,"id":"Q5898616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452598$AE2CDDC8-BE70-48DD-B59C-6AD54A66CA19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a588c992f66473ce2128ef7f91aa58bc970e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5145439,"id":"Q5145439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6b1a3f5caf34a00102d5a2baaa5c0360c6cb5e","datavalue":{"value":{"amount":"+0.86881596","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":"Q5452598$B382CCF5-468B-4C15-B707-C937042D91BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83aaceba102c46b5c3f3e7b39a284e4bbc12350","datavalue":{"value":{"amount":"+0.8652508","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":"Q5452598$6A825FBD-EB64-4707-A83A-C740D2F25ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf175ca02fbfe4698f3e33445ec7cdc416b1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460e708637e0a4e97c43ea25641f58c22ae1899b","datavalue":{"value":{"amount":"+0.8602444","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":"Q5452598$C7CBCE7E-8AEE-497C-9192-50924F6753AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42fd7fd08a842e0eb95ea9deb6868d0cf675d00","datavalue":{"value":{"entity-type":"item","numeric-id":3636811,"id":"Q3636811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50cf8266a51122911e75e828f34828d3689e7a7","datavalue":{"value":{"amount":"+0.8584402","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":"Q5452598$386C9BEC-00A9-4F8B-B80B-E95A272C794E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace90ae293130901c8792d99ec3c790c8b53ec06","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50cf8266a51122911e75e828f34828d3689e7a7","datavalue":{"value":{"amount":"+0.8584402","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":"Q5452598$14BB3DB3-D9FF-477F-B099-DB048417105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d53e3269671c3b829332645636422f0534f2837","datavalue":{"value":{"entity-type":"item","numeric-id":4707766,"id":"Q4707766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b6cddbdb9d3c065853bc6c149def9dee5e3e10","datavalue":{"value":{"amount":"+0.8576593","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":"Q5452598$E88ABCBE-04B6-41E7-AD5B-4E82D844620B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d01452061cd96895758d35e71f90332b94a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c761fb6ad52a8fe4b6f1eb46b772836d8fe2af","datavalue":{"value":{"amount":"+0.8571505","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":"Q5452598$D11F1C3F-0DD3-49CB-A794-7AED67BAA417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcd94f921aa20f6b9b45b22d22d4796be094a6d","datavalue":{"value":{"entity-type":"item","numeric-id":429582,"id":"Q429582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e341a2dd9edb4aaa84519f95050c7ff7ed7a762a","datavalue":{"value":{"amount":"+0.8558539","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":"Q5452598$6AA337C8-BD7B-49AD-A780-A1FCAC177EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deacb24347a61f6e207c9f566df13e0a7bb853d3","datavalue":{"value":{"entity-type":"item","numeric-id":6157247,"id":"Q6157247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c080c7546bde40ee18f3112f3f7c084cc2251c13","datavalue":{"value":{"amount":"+0.8543488","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":"Q5452598$C0E425C4-6132-410B-8A6F-163E761F82E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582558383118de9d65b0211933a9afadc6cadfa","datavalue":{"value":{"entity-type":"item","numeric-id":4357064,"id":"Q4357064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a17c7a56597d86d31c9be61372af7b320245ea","datavalue":{"value":{"amount":"+0.85119915","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":"Q5452598$C22EBFBB-936A-473E-8EA7-509216BF4F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452598"}}}}}