{"entities":{"Q968307":{"pageid":970155,"ns":120,"title":"Item:Q968307","lastrevid":50973080,"modified":"2026-01-16T00:58:44Z","type":"item","id":"Q968307","labels":{"en":{"language":"en","value":"Generating certified code from formal proofs: a case study in homological algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703857"}},"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":"Q968307$2BE4C02C-2139-49BC-848D-BCAF8E7F9E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbf3e937ee1131ee548d3d455f7e19bb5ed4619f","datavalue":{"value":{"text":"Generating certified code from formal proofs: a case study in homological algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968307$0FEABB2B-1013-45B6-8AA9-D59832F611C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab9142dfda37ef4671382c1ce3270224cb6677d4","datavalue":{"value":"1214.68330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$BE36AF02-F897-4872-B04A-B0EF50ED2E62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08a868b8b07517613341343fb03ccc65ea8bae45","datavalue":{"value":{"entity-type":"item","numeric-id":333323,"id":"Q333323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$1E5C501F-EEDD-4F26-8D89-CFF09312AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f597a37daf8add8e5ca5ed6483cea4cb6a2d651","datavalue":{"value":{"entity-type":"item","numeric-id":928665,"id":"Q928665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$9748D4F2-65D5-4238-8BF6-918DEC1F0C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$79963A25-59E7-43A5-B2C8-39D4AD96A484","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$B2ABFD38-E3E1-4CCE-A500-F6BEF35B24A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968307$0AB08D72-F1C2-4505-AA18-5D7A9E79D1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$3D7285FB-3F57-459B-B8AA-7D187D486F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd158bac985717eaf1d624862024360435e72c9d","datavalue":{"value":"18G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$EB108DD3-119F-44DC-BE03-44159A51F670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$2A6BEE85-C9A5-47AB-9B5D-308786EAA325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05e4ce7a6635f11ae1c03a024e0b58cdad85dbcb","datavalue":{"value":"5703857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$851368BC-EF74-4FFD-B64F-96616E76AEDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q968307$1C354284-5B8E-49F7-A806-E6528D9479EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eea1a773b583d418961af237b9ece6c0275632","datavalue":{"value":"software certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q968307$0A0AE534-B0B6-4EC4-BEF4-9A9E1DF7FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q968307$4F6C8C0A-E2CB-4123-BE75-AA1300DAE917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85250b0f5793fddfbfacbacf1a198f152b6c2ef","datavalue":{"value":"homological algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q968307$C2F4769D-6B59-4319-92F8-DDE1ECA158BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q968307$DCDF0BE9-14BE-48DA-A31F-18524A8FAB74","rank":"normal"}],"P1463":[{"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":"Q968307$BBC7DA03-26B0-4858-9085-448251E04339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9db21642bb525242f0a9c25c65251a61579aa2e","datavalue":{"value":{"entity-type":"item","numeric-id":21159,"id":"Q21159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$4C604F8F-334D-4AD3-9649-1D2D71610BA5","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":"Q968307$0B8021DF-5A19-4A4E-824D-A58527CD8D11","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":"Q968307$3CD39B38-689A-4A83-8833-157E0389DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$4C09BFE2-79F8-4764-9BAD-96FD7C03B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$B740EE7D-F28A-4FE2-9910-BF8F68F170B1","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":"Q968307$C5A707BA-C589-4561-B6CD-D2DDA201ACCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ade181ce447ad4b99b01c5c2b1a1aff644d2cdd","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0120-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q968307$01C255FB-F666-49C0-8018-30903187CCF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2563b67c14881fb12166ac0af31843e01d559a75","datavalue":{"value":"W2102502651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$4EC2F5C8-B4B2-475C-BB6D-14542732836F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95adee922baba32dedf55a2e269c341fb4c0f0d1","datavalue":{"value":"Q57721922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$A2A4683D-BA99-447E-B524-35474B683C95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d879609d8f15fdc4213fe440341358cf0400f2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5464704,"id":"Q5464704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$03CE7DF6-597C-404A-B93E-88FB38025A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9534ea3b2f1d8917f4c6886c66faef8268544b2e","datavalue":{"value":{"entity-type":"item","numeric-id":5394420,"id":"Q5394420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$6A686FB3-9993-48D6-91EB-6B9A47E8667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5454750f5d297118e2d43ae886b47301283891","datavalue":{"value":{"entity-type":"item","numeric-id":928666,"id":"Q928666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$1D5C1E90-797F-4A15-AE21-74BB39CEA94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$C0E91441-2E56-4C37-88B3-E900ABB1CFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$73D2C71B-0B03-4824-B5E4-B7896FD121E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b3cd59cb558f44d816b8e669a26d4f97ad2145","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$350113BD-16A5-4A55-942F-8F9334B02636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cc1f06de18a93c47eccb2cb8be7a9a1d8a9fa4","datavalue":{"value":{"entity-type":"item","numeric-id":3981105,"id":"Q3981105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$794E61C0-84CE-47D1-94EE-F3C85D7F02F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9767b4f993764f1a6ae8e85667cc0e126d88ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":5428258,"id":"Q5428258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$F1A2A037-199D-4B5B-9FAA-369319C29850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f2c295c4449018ea4283ff294ef038c1799aae","datavalue":{"value":{"entity-type":"item","numeric-id":5441547,"id":"Q5441547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$7DC0009D-5AF9-41C5-8969-DC63C45B3C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$E0FDA3D4-1B2F-4DE3-A24D-07654DEC13A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169459d51b70a450c3a167b969e4dfcf02fbd0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2553111,"id":"Q2553111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$6196A2D1-68BC-4ED6-9ED8-0D987B79D815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b464ba66ae63100d3f166e16bfce8c3580469e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1961914,"id":"Q1961914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$E14EBB40-648B-483C-A048-765A48F83E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a11b587785b43a7aba09896edc5ae68fbca055","datavalue":{"value":{"entity-type":"item","numeric-id":1413645,"id":"Q1413645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$CD935147-131D-48D3-BFAC-666725E59559","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":"Q968307$E15F44A0-ABE3-4BD7-8263-7FA93BF740EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$EDB485C7-6ACF-4D58-A945-BEEFADECFF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81f950b10cba627720e02347cb540992691eba3","datavalue":{"value":{"entity-type":"item","numeric-id":5477658,"id":"Q5477658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$5EE48766-118B-455F-BE55-62272DF6F129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d8b95391015e59fe89eeeaebb1901409966ad0","datavalue":{"value":{"entity-type":"item","numeric-id":3523177,"id":"Q3523177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$EC4B0005-090B-4FA4-9208-6F62E3ADFF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfc7d5ee1b035b8d37b2573bd54cb7b24ba6f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2379683,"id":"Q2379683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$C2401D9A-D218-4682-AF82-B5D6D3EE03E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351df2a8b1173f3d3a83aebab494a1f900b8f514","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968307$EF4C1B8B-0CAB-446D-A918-905D0C07EBC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e572d583560a991163668ea16fa149a388683d8","datavalue":{"value":"10.1007/S00165-009-0120-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968307$C88BE96C-4118-4F45-A5B7-697BD6E87B14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b68bd28f30ece9166a53b1d139e82f9d7c12d14","datavalue":{"value":{"entity-type":"item","numeric-id":928666,"id":"Q928666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40abffb4fbc28011ceba1f898b528bcbef8530ca","datavalue":{"value":{"amount":"+0.823712944984436","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":"Q968307$5F755C04-84BF-498E-8E43-5DC8200D2BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f35fc4a81f7271313465fb2bf057f212dc1b5f","datavalue":{"value":{"entity-type":"item","numeric-id":5464704,"id":"Q5464704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffa1aeea044ed46ac0fb3ad21e95a6d6d49fe32","datavalue":{"value":{"amount":"+0.7795283198356628","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":"Q968307$C00040E8-740D-43A0-8D7A-8EC3A01171FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0309e7e688c4604b7e5d11f12c3d299d8b508a","datavalue":{"value":{"entity-type":"item","numeric-id":5371950,"id":"Q5371950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5f73093dec37532c9db8cc8714d84a492cd003","datavalue":{"value":{"amount":"+0.7456383109092712","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":"Q968307$7D8CB6ED-C11A-4EF9-8B6D-DF6A8CDDCAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7725344fd806c8bb0e8ce86201602686f3ebbe9","datavalue":{"value":{"entity-type":"item","numeric-id":2879252,"id":"Q2879252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6da7b0762b4cf1084fd6f4aec6782acef5965a","datavalue":{"value":{"amount":"+0.7404627799987793","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":"Q968307$A80D63F7-FC1D-40B9-9462-A6D63DBD1242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd9d9c437a0b2dd000dca2d43353a3aac50de0a","datavalue":{"value":{"entity-type":"item","numeric-id":631755,"id":"Q631755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5feeb035f81c9c96456a9a7ab313a5d121a42dbf","datavalue":{"value":{"amount":"+0.7391238212585449","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":"Q968307$3CCEAA00-DE4D-4D9C-9C6B-B32DC55F199A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:968307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:968307"}}}}}