{"entities":{"Q6151819":{"pageid":13286126,"ns":120,"title":"Item:Q6151819","lastrevid":58726983,"modified":"2026-04-06T12:00:59Z","type":"item","id":"Q6151819","labels":{"en":{"language":"en","value":"The formal verification of the ctm approach to forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7815139"}},"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":"Q6151819$E97327D6-EB46-45F7-AB3F-7EDAD98A9579","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcda12ecf19dd39b5f583c7244e871d5df5ab4ac","datavalue":{"value":{"text":"The formal verification of the ctm approach to forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151819$5BDA3990-B76D-4551-B7EF-534B7C9C6E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"352e58e2c56f4ce94f212d36f5b3e137785644f0","datavalue":{"value":{"entity-type":"item","numeric-id":2333320,"id":"Q2333320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$3C6DE56B-F0A0-494D-ACE5-396AFC18B529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09573ab70c9d986235750625015542077d5f5980","datavalue":{"value":{"entity-type":"item","numeric-id":1744421,"id":"Q1744421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$DD2E6DE5-E16F-4086-876E-F0E6794AB534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94fed2ec79d6708f1f566072f11e83579901c053","datavalue":{"value":{"entity-type":"item","numeric-id":549667,"id":"Q549667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$2EAFAF74-2E27-4A44-98BA-3D9042225E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37e4de19be31f99cea9a05216f3f1b9c972cea2","datavalue":{"value":{"entity-type":"item","numeric-id":6151818,"id":"Q6151818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$23605ED7-E85F-4B50-BD98-ACB5556199E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$5965EAC2-E13F-4FEE-B53B-2339FFD66687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151819$72E1DF87-2B50-4689-A00D-C2E4F3CF9EA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f713acfcae501a7344996d7006cb2a7b2d161d9","datavalue":{"value":"https://arxiv.org/abs/2210.15609","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151819$7C81B09F-E8D4-4D44-94AB-54842E7D7DEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$C366B966-55C1-49CB-B5BD-76222D535976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$FEFC6620-2FC3-4E8D-89FB-8689A53AB166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$79F02944-96C1-4EFA-A972-96A37EC9DFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d47e25e8cf618d2abb950656f24c2f07fd7d2928","datavalue":{"value":"03E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$7B288AF9-21FC-4CE7-A334-54EEA699CDA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49348b5c930495cc7cb341a68b4b2e3c79596951","datavalue":{"value":"7815139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$EABAC61D-A713-4B0A-87E9-85C17E932EAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716c4b637014218c75203d204b1885f1646f0224","datavalue":{"value":"Isabelle/ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151819$4260DBD5-783D-4C76-97E2-4855CC7E7C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a64cc230017734553373c8ac2d498d670f6a05","datavalue":{"value":"countable transitive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151819$4DF5A430-396F-4C75-A735-4BB8786944A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151819$523543CD-4521-46C1-9D0A-5715FFDF0B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151819$33F1D73C-2EB0-4D71-AE37-9877EE8AE0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82db2410f7cb36b26154919ad626ca1e681d8b2b","datavalue":{"value":"interactive theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151819$01CA53E8-CD8A-4961-BFA4-902C698F2105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a17ee2f0c95f4af0ba9495f7673eaa83e643d","datavalue":{"value":"generic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151819$4630FBBD-185F-43C7-A12C-C992860CA6D6","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":"Q6151819$A9DFDA33-3EBF-436A-92A9-358971912EA4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d718b2375f4a002c7d0e9e5ebf0ba907571c33d","datavalue":{"value":"Q126471355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$E7987931-0D5B-4600-90C3-40DB75353508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3473a8685897c5411db80cf4c7fcc3bf4c67a65b","datavalue":{"value":"W4391344760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$DD2B65A5-D1A4-4502-909F-1AB75B8142D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$07358003-26DC-4DEB-B662-8F0A4BEAC4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5af66d6ab040f522be78dfb2c1e202c016bda8d","datavalue":{"value":{"entity-type":"item","numeric-id":1414982,"id":"Q1414982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$43748D77-0B43-40FB-97E3-94352B2A99CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$75CA333B-2EDD-4D65-A6AC-49EDCE7EEFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00d17357a9bca2fdb18330d5fd7c3725a999542","datavalue":{"value":{"entity-type":"item","numeric-id":2128789,"id":"Q2128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$34A83F2D-D050-41FA-B23C-60730AB60B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c5f5c617e488fb494238f1e4d7368bf494f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5094473,"id":"Q5094473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$65B2E417-387D-444C-B400-5E5282014E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def6234784a4e6f6bc65ca083208e450bba27962","datavalue":{"value":{"entity-type":"item","numeric-id":2128787,"id":"Q2128787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$D58B1327-7174-4647-8173-483FCBEA786C","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":"Q6151819$89A1900F-CDAA-439C-BD94-96FE4875404C","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":"Q6151819$55A6CA7B-32FC-4B93-A93E-C9F746E09786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$08784272-BD89-4D7C-9F02-F0CF4235C83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5bf133f24682eadb30cba47d623064046c8dc5c","datavalue":{"value":{"entity-type":"item","numeric-id":2333671,"id":"Q2333671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$C4814C6A-1C4D-45B6-887A-A715982B0063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04632d5958d80f81462441db38ef00e84019e13","datavalue":{"value":{"entity-type":"item","numeric-id":5049004,"id":"Q5049004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$2F2AF0A9-980B-4E6F-A050-B06AE295363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$4A353201-3EE2-417E-A5E8-C49791DD43AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5f63a9a35b8899e3cd99b40329ad4c5d24a55c","datavalue":{"value":{"entity-type":"item","numeric-id":5875427,"id":"Q5875427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$2EF8CCF0-3D29-475B-9D81-7E6432FE569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0478213a2768e15885bd259a974294cbcf32b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":4619818,"id":"Q4619818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$8B84F4D3-AB7B-4937-BDAD-5F10947F7F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4326d8dd373f8a31e5500ce098821f7b9b2749","datavalue":{"value":{"entity-type":"item","numeric-id":2813682,"id":"Q2813682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$EBA323F1-60C3-4A75-8A47-642009081170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865366d5e5dc0cc1d3e4208c4e4583fd4b14d10c","datavalue":{"value":{"entity-type":"item","numeric-id":2904376,"id":"Q2904376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$C525373A-1030-4553-8404-B271EF0687D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$5593D513-83F8-44B7-B8E6-A20AD905F89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554cd3bd5c2b9bcb1cc272baae89080b887409fe","datavalue":{"value":{"entity-type":"item","numeric-id":3581789,"id":"Q3581789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$2B0AAE89-85BF-43BB-9985-257453A2AAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d485728dd7b2d8988defd3ef36590f8e45241a48","datavalue":{"value":{"entity-type":"item","numeric-id":4983106,"id":"Q4983106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$5636B3B6-50A9-425B-B759-9F9C0B92F12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92278b644586770546c711e178af84d693eab937","datavalue":{"value":{"entity-type":"item","numeric-id":2345391,"id":"Q2345391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$7B1155E6-DF1C-46B1-8E0C-82DC6DC284ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$7CE8F692-B2FC-4A4F-B076-2B7E342C8705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9d0044875a173a7ecf2471ca493b7ca43f1fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2055847,"id":"Q2055847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$F877F1F9-A853-4A6F-A4DA-BD5D878ABDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$4249FA28-6288-408B-9128-E88E85B21C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$4E7536E4-0956-4B89-AA51-A8718D8D1B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$B9795696-0B51-4F30-88FB-4BCAC6167395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$BDE5502C-2704-4534-9CE7-F00594BFFED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0109241a704d91dc3140ac5a94ac34a08698fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4827615,"id":"Q4827615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$F41B3580-5E2B-470E-97B2-4FF81D051B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abb854c606ff59c5202de7d1a40fb4220c1adfe","datavalue":{"value":{"entity-type":"item","numeric-id":6073894,"id":"Q6073894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$5DBA13BF-5040-42E7-B770-8FA53B35087D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dbc23cd8d9f1287ad2372f78bc8c76f7639283","datavalue":{"value":{"entity-type":"item","numeric-id":6159370,"id":"Q6159370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$93B6EE5F-763E-4DFB-B2BC-DB83634A7D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df566ef0248fe3e927a10046fdd99e599cbaa541","datavalue":{"value":{"entity-type":"item","numeric-id":5961491,"id":"Q5961491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$BA873BB6-63FF-4ABA-8E7D-EA5CBD0E6842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$591C10AB-E5CA-4805-B70C-203F07FD7FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66a1da258e616ab50f96ec0d6891d77b0f4454a5","datavalue":{"value":{"entity-type":"item","numeric-id":4247309,"id":"Q4247309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$174DA9D3-8A6F-4132-82DB-9BC7633F2210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$61F53542-E9A3-4797-92AC-6C91C5401A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bcd33943731bfa2ecd0fbea7c90d9866badb75","datavalue":{"value":{"entity-type":"item","numeric-id":1819255,"id":"Q1819255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$EE6BDEF4-3D82-4F96-AD2F-75FE30E30D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497b4c81f4eb1172c293c9383a73640c83e593d4","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$5A1C2BC4-BFFA-40FB-9F0A-25B093A03795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e36bad4cc6ac24a9f74f3b360b9a4273aa27adc","datavalue":{"value":{"entity-type":"item","numeric-id":5170237,"id":"Q5170237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151819$537E79B0-5928-4715-B87E-DC578CB26D61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03744f068db33aa7fa54d6d642ca9506d2f14a5","datavalue":{"value":"10.1016/J.APAL.2024.103413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151819$3A9C8684-E9F1-462B-A7BD-824E6E187AC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151819"}}}}}