{"entities":{"Q475385":{"pageid":477152,"ns":120,"title":"Item:Q475385","lastrevid":57035886,"modified":"2026-03-26T09:36:34Z","type":"item","id":"Q475385","labels":{"en":{"language":"en","value":"Recycling proof patterns in Coq: case studies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374317"}},"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":"Q475385$BD635757-F78B-4D04-8BE2-33F9F3796066","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f40cf49c1b3a361d0c3b53bfbf57d7e81227b23d","datavalue":{"value":{"text":"Recycling proof patterns in Coq: case studies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q475385$0D265AE0-C517-4039-80FC-023FFA6DB3FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9e46604b44835d6d058109e0bf19eff1a6459ee","datavalue":{"value":"1302.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475385$56F0328E-4440-4D46-B840-88474A93A103","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9df023cae9b25ea4b60776547a8efc95e2e421","datavalue":{"value":{"entity-type":"item","numeric-id":280197,"id":"Q280197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$047B4336-ECBC-439E-A4C8-C50A655B294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$7CFF08AB-BB95-44B8-A3B9-1F29FC272412","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$169C69DD-266E-40B5-A23C-544D7FE76C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6c07b0dded93a36c29adbf18ee15255c2386de","datavalue":{"value":{"time":"+2014-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q475385$75848E7D-C549-4368-A56F-25D158ABE002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbc6b0ec7ddaecc3141af8028c3778314bc13df7","datavalue":{"value":"https://arxiv.org/abs/1301.6039","type":"string"},"datatype":"url"},"type":"statement","id":"Q475385$99B1E1D6-258A-48BE-BB3B-D02443FA24F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475385$D05AEC21-B69F-46E1-80DF-17D11A48D021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475385$4010F7CF-F2FD-44BB-9AE6-EDDF497A92EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffffe0a0e13ede033200e1a9fe20344174ebecce","datavalue":{"value":"6374317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475385$3120374D-0D22-4C86-A091-A6D022408B49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q475385$56B5E2A7-C1D4-4D2E-8212-3796CEEAEBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q475385$EE7B8312-F311-455E-9323-2BC390A4E71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d425de9e8dc7ad7a34295ede57ce1948682d9514","datavalue":{"value":"SSreflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q475385$671F0955-AADC-45FF-BDE3-42F2CEA1E701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q475385$B5EC27F7-E0C9-4561-9091-FFBF4B14205C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c4e650abc856b5f51d0b5123c5930fad01c53f","datavalue":{"value":"clustering","type":"string"},"datatype":"string"},"type":"statement","id":"Q475385$BFD7D59D-EA58-4A3A-96B7-B1B2136DDCD5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbbd1728c4131dc017e496daf6256c390a0bd166","datavalue":{"value":{"entity-type":"item","numeric-id":18546,"id":"Q18546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$09D3FD61-FF71-4975-A90D-A9E24B08CCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"949824462ad75642ee7793400532e555fbc697cc","datavalue":{"value":{"entity-type":"item","numeric-id":1352844,"id":"Q1352844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$80F76B4A-27F6-48BD-8560-F88F090979EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$BDA24DFF-E365-404D-A039-AB037A21D17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$A39A0E4D-F3A5-4791-B4EE-F20218B98E89","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":"Q475385$23CA0FAD-E2F9-4533-B185-9BC3C372F278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$D8D700C1-2A50-45D5-B5C8-81D9E261A477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$2548A463-417B-4BC0-A5C6-107D1FF2BBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6eebe30b9df25d8c347930b235e09f446ddc2fb1","datavalue":{"value":{"entity-type":"item","numeric-id":44157,"id":"Q44157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$E6EA7F1B-6259-42F6-96D1-2EABF0306F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef769e964c162d9fc2eb5be086cec28e8fe11d8","datavalue":{"value":{"entity-type":"item","numeric-id":5973367,"id":"Q5973367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$D2C12D1E-4698-4343-8198-7304CC01C00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$E9164DF7-E92C-4054-849E-71140889662D","rank":"normal"},{"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":"Q475385$697FCB5C-DF19-49A2-AC34-0D9E93D94525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$D19B8E59-F7DA-49F9-963A-3283668B385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ecee973cce27aca9d6609100a6fb4d87c282d91","datavalue":{"value":{"entity-type":"item","numeric-id":19195,"id":"Q19195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$891385E5-FDFD-4672-BCA8-FBA218A89A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$09C871E5-81DB-476F-9ADE-055B320C4A99","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":"Q475385$C8CA043F-9D09-426A-9B7F-3C48867ADB19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a46e6b83ae95b4df45a954f1c0571ac2c6bf411","datavalue":{"value":"W2071091648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475385$9D94DB9F-D628-4629-BA46-87843E875ABE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$38FEE06A-08BE-4C62-8EF2-182545400CCE","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":"Q475385$A004029A-B82D-44D7-B8E5-2B4B6A63113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$68E01B41-CC87-483B-9D38-5506E800441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$2406E178-6E7C-49F5-BA3C-04EFE3C73413","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":"Q475385$783B29D6-5371-4726-9833-F36AB02F4E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba12c016d8a18c6b6dced4ac6d9d4fc5138be1b","datavalue":{"value":{"entity-type":"item","numeric-id":4913763,"id":"Q4913763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$F4EBAD9A-83BD-404C-AFA9-EF59A3B4A60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3176ca8c244aec029753cde79ed099c9735799dc","datavalue":{"value":{"entity-type":"item","numeric-id":5408414,"id":"Q5408414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$ED2F8E99-4F3C-4FCA-852B-428207E18C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6072a2f9daadee48cb9bafeb2cca60d5dd661308","datavalue":{"value":{"entity-type":"item","numeric-id":475385,"id":"Q475385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$6348CE8D-6CD8-4734-BE87-0F29013FBEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$BB886EE4-2990-447B-9363-3910CEEA6BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$1847541E-99DB-4BB5-BEB6-430C8D1E9410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$0DC8149F-C388-49AA-A7BE-7FA47095F6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$D7A287D3-BFF0-4358-B5C1-5EB271AE4521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877d47b5a68833b40336ae79952ca95bc15be14a","datavalue":{"value":{"entity-type":"item","numeric-id":3183536,"id":"Q3183536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$CD1540FD-FD70-4088-BAB9-94E26F5B094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2c71f70922d3cb23bfb9b42c6e992c56f7b741","datavalue":{"value":{"entity-type":"item","numeric-id":1045892,"id":"Q1045892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$84F979D6-FDBB-4B82-80C2-3290D4E835CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$DC12DEDF-F268-4ECF-A0EF-266FA36435C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$6209A08E-0053-44FA-87CD-B7E6AFC4F2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c58f40f8893ea08e9b168dd3629a56d2e8291d","datavalue":{"value":{"entity-type":"item","numeric-id":2908509,"id":"Q2908509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$4BBDB3D1-1B2A-4628-ADE6-37F4F2DE1234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34babec465921f60dcf35356976f5e24742b5ce1","datavalue":{"value":{"entity-type":"item","numeric-id":5898170,"id":"Q5898170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$C3CCE7F3-58DB-4ECF-9A9A-D458BE79466D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1567a09831badd078143bff84c1a31067ac56c49","datavalue":{"value":{"entity-type":"item","numeric-id":5483032,"id":"Q5483032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$77FF983C-062C-403B-A812-8537B093FD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1de34fffc28f6fb21efe304a8d9c1224314652e","datavalue":{"value":{"entity-type":"item","numeric-id":1206444,"id":"Q1206444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$6DE7D613-BE1A-40F3-B89A-F0A8D65380A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5239edfd305efbd1c9a075b6bf62b0b4959a45","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$5DB2BEC9-652D-408D-B6B1-B6AE5B15A3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a5ab773db93124f515ae36ae3145eaec6e9a0a","datavalue":{"value":{"entity-type":"item","numeric-id":2843015,"id":"Q2843015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475385$AB8840E4-6EC2-48C6-AB13-14F4F04E841F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"634f38e36ea7802bf11bcc67b9540269278013c5","datavalue":{"value":"10.1007/S11786-014-0173-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475385$F1B1E2DE-8284-477D-A562-DF64FDBE1CAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb636f355d8796679a448ab2f0465b71bf2a95f4","datavalue":{"value":{"entity-type":"item","numeric-id":3459922,"id":"Q3459922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1ca1085b38c1367e3ae1dc4cf145ad991c52ca","datavalue":{"value":{"amount":"+0.7608351707458496","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":"Q475385$4A3C58B6-C4DE-4050-9A02-871BEC2DD6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0626d59d452e92d0dedde6ef83fa201359155314","datavalue":{"value":{"entity-type":"item","numeric-id":2843038,"id":"Q2843038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d0a1c8082c044f71e9255fbeb73ed0897f576f","datavalue":{"value":{"amount":"+0.745149552822113","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":"Q475385$83AB3A94-4822-4548-8837-7A8F9B055038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca55d97810641deeab802e893585ebcca3d6df1b","datavalue":{"value":{"entity-type":"item","numeric-id":1640642,"id":"Q1640642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d1d3c92441615847b06b8c6d1743d922c72e8b","datavalue":{"value":{"amount":"+0.7436351776123047","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":"Q475385$A43E5465-171B-4652-BC9C-77C75C21EE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e02866bedcdddc38a6d5d0dc3312cefd57e45a","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc304a9342690a45b400b065f42a1b540f8d3243","datavalue":{"value":{"amount":"+0.7421377301216125","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":"Q475385$F88A768D-3FA4-433A-98DC-A0BDDA9E9B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e726c1ccf3d48bbd9191c4571af0a1046a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bde2d23bf3bb145669aa31832073bcbc1ef70bb","datavalue":{"value":{"amount":"+0.7388735413551331","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":"Q475385$67548072-07EA-4873-97A8-5378ACDA72C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:475385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:475385"}}}}}