{"entities":{"Q5101927":{"pageid":7131503,"ns":120,"title":"Item:Q5101927","lastrevid":57221403,"modified":"2026-03-27T12:45:06Z","type":"item","id":"Q5101927","labels":{"en":{"language":"en","value":"Extracting functional programs from Coq, in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7581654"}},"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":"Q5101927$EDB0B272-6F51-487D-8152-55BEF288F6BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1fa71a207708ae7ed820660207ca7eadc65f4a8","datavalue":{"value":{"text":"Extracting functional programs from Coq, in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5101927$770A8100-B01E-4C8B-97CA-309349EA64DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa96b11a6f5d5cc22e3d03aedc0ae80bed4da17c","datavalue":{"value":"10.1017/S0956796822000077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101927$B6F505F9-49D6-4509-B0C7-0B4219A66991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d29a97fd52637f8808b48aed063f6ee70a5419e5","datavalue":{"value":{"entity-type":"item","numeric-id":5101925,"id":"Q5101925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$3EE31462-F9F3-41CC-A595-ADF93F98BA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3940946f6be6d5f4e26cc68379ac6a3e05d7953a","datavalue":{"value":{"entity-type":"item","numeric-id":3022145,"id":"Q3022145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$6A963BB4-53EC-4981-9A65-E63B306A5ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4319c8865dcdeb5aac25a3923009a889739b0f20","datavalue":{"value":{"entity-type":"item","numeric-id":5101926,"id":"Q5101926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$7258DF93-774C-47DF-9361-FB02DF74E23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D035196A-71EE-41C1-B6B8-CBB32498CA44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$3219503F-45ED-4ED9-B3A1-F7895067BE0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bf712b58fc164eb327d9aa5f91fbd65bdc7c5d2","datavalue":{"value":{"time":"+2022-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101927$D5BDEBF4-3552-4E35-B607-4FD5A210249B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54506808a839478dc427aa3f2dff0fe9b3b493e6","datavalue":{"value":"https://arxiv.org/abs/2108.02995","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101927$3513755C-BE63-49F0-B7ED-F73E96E5418C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101927$264EAA6E-6430-4407-BD1B-241A2352D40C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00dc0ddc7a0df83893c55e0500cfe05f451ad19a","datavalue":{"value":"7581654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101927$B4DB1F33-D358-424C-9DD8-4502E4361031","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7de3809e549ab622397ccc7caf8aa4227aa8390","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D1B23ADB-BB78-42C7-89D6-93BA78CF279E","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":"Q5101927$F5D9631C-D137-4413-83EC-2320BB485228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c299164581226a4d9e689eff045a50090a5543b0","datavalue":{"value":{"entity-type":"item","numeric-id":39285,"id":"Q39285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$0F933B59-C78D-4835-9BE9-1F3467D7FBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$DEC82681-6694-496F-8D35-16E9C9FAD078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33bd0bdfb9739b8a1bb2516cc9945c55bed2656c","datavalue":{"value":{"entity-type":"item","numeric-id":55704,"id":"Q55704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$DF611165-DDD1-4D50-887D-D1C9B12A1F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5319e1a94029ba2f1a7d93c4f21666dfa15bffa","datavalue":{"value":{"entity-type":"item","numeric-id":39198,"id":"Q39198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D597713C-9025-4DE7-B059-98C145854FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D1EFCED3-0FA8-4D43-9E6E-C352D9A54164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6afb9e05f24776a03d7fcd415baf7b99112468c9","datavalue":{"value":{"entity-type":"item","numeric-id":34519,"id":"Q34519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$3CE9BED4-C6CD-41F6-A33F-13A29D95F3A2","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":"Q5101927$CEBDE892-C1FD-4E40-B2E8-0D8836064392","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cec2a0d4cf53a41e2611922340c200ac53fb76","datavalue":{"value":{"entity-type":"item","numeric-id":1791140,"id":"Q1791140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$F60F0496-1157-4CDA-911E-1260C18947E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$59F6BF94-AA8B-4A81-B6E1-E1944000C2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a938c390c1c39bd5a3cf7b58543ccaabdb3770","datavalue":{"value":{"entity-type":"item","numeric-id":2981976,"id":"Q2981976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D225AFFB-0DD8-4696-A93F-8E266E4BD26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f804ba9bd933e99538ba26edc67730d9ee308ef","datavalue":{"value":{"entity-type":"item","numeric-id":5458373,"id":"Q5458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$91FC5DEB-3A8B-4639-98FE-E97EC9A0DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157f0ded73ec3827bed7e2221b5c3a7d9d9a162d","datavalue":{"value":{"entity-type":"item","numeric-id":5394575,"id":"Q5394575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$3B265660-C9ED-4106-A7A8-29386511F36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119267ed68389aaeccebc8352b7d7f817ac1f40b","datavalue":{"value":{"entity-type":"item","numeric-id":4716047,"id":"Q4716047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$2A4BB60D-E3C1-4587-A37A-88483DD9783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D22EB25E-102A-44F7-BB2A-1827715C1353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6075d9bd0f5164b49d15891cb1b119d9921cac","datavalue":{"value":{"entity-type":"item","numeric-id":5712325,"id":"Q5712325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$8FAFDB16-0F8C-4A3A-A8E2-F0BF27450F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db9c2b109f1bdca91bd7225c5a74c4711226c9b","datavalue":{"value":{"entity-type":"item","numeric-id":2176683,"id":"Q2176683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$64F15781-C49E-4567-8CEF-17905D509318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$007B9908-E911-4290-A961-6F0AE3819F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14caf64abec8078238dd92f041d3edf7f96f3183","datavalue":{"value":{"entity-type":"item","numeric-id":2852042,"id":"Q2852042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$1040FEA0-697F-4111-9F14-7BBC0AF0427C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0a3e87dbfe98220068bf03769e2c5ebc2390bd","datavalue":{"value":{"entity-type":"item","numeric-id":3559767,"id":"Q3559767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$44FCA426-35F1-4B72-B91B-1D6937E7A6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98589d6fa667da17f782a55cd2dc8c33d4dbf671","datavalue":{"value":{"entity-type":"item","numeric-id":5308710,"id":"Q5308710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$AFD256DB-5322-47EE-8FD6-41C3902856A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78757e9c4e37a9fa53a10705a27e9c8cff416b63","datavalue":{"value":{"entity-type":"item","numeric-id":2324018,"id":"Q2324018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$30D87F9C-46FC-423A-B329-91DBF9550766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$656887C1-7FEB-46EB-903D-F74328E293DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$85B0BD47-F0F8-43C2-99A3-86C05F8BD108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D392FD89-CF54-43DB-88F9-0105B0DB0C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$24F0FD9F-48E0-42CE-8EEB-8BBB5A43675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228bef92fb3b85cf39ba819f3bdf7955fca1dfad","datavalue":{"value":{"entity-type":"item","numeric-id":5854438,"id":"Q5854438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$AF86A0CF-C4BC-4856-92AE-29E2C37754F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28d48517ea43dcf1dc2bbbada71a7d7b49291bd","datavalue":{"value":{"entity-type":"item","numeric-id":2778831,"id":"Q2778831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$266CE6EA-85C8-4F92-BAA4-BDBBFAEEB81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5e06440707ca6152cde9cf3ed60059f573beac","datavalue":{"value":{"entity-type":"item","numeric-id":5458371,"id":"Q5458371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$F2CA6533-8C44-4D27-8A04-D15477F48D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21762b203e18c33dd5f7113de2a251c279e1a612","datavalue":{"value":{"entity-type":"item","numeric-id":5048997,"id":"Q5048997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$A355D1D5-7C9C-4444-8B64-CC55C64B0992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c103bf2cb62768c300adccc9356dc2154001a007","datavalue":{"value":{"entity-type":"item","numeric-id":2209542,"id":"Q2209542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$D62ECC97-6D01-41EA-9015-C837C5A867E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f2cac74edb21717f440079c45a209c4defbb6b7","datavalue":{"value":"W3188083979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101927$C6D73244-2FA2-42DD-BE82-A2DAEC03EF85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126be7296d6b7110e1000144e41a4b9d8fcc6ece","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f1e0ece3e0f4577897a0d2a9e32faaf9444157","datavalue":{"value":{"amount":"+0.8124311566352844","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":"Q5101927$83095BEF-3C6B-45F1-8CE5-C46840EBB1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e937a88ef960b487417e66dc27f226fec10c47b","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b38f55b44912ffc110a1083b501376a917e91c","datavalue":{"value":{"amount":"+0.7563535571098328","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":"Q5101927$A261239F-5A16-454F-A3A4-9F8C21E54845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952c565cec2234704fbec9f4b173de9c3f77bd99","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a41930521eef8f536c217bba60ce3eb474bca99","datavalue":{"value":{"amount":"+0.7533974051475525","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":"Q5101927$0E483B7A-AED7-44AD-8541-4492E8789CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77217dc2085b0609e7fd5b1db191a64d2ac5718c","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298f9f4143f3d49f9b0505773848f1dd53b557ba","datavalue":{"value":{"amount":"+0.7448410987854004","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":"Q5101927$33CAA53F-3F07-4E92-9761-ADAC09188DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e7970e95d1351188434a532310522ca80d18b6","datavalue":{"value":{"entity-type":"item","numeric-id":6166140,"id":"Q6166140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a8dda3754cf53d46f116d0dfffac3a043595d8","datavalue":{"value":{"amount":"+0.7266849875450134","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":"Q5101927$68C9A2BD-1D3C-4BF2-9DDF-2CF156F8EF86","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101927$80F94299-3F7D-4D6F-9393-27E1C1DE0BA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5101927"}}}}}