{"entities":{"Q879367":{"pageid":881215,"ns":120,"title":"Item:Q879367","lastrevid":50091907,"modified":"2026-01-12T22:14:48Z","type":"item","id":"Q879367","labels":{"en":{"language":"en","value":"A semantics for concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151781"}},"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":"Q879367$DC7581E8-1A10-44AF-85B1-92FCE9397DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"486f5223c2897a11b45a43b3de8466f01b004ddc","datavalue":{"value":{"text":"A semantics for concurrent separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879367$9B83819A-17E6-4B05-80B4-472FF710C487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c94636d79ef4a8020003b188c9d42cf2a4dd0e4","datavalue":{"value":"1111.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$23548DA7-F449-4EB9-A66A-264B9F238071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$E9246150-0C9F-4D7A-86CD-4F2540C9F57A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$06320156-34E5-4517-A721-1E0F2EEC976C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-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":"Q879367$252EA8E7-0CDE-4A10-AD64-27EFDE2CBF4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$1E8B9CF3-84D3-4440-808A-4296DC13ADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$5A4815F8-4CD2-42A4-9B1E-63EFD041E191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$D70EF723-2AAD-4770-AB51-57EBACC6BA43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfebe80da98faf3872ef7301340ad6484d0e47f5","datavalue":{"value":"5151781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$5FFC98FD-444B-4D89-BBD5-14615EA7AC1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q879367$5D54051C-B33B-4C53-8EAE-D925774EE3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4a9fa42a823ec549977451ee26e4eccb17d524","datavalue":{"value":"pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q879367$7BDC4B95-78F7-41A4-B8CA-3B6800E767ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3142f60a66498dbbb03944d883f205d63ad3c55c","datavalue":{"value":"race condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q879367$28E61864-8C49-4D7F-8F69-959BA8B81A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q879367$602D6404-1055-448C-AA2E-4388EE507A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q879367$A2AAC21A-0B34-414B-800A-A0E092B07701","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":"Q879367$56FFC87C-1CDE-40C4-B57F-4A94E49B9458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94cd749cde84b7ff604c8f8be8a6bddf2b3a525f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q879367$E9A4218C-72BD-4AAB-8D52-AFB85A8BAF10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fede4b5bdb2521a1dda53b2d16b7a4079ef2510","datavalue":{"value":"W2125398300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$0C67817B-67A4-49FF-B5D9-DD48DB26E24D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2709c87c0f310e8eb2c4b662238c45978cc749ad","datavalue":{"value":"Q29396804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$95E8ACFD-872E-4E2D-98D8-2CB0CC8E04CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$25FB5AE8-714B-4A56-80DF-B93595AD5BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffae1b379654812ccb60071d9820aff09a3f08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3452262,"id":"Q3452262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$B8C7EA7A-4BC9-44D0-B56B-FB0422941EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$22BFAFD5-DBD0-44D0-8FDF-7105F472C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$4D696582-5F15-47E0-A786-FED2206C8A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91353022d92cf3bc295ecb081ca5977f38516f14","datavalue":{"value":{"entity-type":"item","numeric-id":5180820,"id":"Q5180820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$F8DC2871-0656-4DE5-A31D-2C84C58F6F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508bc917a7771d26e78b44ecb3237422dc102dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4066554,"id":"Q4066554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$A02F5FB5-4F3D-4477-B27B-AE88B3A00B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$162C61F6-EF23-4E47-A297-910A3A6C676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797babffa536f1b5c470861cdcf66c004829de59","datavalue":{"value":{"entity-type":"item","numeric-id":4484505,"id":"Q4484505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$E54156AD-FFC7-4DE1-9C7E-632A539ED724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d919a86d9292d6be7aa1a38625b18c4d1cdbe7d1","datavalue":{"value":{"entity-type":"item","numeric-id":1400721,"id":"Q1400721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$A6F48565-A07A-4BB7-98DA-F3C648EB1190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8a2481ce4682b08206b3b22d7524d6873f72d","datavalue":{"value":{"entity-type":"item","numeric-id":4222882,"id":"Q4222882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$53BAE044-5418-4DAD-AA92-7F395EFB4644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$F30C76B4-3EB2-4DBB-9A8D-2FFE20E0724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196a510fe101ef345d9d72b12b0565d86bb1915c","datavalue":{"value":{"entity-type":"item","numeric-id":2638755,"id":"Q2638755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$DC156B87-69C5-47D5-BEBC-85875F26DA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$B5B22156-A206-4A78-A30F-428AC857097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfe7f4c06c47f2628f38fcce5022eb1e09f8ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5678418,"id":"Q5678418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$71F489D7-5139-432D-AC16-7278AE2E9551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacfabacedfa3e7f7bc1f3ad444a5cb3ab5cb7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4136530,"id":"Q4136530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$5C8BA906-6D17-4924-B62E-C62EA6FF604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528a4c6aa7c1dbb75517b1e32592cd5687df0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4066584,"id":"Q4066584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$86EA7EC9-83C3-49AB-9ADD-538A03D6408C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac2d1fb94a0d07e4225de2379c1375e7b637371","datavalue":{"value":{"entity-type":"item","numeric-id":1566869,"id":"Q1566869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$C145E104-9234-4040-BE7B-454858C5E799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$2455D582-DD68-4A96-8AA6-0B716FF1A069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$B64B1DF2-7587-427F-AB77-9EE641763B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$F7686ABC-3D50-49AD-AF16-66195488BB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$AE01576A-7926-44A0-81E3-94B9B2C84717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$68506317-15AE-46C2-BAFD-7244DF106505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$C9C641F1-96AB-45E6-BC79-D8F7BEBD70FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$2885B90D-807E-4F78-8C44-478EFD780F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$D912EB9B-B4F3-4DA4-8D9E-2EB9F2B17ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$3A31FBE1-7231-4D76-8872-3333DA00524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879367$39503004-A529-4E6F-964B-151D57F7A26A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9df07ed2ef48ff040ffd1902c375fd6badfdda37","datavalue":{"value":"10.1016/J.TCS.2006.12.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879367$4B3B8BF6-AA8A-4DBF-A4DB-E38B6FE5B81F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed0b2d14f0ec2ff7a62b5de8f1e58c4b8c9d3f8","datavalue":{"value":{"amount":"+0.9777165055274964","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":"Q879367$685635AF-5AA1-400C-8CBB-1D7F7F289F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec76959ba42b702a61a60c69461161c2499de37","datavalue":{"value":{"amount":"+0.8407396674156189","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":"Q879367$89B1EF7C-09FC-4417-8E13-A1E87C1C2227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e96b3a97a3cf47b6b4ceec62a53dbb6553d0e56","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf41adcfeed70fe2294b8b61eeac6947bd98934","datavalue":{"value":{"amount":"+0.8406141996383667","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":"Q879367$0276F113-E676-428A-A141-49620309C726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b115083511add93f29090771c90f464592ff29d","datavalue":{"value":{"entity-type":"item","numeric-id":2852353,"id":"Q2852353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37df4fde1d9d50e86ba2b28c7ae209eee3a27bc1","datavalue":{"value":{"amount":"+0.8358960747718811","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":"Q879367$02D31F7F-23F6-4E4E-AAA4-C0B8A1421551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c075544acaf9d36d6375fe6660cc62bb7e7d4cb","datavalue":{"value":{"entity-type":"item","numeric-id":5739348,"id":"Q5739348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cb1cdb83c5bb1312379f07d542967c874f46e6","datavalue":{"value":{"amount":"+0.8355304598808289","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":"Q879367$0C20B846-3EB7-4E8C-BB95-2E61CF625F58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:879367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:879367"}}}}}