{"entities":{"Q3194730":{"pageid":3205438,"ns":120,"title":"Item:Q3194730","lastrevid":45659170,"modified":"2025-12-12T11:28:58Z","type":"item","id":"Q3194730","labels":{"en":{"language":"en","value":"Interacting with Modal Logics in the Coq Proof Assistant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496834"}},"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":"Q3194730$FFD13BEE-79AB-4444-B5E6-F35B98E43114","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91e913594a292d16cc273c87e714e8d26848b163","datavalue":{"value":{"text":"Interacting with Modal Logics in the Coq Proof Assistant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3194730$19B2C403-6437-4D79-997C-23187F00B5DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59a34e6127d622c6a1a4e4815f9eee1a00cc5350","datavalue":{"value":"1465.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194730$EEA4B1D1-7C89-481D-B6A6-A9D2098928B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7154fe1c142fcc1cbdd10e38b5ef1682c7e7f017","datavalue":{"value":"10.1007/978-3-319-20297-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194730$B347087D-871D-4ECE-8291-1DE32648B65E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$A5E3993D-D9D8-4299-8DDF-1D37DB0B5CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$3274B6E7-4998-4703-9540-771ED45643C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$FB1B8A83-97EA-4F31-A539-315A614D6C49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3194730$04683E10-77B4-47EF-BE1A-38E8C927CDC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194730$395623E9-2B01-47C6-B89B-1FEC5FF42E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194730$3583D5CF-81A9-4E31-95FD-279068E07771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194730$7636E306-B03F-4AFF-8F1F-10098852A2BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9eb8e029156eeff0e6611fb59f4060f0d4b6998","datavalue":{"value":"6496834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194730$6D48865B-E634-405E-BFA8-2FA33867B16E","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":"Q3194730$78EC7AF0-1AAD-4A04-8C12-331CB89E972E","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":"Q3194730$47FC5469-FEC1-4CB5-B170-5E63A29234B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$9BE08290-54E1-4515-8428-5EBBA73EFD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$81AE9DB8-E76B-468F-BBAB-BDF9DD8C36B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$B6E5F22B-3CEA-4E78-9B98-507F2CE3C783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70bb894bf31fb871c4f3631cd69249ff118a3edc","datavalue":{"value":{"entity-type":"item","numeric-id":43934,"id":"Q43934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$8B21738E-AC46-4537-862F-EA612EDF0290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$799B9FD3-28BD-401E-B5AA-492B07D33BF7","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":"Q3194730$5213C671-2376-4611-967F-59D2B217B8AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb0f6d5d6c503aa3b5e2665e7a7eaf944bdbcd53","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20297-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3194730$F4576D7F-6126-4F7C-A01B-D9482A409182","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7045f95e58db68a365e9eb32437110596e00755b","datavalue":{"value":"W340252736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194730$5DCDB00F-3ABC-41F5-86A0-2F0152AF1241","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1d89dc5849ea759265232a4f46af65741692c7","datavalue":{"value":{"entity-type":"item","numeric-id":3086787,"id":"Q3086787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$7915E0E3-50B7-4454-BB7A-29700852DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$A3655AAD-CED4-4BE4-82F7-67DF5DE10841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$AD2DC2DC-22DF-4618-A537-6E5A5D1F9C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$91FE43DF-C20C-4971-8348-F844FD9D0FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261bf1cec9df1397efeae294bf8d132656416872","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$5A4F66D6-180A-4B6B-9078-F9603B9BF014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$CBAD990C-6802-48FA-B8AE-771700983C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$661C4F7B-D9CD-430F-87B4-7018FD4D10EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$8FFBC517-DDE4-4088-B18A-F6B22B3922E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$0327C053-7B4C-4893-82CF-515BB9F4B3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$7B07714E-F433-4932-8816-67AC756B91B2","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":"Q3194730$461B0368-66FE-4388-8245-4F139A339A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5e4c8820eb3333a06a963b91456bb31fc1405c","datavalue":{"value":{"entity-type":"item","numeric-id":5219927,"id":"Q5219927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194730$79905878-2566-4B41-9CF0-B845787A47F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303d6667e6ae40504a41dc001c063e90ccdebba5","datavalue":{"value":{"entity-type":"item","numeric-id":3591070,"id":"Q3591070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3160b6a6473e5735771f7706cd38d17c61f4bb5","datavalue":{"value":{"amount":"+0.91466564","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":"Q3194730$F2F9D613-1280-4999-837A-C79FFC30752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3560a43408b5554698ae3a733e4665cacf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6665f9e3dd194e53749d0927cd972b934235df97","datavalue":{"value":{"amount":"+0.90472305","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":"Q3194730$B853C2E5-7084-45E9-B713-9CF6E04EC50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495112ce375b977a5868e6c48dff8dbe40b400d8","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee73b0412ae0ee0346862cfaf27eed21331b3fb","datavalue":{"value":{"amount":"+0.904723","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":"Q3194730$C3B945DF-CA9A-450D-B5EB-BB0DB8B3597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44165d1dfa33be0b99a3f2bc9194b5b3b9a5413","datavalue":{"value":{"entity-type":"item","numeric-id":3386915,"id":"Q3386915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bcb4bbd8e4af605ea79164c6f7e5bc2566e6ca0","datavalue":{"value":{"amount":"+0.8990701","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":"Q3194730$8DA113A4-55F0-4031-8766-A8726C68A387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734d48f8b8cf90d10e9e054ec680c1b7ee9433d","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398183b10ebf6dd5590e60fe61dd6941fc6c0ac7","datavalue":{"value":{"amount":"+0.89135396","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":"Q3194730$16A8064C-F74F-41A0-ACD1-07A260519A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60e4f288d8a547df2391f00b1c58a0d86f7bc5d","datavalue":{"value":{"amount":"+0.8902961","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":"Q3194730$ACC0A2B1-A790-4578-8216-A526BE930AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea510080ed72da3949ed4dbcc0b26697f915954a","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c088a9b8e019f5d94ff0cf091e219379c6bfda7","datavalue":{"value":{"amount":"+0.888132","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":"Q3194730$497B1F84-CC2F-423D-8335-F9D839CD631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b005c1d2707be3c331779e90a9d83029dfa0713","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c088a9b8e019f5d94ff0cf091e219379c6bfda7","datavalue":{"value":{"amount":"+0.888132","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":"Q3194730$33FC68DB-71E4-49FC-B4EB-A03855BA6491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cde1ccd6a0c83bd622cc969f8fefe599fdeaa6","datavalue":{"value":{"amount":"+0.8876935","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":"Q3194730$CD53DA17-DE2E-4066-9745-C9C1B0140FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ec759f747c4bd73d9f4affe9bbd13b49e2a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2914687,"id":"Q2914687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e80da5d8ef5b2795fc042619f15067899121bb","datavalue":{"value":{"amount":"+0.8875804","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":"Q3194730$DB44EEF4-E3FD-4D58-AC20-384A23A3A452","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3194730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3194730"}}}}}