{"entities":{"Q3453102":{"pageid":5232502,"ns":120,"title":"Item:Q3453102","lastrevid":46464060,"modified":"2025-12-24T20:25:46Z","type":"item","id":"Q3453102","labels":{"en":{"language":"en","value":"Mining the Archive of Formal Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512407"}},"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":"Q3453102$85F0D160-966D-498B-AA8A-D33CDC97196C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b9e1bcaae445445fec5ad20f76c8b911ba2b001","datavalue":{"value":{"text":"Mining the Archive of Formal Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453102$94960608-8E16-4575-9FC6-AB34D2407741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0bc3a25b8bacd758fdad43103fc03b74443f5d9","datavalue":{"value":"1417.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453102$7DDAB16C-A74C-42E0-A526-A6F1C7EE6D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"055df3fa9d58248bb966fdba02bc7d1ea14b2c83","datavalue":{"value":"10.1007/978-3-319-20615-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453102$226DCC5D-9570-47F5-ABD9-3C8E61026426","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$E8939E70-8E61-4092-8A77-B2F76075D026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbfbec2406713b1ee2886412d7c8dd091cd9c18","datavalue":{"value":{"entity-type":"item","numeric-id":287362,"id":"Q287362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$DA3E1F2D-EFBA-4511-876F-3C1C1F2E4E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$AC5E6A2D-3489-4ED0-AEB6-074CECE6123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d33c2cb482f696fa81fcf6b993c9bc4e7576e8","datavalue":{"value":{"entity-type":"item","numeric-id":1799113,"id":"Q1799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$CF6DB6AA-7B5C-4CC6-B391-5AD4F56EC599","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":"Q3453102$D66658F5-D83A-4F7B-B168-1BA535FE46AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453102$5FA51A4E-7106-4CE1-8EF4-866825EBC505","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48f386171be5f8e880de43b5ad16636e32581684","datavalue":{"value":"https://hal.inria.fr/hal-01212594/file/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453102$B3ACE4BE-9EA4-4398-81D8-6E0FA8C367CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453102$25494556-9BCF-428E-84F7-95B85EF2A943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453102$29585031-434C-4590-B8C0-12142AED7A4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8edc3253c35069cc6efcf6abca356c853f2d9f","datavalue":{"value":"6512407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453102$C20D79D5-31ED-4964-BCDB-39E2D7D856F7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"08f3c3eab649fcf323fb5389b9b8ea8dabe4e08d","datavalue":{"value":"Q114700358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453102$22BB9A0D-5B63-45EA-B1DC-999ACC8A583E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$8CC5FFB2-8EA2-414C-AE90-A0CAE8ECBD1B","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":"Q3453102$2C254A23-DE26-4863-87AE-E719892779EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$17DE32C8-8D20-46A8-A722-B86E5DE7FE9C","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":"Q3453102$E396A987-E8A3-4E3D-8CD8-A4A0BEA5CCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$0B70AFA2-A54E-4455-8017-B359870FA4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$F8732CB1-3582-40EF-AFB5-2D5BC8A7E613","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":"Q3453102$D3AC5F1A-530D-45A8-AAD2-BD8D2189CB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$A6893391-E405-4E3C-AEE2-F14830E796B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$1405FD93-0236-4708-AF63-C53B5E760F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$8D5061DE-B436-4EF5-B96D-1D5E23DE474A","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":"Q3453102$6DC82D27-6025-4CEC-B9D5-27BFE923A541","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":"Q3453102$AC1414FD-88D9-407F-9CF0-5F1D39CF8404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb43fd5ea1dded4ccf3079eb54d30e91aa2db5f3","datavalue":{"value":"W1910466616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453102$5DDA3E3B-5481-4BAD-A1DC-48F9A775C8F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f23db2dd4d34a2f60254ad57a8915830982b5","datavalue":{"value":{"entity-type":"item","numeric-id":5200114,"id":"Q5200114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$F2111A38-BAD6-4112-8468-0B499CFB680E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961e583e188fc7cff1699f17f5a1576a96a31fd3","datavalue":{"value":{"entity-type":"item","numeric-id":287340,"id":"Q287340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$86CD7725-D587-45EA-B2E6-863ED4883287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$EAC4F292-0543-47A2-9601-296307742634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ced8d6f2a9df1ee71786851c7533b59c2dba2f","datavalue":{"value":{"entity-type":"item","numeric-id":331617,"id":"Q331617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$B53047E4-0605-4058-B398-1296E10CAE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$0E38FF99-C0A0-4A48-A6C1-CD75ECB992D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$34D95389-5A22-442C-B2F9-BBA1929C767E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$9D3EEDB8-48DE-49B5-B73C-AFB688B20AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$FBB69DE8-A0BD-49B0-97DB-434B0594EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a5a326924c9f9f3cf0f5061fb0ff950ccfad0d","datavalue":{"value":{"entity-type":"item","numeric-id":5747660,"id":"Q5747660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$CC88D8D4-243F-442D-A588-2CD311D3B1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$232E645B-9A8B-4607-817F-931506408A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3465854ebec2bf54cbf9f18bb6fced291b245abc","datavalue":{"value":{"entity-type":"item","numeric-id":2892748,"id":"Q2892748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$7B276E2A-7849-4C9D-9B9D-535A3E511294","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":"Q3453102$59B38120-CB7A-4E2B-8013-90080F4100A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$9FF44291-FC4B-4DFC-84F9-460FE6A161AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$535FCDC7-7B4B-4C72-8A97-7ABEBB5CE283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$83AA978D-868E-4861-AA6B-2D2C2F8A78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$75E3959C-409E-4D36-99B3-D0BCD91859E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$3E2F2906-209F-4E1C-8E6F-0CBFC4AB76C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453102$371136E2-DD1F-43B1-B89B-F8B178DCA7E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d9ce02f9f5a933a6e0f883879389c238d3f25b","datavalue":{"value":{"entity-type":"item","numeric-id":6159381,"id":"Q6159381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ff1aa67a0d124f0ad8baa33b4073b5942bb4f4","datavalue":{"value":{"amount":"+0.90866435","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":"Q3453102$89AE75F5-39BE-4959-A51F-90376418A9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37e781442f5fdb0781652f1df6a59484fd392ee","datavalue":{"value":{"entity-type":"item","numeric-id":4681899,"id":"Q4681899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845ae7e6d93272c9f7134719cb6ce4feaacba39a","datavalue":{"value":{"amount":"+0.89919066","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":"Q3453102$1298D79D-4950-4BC3-A1E7-0C27E29F4F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97c8b1720d3a96169ee5dae98f2c4b3b13bab14","datavalue":{"value":{"amount":"+0.86562115","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":"Q3453102$7D0F2D20-016D-40DE-8CF6-DC64B5600017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2fa9c521f930a0dd20de49cee0ec54243f420e","datavalue":{"value":{"entity-type":"item","numeric-id":2453072,"id":"Q2453072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b45015ae1ef74a8588c21bb2eec1b7354cf0fd","datavalue":{"value":{"amount":"+0.86379695","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":"Q3453102$F3E7060C-5C67-4889-86A2-B9B546361AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e3d57445ac71dfe4d08202580f03728cd06977","datavalue":{"value":{"entity-type":"item","numeric-id":5717044,"id":"Q5717044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6d423f49d9b3e027ceca4c36bb0fbf4367d3bd","datavalue":{"value":{"amount":"+0.8548262","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":"Q3453102$550D66C7-B25D-40E1-B174-B70B4296C9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9707e33700967679010ac1d47d134b3b741111","datavalue":{"value":{"entity-type":"item","numeric-id":2879241,"id":"Q2879241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1341217bd706df1df9192c3cfe64a212c663b40","datavalue":{"value":{"amount":"+0.85363203","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":"Q3453102$2AFDE4A0-1B13-4E7E-8B61-9D1CCB310415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7f6e441c300b95bfaf3b19ca3f231a60f3a633","datavalue":{"value":{"amount":"+0.85180813","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":"Q3453102$3227E45A-0C5A-424C-B704-F73AFDA32863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8918331d33e43424295f29748f1758cb07fdb5","datavalue":{"value":{"entity-type":"item","numeric-id":3698794,"id":"Q3698794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef022340afce0385aa80153a8d51f59049089c9","datavalue":{"value":{"amount":"+0.85016316","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":"Q3453102$D0D1E589-8CCC-4655-A599-5269D6014D5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453102"}}}}}