{"entities":{"Q4644354":{"pageid":6673935,"ns":120,"title":"Item:Q4644354","lastrevid":58311954,"modified":"2026-04-04T16:28:31Z","type":"item","id":"Q4644354","labels":{"en":{"language":"en","value":"Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6877189"}},"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":"Q4644354$C42EC4C6-BFA5-48EB-9ECD-24AE7555190A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdcbfd662ed8ada0c9dbbaf3ca31b21bcc6ef2cb","datavalue":{"value":{"text":"Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644354$2F30B5ED-22BB-4F3B-9391-2DABD89A9D53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed3aa6aeb556a23f72f0491f1c8e366e23d2c22f","datavalue":{"value":"1478.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$E149AA92-ABB3-4B1C-9662-29253B7E7B2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2a601b2a9965d8e371a73294f7cf2400e501028","datavalue":{"value":"10.1017/S1471068418000042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$AE0E75EA-8F3D-42B1-98B4-046FAB164B80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99814c61bccc39874951144e5bdc5c470edc619b","datavalue":{"value":{"entity-type":"item","numeric-id":980468,"id":"Q980468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$F6A29A7C-1CA7-4D7E-97BF-0A66C695E8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"632cf4355eff8a50b907a91e59ed1386ec252e59","datavalue":{"value":{"entity-type":"item","numeric-id":2883082,"id":"Q2883082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$AB8CC7E5-BF40-489C-89CB-8014CB3FB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a25fabbd1ea80026c17c8484792a8f44b3cc69","datavalue":{"value":{"entity-type":"item","numeric-id":2798273,"id":"Q2798273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$36815467-ED03-42EF-A0FD-D57DF0B69A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae01060708fe7a9131b80d3afa974e6c685bd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1671138,"id":"Q1671138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$70A18620-A9EB-4130-BEE5-13B30F21C55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"394271d91c22b5604ed841a0589598bab6b2dfc3","datavalue":{"value":{"entity-type":"item","numeric-id":980469,"id":"Q980469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$D65E32AF-DF56-4F1A-9DE9-6599CE29F4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$246414B5-ED7B-4E12-9178-DDBA3C38DB75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$92095FE7-5135-4407-8393-2C3AB78AB27C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b8198e5532e16196bbd5031625b4993403e9d10","datavalue":{"value":{"time":"+2018-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644354$7A299398-D861-4BBB-AF05-A08E6F61DE64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d215b2b3f23affd05ab279c95619daf388eeab0e","datavalue":{"value":"https://arxiv.org/abs/1803.04451","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644354$EA508D96-14C5-43A9-9638-CB41A98D5F61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$AE4F661E-E223-4737-9F3F-30CE0CDDD574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$6BBEF596-634B-4DF4-B9C5-EE11FFF71F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$B2D0EDD9-E119-42E2-ADB7-2492BAEF09FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f5bde3caa5beed9e2c27d63ab43f9699e5012de","datavalue":{"value":"6877189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$7569CE9F-2C78-464C-A998-855F608C53A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644354$F856BDA0-DBC0-4F02-A493-68E58453918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b2b414b955b3131535b54820d1514b0947beb","datavalue":{"value":"resource usage analysis and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644354$71512366-5C71-4606-9CFF-4A826DC76CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3361dabab272ee0106cf7004bfe2b36c0b9efe7","datavalue":{"value":"Horn clause-based analysis and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644354$B14B2E4A-5C2E-4841-9A52-FC072E01B317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d92d3a54df3ffb6bc97b8ca8c29368f9c2eed742","datavalue":{"value":"energy consumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644354$E3582B8E-FC25-401C-80F5-4CCC8A9566DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644354$1CC068B2-B58F-40A1-99DF-6EB2C4A59BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644354$FA9E4538-7EC2-4CE5-A983-37AFA0E27B39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$AC655358-3BB8-4657-9116-B3D1AB3CAA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$014A6ADB-8D90-45E4-A2AF-EF867A1C4B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb5c7412a95b8ff7f1ba4b73ca4c2023bf710a7","datavalue":{"value":{"entity-type":"item","numeric-id":21916,"id":"Q21916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$21A94CE3-4B97-44FF-B4F7-366ABC47D0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$216B4122-FA9F-4EB6-B17C-FE633940D583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c604c686f18ab16ddce566dfe46258d89599b385","datavalue":{"value":{"entity-type":"item","numeric-id":36242,"id":"Q36242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$F4E5BA1C-A244-4E36-B240-A79BA5DA663F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec8ded018eb7998e191bd164cd2207a73f570ebb","datavalue":{"value":{"entity-type":"item","numeric-id":18022,"id":"Q18022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$A82CD513-31A2-46A8-A86C-208D11F7DAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$97A64A9B-0C40-4F70-99D4-46E038CB3DF1","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":"Q4644354$16C84D29-7325-4E78-BCD8-862C213124DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"53451cffdb0f4121bc5dac6996d913b1bc183361","datavalue":{"value":"Q114653853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$3C0F39A3-2A57-44CF-8CEF-3FA58DC457B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"facf82b301c78b507ad195fe77441da28eb4c231","datavalue":{"value":{"entity-type":"item","numeric-id":5747627,"id":"Q5747627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$A771E653-83BD-4406-8D34-05B3CF1F897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9803ce2aabd36400d1d98509744959986f604e","datavalue":{"value":{"entity-type":"item","numeric-id":4700386,"id":"Q4700386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$2BC21A00-3B3F-46A7-ADBC-FB524C3AFD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3547a36c366f2743a7cbcc6bb42fd09290d9239c","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$4E341D49-164D-45B4-B143-271B03C1CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54c82b0039a426f5c1ef7671ea1808efb82c22e","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$3350B4D5-86D0-42C0-B524-F1E09CEB6186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$81E6559D-F0FC-4537-9514-500AF5DE70E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8567e612fefba6e9cf7726613fab44bab80fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$7B066BAE-F3F3-4513-8B06-1508451CA6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$368AED0B-6B7A-4DFE-AA73-DD67D6BE8EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97fc190831dfd8e10639e783818f630beb88ce39","datavalue":{"value":{"entity-type":"item","numeric-id":2883083,"id":"Q2883083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$97020255-5B96-419A-B682-27FBCDE51B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de5cae8b7bb8b3cf9ec0d1704ecab50493897c5","datavalue":{"value":{"entity-type":"item","numeric-id":3167526,"id":"Q3167526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$20DCC83E-FC68-4A6E-A68A-5A1CDCEA7AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c75790c9dd4ffc2c395fdf76c21f0ca40efe2d","datavalue":{"value":{"entity-type":"item","numeric-id":5504599,"id":"Q5504599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$D5A69E89-6575-4846-8CAE-64FD65F1EBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e078bc054dd2f0127f472b04229eee817bcda4","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$58DFFC18-7A93-4C06-828D-0612DA07E479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef435db185a1a8a8686ac2c0b46ac5df2578467","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$BB4DCAA1-8242-4AFC-B5B4-8D2792D9F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd4091d7ec35b20d706fd3149220a7a0ef1eed2","datavalue":{"value":{"entity-type":"item","numeric-id":2931277,"id":"Q2931277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$416AF0CB-A7E6-4C75-850A-D87611770369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0877ba4aca119dec904804ed9ebcc5ae4702de24","datavalue":{"value":{"entity-type":"item","numeric-id":4411953,"id":"Q4411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644354$75C5DB73-664B-470F-9B55-A341D5F848AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89b3e0423fa8c83747fd3a4f1906fe660765fafa","datavalue":{"value":"W2962765334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644354$B487BF32-9861-45CC-BB1B-8690CD8DC3BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d636a1612742a3940b00eb32f764b1fe756fcea","datavalue":{"value":{"entity-type":"item","numeric-id":3167526,"id":"Q3167526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef7a744a8834e097effd78fde4a51206d0d338c","datavalue":{"value":{"amount":"+0.8936197757720947","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":"Q4644354$A946DB68-5499-41FB-B7E0-F7A774A19C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829403039d4597098f6869563c6c587368fb3adb","datavalue":{"value":{"entity-type":"item","numeric-id":2883083,"id":"Q2883083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8953fc489846d60e577b75d61ef34795d65270cb","datavalue":{"value":{"amount":"+0.8559187650680542","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":"Q4644354$B210E1D0-614E-43EE-B1C8-C01F5DBB69AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f344f1fb70baa594dbe6d05906e5ff82bc54b86f","datavalue":{"value":{"entity-type":"item","numeric-id":2891436,"id":"Q2891436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947888f968495e228df186f7436b55c0e3553352","datavalue":{"value":{"amount":"+0.7188964486122131","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":"Q4644354$E6E1EFF6-F3B0-43D0-B92A-A2D2D27EE505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade9a4ab6d1819a8006261d1d07620e561dbb37f","datavalue":{"value":{"entity-type":"item","numeric-id":5902362,"id":"Q5902362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad41b74235600bb6e2aa062a6e1b7988e09fec7f","datavalue":{"value":{"amount":"+0.6967177987098694","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":"Q4644354$08CB2256-E10D-4C52-AFBD-09AE4AABEDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f3356853fd760b776af7d0d3d48464dd5e04fb","datavalue":{"value":{"entity-type":"item","numeric-id":5316573,"id":"Q5316573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3e1b0615da8ab58d6b5a11a1e800e75336c223","datavalue":{"value":{"amount":"+0.6962547898292542","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":"Q4644354$AD7A7EF6-5FFB-43E8-9356-062A21904274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644354"}}}}}