{"entities":{"Q3637199":{"pageid":5667105,"ns":120,"title":"Item:Q3637199","lastrevid":49739545,"modified":"2026-01-09T21:40:45Z","type":"item","id":"Q3637199","labels":{"en":{"language":"en","value":"Kripke Semantics for Martin-L\u00f6f\u2019s Extensional Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576332"}},"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":"Q3637199$FD7491AA-D973-4C07-AFE9-76EAD5734D68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76a4093fc1b7eb4f559c7995bfab645dd4c8a158","datavalue":{"value":{"text":"Kripke Semantics for Martin-L\u00f6f\u2019s Extensional Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637199$1B799BFD-1848-4F8A-8141-BFDC6AB559A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f55c6f088c4a663e9a52a558f8ed11ccd9edb48","datavalue":{"value":"1246.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637199$52523DA6-06D5-473D-8778-3651ACAAE63A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7dc64304efee71a12034210df26fa04ff511592","datavalue":{"value":"10.1007/978-3-642-02273-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637199$486221CD-DFCD-49DD-BEC1-70442542792B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$7088F00F-5AF4-4511-AEF1-310397AC81AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$E0D3AF80-E1F6-41D2-9B58-9D36D0333F44","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":"Q3637199$3703D8B8-6D65-4193-8656-46CB86E74BCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637199$0B58C0ED-FA40-4360-96E6-5A2CEC6EA01C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637199$75B9A2BD-4B83-473B-918B-3381F959F209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eda540bc43c43aa75a410ca0c1ab29bd086971b7","datavalue":{"value":"5576332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637199$278C0C0B-3D90-4061-987F-DD7EFBB6660F","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":"Q3637199$96C4D7C3-756B-4DF7-8C93-492C5049C550","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8387406fced7a51881b3817f8b67881b0de97744","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02273-9_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637199$F95C6C75-9425-444E-992D-0289B5E11AFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f952649a699ac23c6945d28ff5984c9f668ba58","datavalue":{"value":"W64194158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637199$4D1FF54D-A3A4-44C1-BE04-468A297D5DA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ef166d60e06b98e2bb90f406f34f3d84a94425","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$AC6475EA-CF40-45BE-A4C9-DE3EDFEE8621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$EA858960-765E-4A93-B0AD-FB5F2D08F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$CD293692-661A-4E25-A298-A348D8587357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0841c535b55e1247c15c8e3959e3bd4d707165ad","datavalue":{"value":{"entity-type":"item","numeric-id":913792,"id":"Q913792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$C3BD6154-0CD4-4A27-884C-6928861D7EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$402CA179-596A-4749-803C-AB271A795689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$B7A5EDC5-9D71-4C99-A582-667D8DD55B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$4034EF40-6727-4AAB-ADDE-A7CCCC1B6233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$0B715B0F-6BD6-4F09-B57F-959764F6EBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$64942C75-E7A4-4AB7-8357-0C9F35C01C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$648AE553-002B-4FEC-AF1E-E078694B527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$73D9CA2B-7184-40EC-BA34-D826F1C772A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$FE717558-B9BE-4350-AB4B-7E78688F3EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517c6c1f653cd0c153ec376cd5ce46850c70ca78","datavalue":{"value":{"entity-type":"item","numeric-id":4594248,"id":"Q4594248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$ACDECE97-1862-4719-912D-B6AB04542CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$E4C9A54A-8463-458D-A5FE-0A00C3F3E9AC","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":"Q3637199$6B9AB11B-8B1C-40AC-97C3-1184BED8948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$735867C2-4D47-4DE1-A2DA-5B8DF23B6AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c6d6d042c46abf1963fa55483f5344d41b204","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$2F747DEF-2E58-49BC-8B95-84BCD4680E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$3E3C659A-7CEE-4D94-B1E8-175335AFB55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c68631d60b36884722478b726b544215f9b6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$9866FC8E-A66F-47AD-9E94-24420CCB3EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637199$7BD7DE9F-F6F0-45F4-B231-9BA8C9A97920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q3637199$88443A51-B1D0-4772-AE2E-7A15643B5C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32102a253077e36db7accaaad755cb096bd6072a","datavalue":{"value":{"entity-type":"item","numeric-id":4594248,"id":"Q4594248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2495323051341bfbc7964d14442039bd46d23c35","datavalue":{"value":{"amount":"+0.92678547","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":"Q3637199$670B5707-E756-454F-B34B-B7FEB1CC6353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863eaa1c50e8375f072b41833c7e29a88ec9eb85","datavalue":{"value":{"amount":"+0.91436625","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":"Q3637199$9EC1B8E5-EB66-4171-B5AE-959EBEF3C28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fedfd0f28b7f30a207d2274e814ee9ddef5d05","datavalue":{"value":{"entity-type":"item","numeric-id":683712,"id":"Q683712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3673c509a2bd4954a80cfee79942f14b12b6b25","datavalue":{"value":{"amount":"+0.9133437","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":"Q3637199$E463B3DD-B9AC-408E-BADB-C91EB5928DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d922db37ef1718202e561077e8c4a52fe341f","datavalue":{"value":{"entity-type":"item","numeric-id":5492817,"id":"Q5492817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae33d49399f2af040fd4970e94e7b2f76a5b1d3d","datavalue":{"value":{"amount":"+0.9048257","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":"Q3637199$EC1763A3-FFA6-4329-8B85-38B0FF9AEE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d3b04bf82fb64a00e14fee85f3e7f75d56837d","datavalue":{"value":{"amount":"+0.9035928","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":"Q3637199$CF852B71-D06B-445E-BE72-0968C9321019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0dae42f2f5ebbad37f24bb65e6b70e78930432c","datavalue":{"value":{"entity-type":"item","numeric-id":4844507,"id":"Q4844507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d46f10ec787fb6b3ce16bdc72e3396b3c88de3","datavalue":{"value":{"amount":"+0.9025974","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":"Q3637199$DA9C3B83-D301-4A61-AAC1-BD4D28BD13D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30f07aaea45924d52c3e40f5fba1a1ad77e105","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4913b72403417095316fb60cb130383f535b344","datavalue":{"value":{"amount":"+0.9015028","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":"Q3637199$EAF8A86F-55D5-4505-AF03-7DB1D90E5D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6606d81851a96e083ccf35fd04b37d925d4e60d","datavalue":{"value":{"entity-type":"item","numeric-id":5249247,"id":"Q5249247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91ff810cac01796d936549050434d9d41923f83","datavalue":{"value":{"amount":"+0.8995596","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":"Q3637199$B208E8A5-8FE4-452A-A08D-3C23DB225995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6035d17c3b17172645521f1def8922e76b57fc91","datavalue":{"value":{"amount":"+0.8990803","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":"Q3637199$598D215D-9208-4F7E-A016-0E3E06D2A0CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637199"}}}}}