{"entities":{"Q5210657":{"pageid":7240228,"ns":120,"title":"Item:Q5210657","lastrevid":41822925,"modified":"2025-05-08T18:06:40Z","type":"item","id":"Q5210657","labels":{"en":{"language":"en","value":"LF+ in Coq for \"fast and loose\" reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154362"}},"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":"Q5210657$8D7B4001-085D-40B5-8507-E76CD37273E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba8385f2264bc5bf2cadefbb5821fbf43579ee0","datavalue":{"value":"1427.68344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$A7BEE3A3-F3A1-49EF-AB78-3B164203BC9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ec3c43a787f0ce2af2cba920d22bbfe00fbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":673141,"id":"Q673141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$3125A0C1-2F13-46B0-8345-1004AD4F50A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$010AE952-1020-4CF7-A585-AD9AEDF03190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97058f80ad0e559576a478b1123296489a1948","datavalue":{"value":{"entity-type":"item","numeric-id":817857,"id":"Q817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$A383BF7E-E171-4F10-A84D-72F6662434E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$6F2C4CA8-9973-4BD8-B403-866453E9BA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$5867461D-0F54-43C3-B996-17CAAC08FDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$CDDD6072-672D-41F3-8917-96D72760FB36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210657$7C20B583-9BB1-4A9A-9E8A-746D5CAE544B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$A3608660-70C8-48E0-BADC-94A4DF059A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$1BD7398B-7F4B-49DD-96D3-E749449360FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$B8301880-5D78-4EBD-89F2-94B28809E40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$E8DB7F73-13AC-42FE-9838-4471A7838771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14670029b61f3cc418f1fcc6c9c60a20432ee6f6","datavalue":{"value":"7154362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$B2E4A4A6-F61F-45C4-A867-9F576FAA3358","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5210657$3713A484-A12C-4FDC-A5C2-8E486E329D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5210657$FDAB65E9-F123-40C7-A1F6-7D6C463DE2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b88ba3cd5dcc81c1e1d91e01d2b0848cd4ea1b4","datavalue":{"value":"computer-aided formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5210657$B1277D19-37BB-4B2F-BF3A-611ACD71F2C9","rank":"normal"}],"P1463":[{"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":"Q5210657$63B7D92E-3852-4798-9E70-BA4AAFD573E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$D20F7B31-8B23-40BD-ACAF-0F2BF18B561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11da79b81a11a302513c219a597904a636b21394","datavalue":{"value":{"entity-type":"item","numeric-id":32680,"id":"Q32680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$1DE9D78E-7D87-48A7-9C0D-600D7517B9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$2711F7FF-2E45-4C78-9250-0920F98B7A9C","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":"Q5210657$6CCE3D3F-678A-408A-9D66-237C80EA94A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e572618410ed7029fefe25f3efdd84a5613908eb","datavalue":{"value":"https://doi.org/10.6092/issn.1972-5787/9757","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210657$51DC5E7D-D0BC-4240-84D2-B04C9F70116A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9ac1aae4f377f12ad056ad447b101efa52f517a","datavalue":{"value":"W2999890999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$C9721431-0923-47D5-929E-2917E197C2D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"091e0080eccfbdf78d2eafa96d57068aff6aced3","datavalue":{"value":{"text":"LF+ in Coq for \"fast and loose\" reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210657$12DCFFC7-414F-4220-A847-622244114D6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$921E4374-030B-45B8-8B35-0FFA52D87548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$31483D3A-283C-475B-A804-04FB97C3F048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$A4C2A7F1-2291-4578-80CB-E4636A167C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551f294b4dfff0c0ed7cf85bc3e432354bd3a0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4864256,"id":"Q4864256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$A96FDB72-1A85-4BD2-90F0-FAD40894395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e7fa0bcaf516e6a14971bfb13e07e681d0e522","datavalue":{"value":{"entity-type":"item","numeric-id":4965869,"id":"Q4965869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$8753ED45-891B-405B-BC8C-01FB443A64C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78348a6daa039ac48174b092fcd01401f8c11fa6","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$86D43F22-E62C-49DD-B766-61A5719B379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$91C47985-BBDC-45B9-BE39-67B5ADF23C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$49BB274A-AE40-459A-A026-97C8DD27F781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$000FC24A-3907-48BE-8916-DBA00734B0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$B05CF2ED-D0EF-4C1A-B2AE-7C38FB26940F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$18875F81-BF35-4B60-8A45-EF6B5AD2DBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$DBCD5393-008F-401C-9CFA-D0421AFA6CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7a117d3801160d4f9cae9ba3bf727678dfda69","datavalue":{"value":{"entity-type":"item","numeric-id":2864157,"id":"Q2864157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$2278138F-290F-453E-8E94-857C22AAE395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af08f1df1490db63764d8c0564d6793fc3ff8888","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$53BD64FF-AFAA-4C3D-9AE6-76A11DAA2FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584b41bcf96cb2475a1ac59e4a5ca04c3b3bace4","datavalue":{"value":{"entity-type":"item","numeric-id":5505549,"id":"Q5505549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$F536B16C-C250-4B6A-9298-3D88DCEE020D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371cd86c4f4183022e07d575130f5b57e6328fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3179294,"id":"Q3179294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$C19B15D4-8602-4063-BC7F-A4C98F55BC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a03d21e4dde8f6c623396293775789e26cd4ab","datavalue":{"value":{"entity-type":"item","numeric-id":5278085,"id":"Q5278085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$6F0C52FA-24BD-41CE-87C1-0B261F42E241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405310c080585431f4956af6aa7bad75a0fe8cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4691186,"id":"Q4691186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$E2CC070A-1B9A-4479-ACC2-97A29359FBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b365b80be9578e357da211cceb7eea6e528d393","datavalue":{"value":{"entity-type":"item","numeric-id":2922027,"id":"Q2922027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$F194B277-EF63-4E94-ADD8-DE89AF5C0AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$F2A1899B-02B7-4074-B83C-A0B7A1FE465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$1CFA9FA7-6B45-49F0-A5C0-1DD16598CC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$DDD7AF64-97CF-4E7A-9D2A-386D529FF39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$A30EC8E5-91D7-4AFF-8D5D-D0AD592F9897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$C80B595C-79E9-431E-9EB3-19B7196C84F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210657$7E9F4F55-88C1-452A-B3AB-FAE5E3677760","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"054f1887fb94f4d5871719d079633a5e0051faec","datavalue":{"value":"10.6092/ISSN.1972-5787/9757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210657$5375EFC7-0D9B-446B-87CB-7B47CBDA9A53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0041265b30330555ea416b4f65d7526eb233d647","datavalue":{"value":{"entity-type":"item","numeric-id":3638258,"id":"Q3638258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242619c28ab5252b4f7b487714971f000e3c2820","datavalue":{"value":{"amount":"+0.874601","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":"Q5210657$6C0B7C84-201C-4F75-B9ED-12EDAB84340C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ca458f436a3b65f55b3c284250705eb59b5983","datavalue":{"value":{"entity-type":"item","numeric-id":6168989,"id":"Q6168989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1cbc20ead744fe61807a319caa645a4affb434","datavalue":{"value":{"amount":"+0.87313557","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":"Q5210657$4E597A67-26EB-42A5-971E-906F50CB1752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6964fbba4b601ab17eaaead2b873b279a5f70c","datavalue":{"value":{"entity-type":"item","numeric-id":3655207,"id":"Q3655207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f83e6cdfbdbb5e9c7d4272a5c9ce3e9c9949ad","datavalue":{"value":{"amount":"+0.8693475","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":"Q5210657$45108539-2DB0-40C8-9FDC-CED9F08E9D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d832f61fe68b265a93c6b9da6912885aa4c38682","datavalue":{"value":{"entity-type":"item","numeric-id":6109209,"id":"Q6109209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e545ce725733fa76e247ce6cbc42ee44c6a781d","datavalue":{"value":{"amount":"+0.8591143","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":"Q5210657$110C32E8-EC23-41EE-89D4-E4BF0CB36F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465690f04c9941c4510fe2f97ecb75a7eeb41eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2333326,"id":"Q2333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c2eb6791c0ba18acb829942f151d0410b5c313","datavalue":{"value":{"amount":"+0.8564669","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":"Q5210657$308A13EA-FBEA-43A9-914E-4EF6656328E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03d76009e02da182689d446d58246585ff5da76","datavalue":{"value":{"entity-type":"item","numeric-id":5951521,"id":"Q5951521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827a981fa2bd9398f9fb6041b14c7e44ffcca34f","datavalue":{"value":{"amount":"+0.855707","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":"Q5210657$BCFA60E6-C8A9-46A3-8C4B-7CC6D0E0F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b361ca1aa5526764549f3d95137afb2aca29dcf6","datavalue":{"value":{"entity-type":"item","numeric-id":6061881,"id":"Q6061881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab8a61cbe1d36f026ed768fa50f8c63534ec77d","datavalue":{"value":{"amount":"+0.8554082","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":"Q5210657$54C9AC28-D911-42E3-9C1E-B606367CEBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5becc199be0be438307b801ca58515df9c7ca279","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30a72ef2ee91c9f664211b8c96a614f3006035b","datavalue":{"value":{"amount":"+0.8533501","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":"Q5210657$65A2D54A-A7BE-41EB-8265-DA53C0DD3867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fe0cfba50ab81867fa509e16f2465ae8978f99","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6878b6d9eec9779640ca218cc4fdba5c1c46d078","datavalue":{"value":{"amount":"+0.8501325","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":"Q5210657$B72FDC5F-2948-4609-997E-83FDEE003FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210657"}}}}}